[PPL-devel] [GIT] ppl/ppl(termination): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5e70fc559ef46ae4ea35c4ed1dcdc415d3e5a16
Merge: ef1ccd4fea5bed38e73c23cd9a6e5879e7f281b3 cf4849fd4290f04510c33c0a0582dc537e808500
Author: Roberto Bagnara <bagnara at 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=cf4849fd4290f04510c33c0a0582dc537e808500
Author: Enea Zaffanella <zaffanella at 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=6fae6ec5525c4eac8e123570f1e775a2f9c1ea02
Author: Enea Zaffanella <zaffanella at 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=3ac27881f203b6c0c085747486dd38ee8c556acf
Author: Patricia Hill <p.m.hill at 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=2ef1ea9ed97e34a147f8cfe49a751a7c952a04ec
Author: Patricia Hill <p.m.hill at 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=0ec850342436eb232eedec639fe8250b573a5bef
Author: Patricia Hill <p.m.hill at 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=027210b2a7098cbd20259456cac08cb41f5e120d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Mar 21 19:25:53 2010 +0100

    Let test13 compile.