[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=3b435f819c6f8b23e3e8a4f8d0d82777a499a6c7
Merge: 636c546843046a5cfa6d27a1aa4a8171d7e537ab 0f40cc8d92d033ab5c78cdd2d4661f395603e8b5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Mar 21 06:56:23 2010 +0400

    Merge branch 'master' into termination

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f40cc8d92d033ab5c78cdd2d4661f395603e8b5
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sat Mar 20 22:00:34 2010 +0000

    Added further needed code for handling logic_error exception.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ceb0b7e208be8a99d61372f883c1853ce390952
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Sat Mar 20 21:49:18 2010 +0000

    Added missing code for logic_error exception.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cf98127510beb73d5d9f8a5fbb72c8c1b740853
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu Mar 18 15:08:15 2010 +0000

    Added std::logic_error to the list of exceptions caught.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca9a894625c3c0251d4b429ffbfe1c5c07846321
Author: François Galea <francois.galea at uvsq.fr>
Date:   Sat Mar 20 11:41:44 2010 +0100

    Added a test generating a solution node with two context constraints.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42a77adddb8e0a7223d6dd17b7b0916660411800
Merge: 367f75cf57a1576f54c0bf553c714e838d8c1773 b831a0b77c3ba4f7dbe716619a8b3f225f430079
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Mar 20 08:27:47 2010 +0400

    Merge branch 'master' into products

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=367f75cf57a1576f54c0bf553c714e838d8c1773
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Mon Mar 15 16:27:50 2010 +0000

    Test changed so as to be meaningful for all integer types.
    Comment typos fixed.