URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7aa7b67f7fe2b... Merge: cef1370849e9e1a196fa73b1009973d53779c4d1 9005a4bc71b38b80205724ac2914731466e5b450 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 27 17:03:48 2010 +0100

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9005a4bc71b38... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 27 17:02:19 2010 +0100

Reassign error codes so as to have backward compatibility.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10e2e18534c3c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 27 10:30:09 2010 +0100

Increase code coverage for PIP_Tree_Node printing methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c67f2c8566da2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 27 08:58:00 2010 +0100

Force C++ linking for all the test programs.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a89bb0a926a0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 27 07:33:22 2010 +0100

Exception handling fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58befe688ea3a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 26 22:08:11 2010 +0100

Throw std::logic_error in case the client asks for watchdogs on a system not supporting them.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=768a88bdae63e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Feb 25 19:52:31 2010 +0100

Version number bumped.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3edd591a85e10... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 26 18:55:07 2010 +0100

Simplified initialization of Threshold_Watcher<> static data member.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc751cb13eadc... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 26 17:42:19 2010 +0100

Added printing functions for PIP tree nodes and improved documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7fc5572e9b72... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 26 17:27:40 2010 +0100

Added operator<<() for class PIP_Tree_Node, printing the subtree.

The output operator is based on public (non-virtual) method print(), which calls the protected (virtual) method print_tree() after properly setting up the needed arguments.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99c0578d19f38... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 26 17:24:23 2010 +0100

Improve definition of Matrix::const_iterator default constructor.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bcfbb57b083b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 24 08:38:04 2010 +0100

Tests 1-18 restored. Test 19 is known to fail.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6b551f5f62bd... Author: François Galea francois.galea@uvsq.fr Date: Tue Feb 23 17:31:32 2010 +0100

Added a test illustrating a bug when incrementally inserting a parameter constraint.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63a514cb4d7f1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Feb 23 10:42:03 2010 +0100

Tests 14 and 15 are known to overflow on 8-bit coefficients.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4685b36252105... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 22 21:15:26 2010 +0100

Fixed call to ppl_PIP_Solution_Node_get_parametric_values().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95009146c3463... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 22 18:54:20 2010 +0100

Added tentative solution to bugs shown by pipproblem1 tests 16, 17 and 18.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af2621d1726b8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 22 15:48:20 2010 +0100

Do set the `solution_valid' flag on exit from update_solution().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c07572474d4d0... Merge: 8ad05a7fa1293c23494ebd8c1a8222c8cc39dc0e 089e2db3d5f73dc3ad5c1545dd777671ac583f58 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 22 14:48:11 2010 +0100

Merge branch 'floating_point'

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ad05a7fa1293... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 22 14:22:26 2010 +0100

Fixed exception safety issue in PIP_Decision_Node copy constructor.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84dfaed9e347b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 22 14:04:27 2010 +0100

Changed interface for public method PIP_Solution_Node::parametric_values().

The new interface no longer requires the set of problem parameters as an input argument (which was error prone): rather, the set of parameters of the PIP_Problem is now automatically retrieved.

To this end, all PIP tree nodes are now provided by a pointer to the owning PIP_Problem object. Method PIP_Problem::OK() modified to check for well formedness of the solution tree and, in particular, check that all its nodes are marked as owned by the right PIP_Problem object.

Removed the no longer useful method PIP_Tree_Node::insert_artificials().

Corrected a typo in PIP_Problem::operator<<(). Simplified interface of (internal) method PIP_Tree_Node::print_tree().

Added a FIXME regarding a potential exception safety issue.