[Zorba-coders] [Merge] lp:~zorba-coders/zorba/feature-function-caching into lp:zorba

2014-04-29 Thread Zorba Build Bot
Validation queue succeeded - proposal merged!
-- 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
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/feature-function-caching into lp:zorba

2014-04-29 Thread noreply
The proposal to merge lp:~zorba-coders/zorba/feature-function-caching into 
lp:zorba has been updated.

Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
-- 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
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/feature-function-caching into lp:zorba

2014-04-29 Thread Zorba Build Bot
Validation queue starting for the following merge proposals:
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487

Progress dashboard at http://jenkins.zorba.io:8180/view/ValidationQueue
-- 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
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/feature-function-caching into lp:zorba

2014-04-29 Thread Matthias Brantner
Review: Approve


-- 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
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/feature-function-caching into lp:zorba

2014-04-29 Thread Zorba Build Bot
Validation queue result for 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487

Stage "CommitZorba" failed.

Check console output at 
http://jenkins.zorba.io:8180/job/CommitZorba/326/console to view the results.
-- 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
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/feature-function-caching into lp:zorba

2014-04-29 Thread Zorba Build Bot
Voting criteria failed for the following merge proposals:

https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
 :
Votes: {'Approve': 1, 'Pending': 1}
-- 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
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/feature-function-caching into lp:zorba

2014-04-29 Thread Zorba Build Bot
Validation queue starting for the following merge proposals:
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487

Progress dashboard at http://jenkins.zorba.io:8180/view/ValidationQueue
-- 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
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/feature-function-caching into lp:zorba

2014-04-29 Thread Zorba Build Bot
Validation queue starting for the following merge proposals:
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487

Progress dashboard at http://jenkins.zorba.io:8180/view/ValidationQueue
-- 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
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/feature-function-caching into lp:zorba

2014-04-29 Thread Zorba Build Bot
Validation queue result for 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487

Stage "TestZorbaUbuntu" failed.
13 tests failed (8830 total tests run).

Check test results at 
http://jenkins.lambda.nu:8180/job/TestZorbaUbuntu/505/testReport/ to view the 
results.
-- 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
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/feature-function-caching into lp:zorba

2014-04-29 Thread Federico Cavalieri
The proposal to merge lp:~zorba-coders/zorba/feature-function-caching into 
lp:zorba has been updated.

Commit Message changed to:

Greatly improved function caching.

* Changed function annotations:
  - %an:deterministic: disables caching (previously %an:no-cache)
  - %an:strictlydeterministic: enables caching for deterministic and 
non-deterministic functions. Cache is only within the same snapshot.
  - %an:cache enables caching  for deterministic, non-deterministic and 
sequential functions. Caches is across snapshots. (unchanged)
  - %an:exclude-from-cache-key(n) specifies that a function argument has to be 
ignored when computing the cache key
  - %an:compare-with-deep-equal(n) specifies that a function argument has to be 
compared with deep-equal semantics
  
* Changed criteria for default annotations of internal and external functions:
  - Functions which have no %an:deterministic, %an:nondeterministic or 
%an:strictlydeterministic annotations and all their parameter and the return 
types are atomics are now automatically annotated %an:strictlydeterministic
  - All the other functions are annotated %an:deterministic
* Added snapshot id in global dynamic context
* Added dynamic context xquery module
* Added strict equality hashmap
* Reimplemented %an:cache
* Enabled caching for function that have non atomic arguments
* Whenever the eager evaluation of a function arguments raises an error, the 
evaluation is retried without cache. The function cache is then disabled if it 
was automatically detected.

For more details, see:
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
-- 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
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/feature-function-caching into lp:zorba

2014-04-29 Thread Federico Cavalieri
The proposal to merge lp:~zorba-coders/zorba/feature-function-caching into 
lp:zorba has been updated.

Description changed to:

Greatly improved function caching.

* Changed function annotations:
  - %an:deterministic: disables caching (previously %an:no-cache)
  - %an:strictlydeterministic: enables caching for deterministic and 
non-deterministic functions. Cache is only within the same snapshot.
  - %an:cache enables caching  for deterministic, non-deterministic and 
sequential functions. Caches is across snapshots. (unchanged)
  - %an:exclude-from-cache-key(n) specifies that a function argument has to be 
ignored when computing the cache key
  - %an:compare-with-deep-equal(n) specifies that a function argument has to be 
compared with deep-equal semantics
  
* Changed criteria for default annotations of internal and external functions:
  - Functions which have no %an:deterministic, %an:nondeterministic or 
%an:strictlydeterministic annotations and all their parameter and the return 
types are atomics are now automatically annotated %an:strictlydeterministic
  - All the other functions are annotated %an:deterministic
* Added snapshot id in global dynamic context
* Added dynamic context xquery module
* Added strict equality hashmap
* Reimplemented %an:cache
* Enabled caching for function that have non atomic arguments
* Whenever the eager evaluation of a function arguments raises an error, the 
evaluation is retried without cache. The function cache is then disabled if it 
was automatically detected.

For more details, see:
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
-- 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
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/feature-function-caching into lp:zorba

2014-04-29 Thread Federico Cavalieri
Review: Approve


-- 
https://code.launchpad.net/~zorba-coders/zorba/feature-function-caching/+merge/217487
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