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.