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.