Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-20 Thread Matthias Brantner
Review: Approve


-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-20 Thread Zorba Build Bot
Validation queue starting for the following merge proposals:
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Progress dashboard at http://jenkins.lambda.nu/view/ValidationQueue
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-20 Thread Zorba Build Bot
Validation queue result for 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Stage CommitZorba failed.

Check console output at 
http://jenkins.lambda.nu:8180/job/CommitZorba/263/console to view the results.
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-20 Thread Zorba Build Bot
Voting criteria failed for the following merge proposals:

https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
 :
Votes: {'Approve': 1}
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp



Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-20 Thread Federico Cavalieri
Review: Approve


-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-20 Thread Zorba Build Bot
Validation queue starting for the following merge proposals:
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Progress dashboard at http://jenkins.lambda.nu/view/ValidationQueue
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-20 Thread Zorba Build Bot
Validation queue succeeded - proposal merged!
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-20 Thread noreply
The proposal to merge lp:~zorba-coders/zorba/fix-random-annotation into 
lp:zorba has been updated.

Status: Needs review = Merged

For more details, see:
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is subscribed to branch lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-19 Thread Federico Cavalieri
Federico Cavalieri has proposed merging 
lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba.

Commit message:
Fixed random#0 function annotation.

Requested reviews:
  Zorba Coders (zorba-coders)

For more details, see:
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Fixed random#0 function annotation.
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is requested to review the proposed merge of 
lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba.
=== modified file 'src/runtime/spec/random/random.xml'
--- src/runtime/spec/random/random.xml	2013-05-08 20:14:47 +
+++ src/runtime/spec/random/random.xml	2013-12-19 19:00:01 +
@@ -59,7 +59,7 @@
 zorba:member type=xs_integer name=theCurrCounter brief=/
   /zorba:state
 
-  zorba:function isDeterministic=true
+  zorba:function isDeterministic=false
 
 zorba:signature localname=random prefix=fn-zorba-random
   zorba:paramxs:integer/zorba:param !-- num of number to be genreated --

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-19 Thread Zorba Build Bot
Validation queue starting for the following merge proposals:
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Progress dashboard at http://jenkins.lambda.nu/view/ValidationQueue
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is requested to review the proposed merge of 
lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-19 Thread Zorba Build Bot
Validation queue result for 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Stage TestZorbaUbuntu failed.
1 tests failed (8751 total tests run).

Check test results at 
http://jenkins.lambda.nu:8180/job/TestZorbaUbuntu/419/testReport/ to view the 
results.
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is requested to review the proposed merge of 
lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-19 Thread Zorba Build Bot
Validation queue starting for the following merge proposals:
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Progress dashboard at http://jenkins.lambda.nu/view/ValidationQueue
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is requested to review the proposed merge of 
lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-19 Thread Zorba Build Bot
Voting criteria failed for the following merge proposals:

https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
 :
Votes: {'Pending': 1}
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is requested to review the proposed merge of 
lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp


[Zorba-coders] [Merge] lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba

2013-12-19 Thread Zorba Build Bot
Validation queue result for 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706

Stage CommitZorba failed.

Check console output at 
http://jenkins.lambda.nu:8180/job/CommitZorba/261/console to view the results.
-- 
https://code.launchpad.net/~zorba-coders/zorba/fix-random-annotation/+merge/199706
Your team Zorba Coders is requested to review the proposed merge of 
lp:~zorba-coders/zorba/fix-random-annotation into lp:zorba.

-- 
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp