[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=ef1ccd4fea5bed38e73c23cd9a6e5879e7f281b3
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=55a4822b6ce06f41e5cd13ffa40e88e29449b762
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=b647339a3a3e4808378e621e08e7f501a1344624
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=718813cb67fe4efa10cd505e6ce0b02fe8ba2837
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=47b3a6714f3f7008a77ad0705f617bbc835dc3b6
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=3a684bb36a7a627dac651c1bf2063dbb898f514d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Mar 21 19:25:53 2010 +0100

    Let test13 compile.