URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b435f819c6f8... Merge: 636c546843046a5cfa6d27a1aa4a8171d7e537ab 0f40cc8d92d033ab5c78cdd2d4661f395603e8b5 Author: Roberto Bagnara bagnara@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=0f40cc8d92d03... Author: Patricia Hill p.m.hill@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=8ceb0b7e208be... Author: Patricia Hill p.m.hill@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=0cf98127510be... Author: Patricia Hill p.m.hill@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=ca9a894625c3c... Author: François Galea francois.galea@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=42a77adddb8e0... Merge: 367f75cf57a1576f54c0bf553c714e838d8c1773 b831a0b77c3ba4f7dbe716619a8b3f225f430079 Author: Roberto Bagnara bagnara@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=367f75cf57a15... Author: Patricia Hill p.m.hill@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.