URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5e70fc559ef4... Merge: ef1ccd4fea5bed38e73c23cd9a6e5879e7f281b3 cf4849fd4290f04510c33c0a0582dc537e808500 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 23 09:10:11 2010 +0400

Merge branch 'master' into termination

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf4849fd4290f... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 22 13:54:43 2010 +0100

Cut exponential execution paths by calls to maybe_abandon().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6fae6ec5525c4... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 22 13:51:56 2010 +0100

All test functions should be declared in the anonymous namespace.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ac27881f203b... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon Mar 22 12:01:52 2010 +0000

Revised exceptions that can be thrown.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ef1ea9ed97e3... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon Mar 22 11:31:29 2010 +0000

Added missing C++ exceptions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ec850342436e... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon Mar 22 10:19:29 2010 +0000

Revised to allow for for expected logic_error.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=027210b2a7098... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Mar 21 19:25:53 2010 +0100

Let test13 compile.