[PPL-devel] [GIT] ppl/ppl(floating_point): New commits

Sat Feb 27 17:03:59 CET 2010

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7aa7b67f7fe2b6aef865e029f987d4b144440f9c
Merge: cef1370849e9e1a196fa73b1009973d53779c4d1 9005a4bc71b38b80205724ac2914731466e5b450
Author: Roberto Bagnara <bagnara at 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=9005a4bc71b38b80205724ac2914731466e5b450
Author: Roberto Bagnara <bagnara at 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=10e2e18534c3cd348d8f1bba5e3d54f38166bce6
Author: Enea Zaffanella <zaffanella at 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=c67f2c8566da2ac85d52042ce95134e47de1d2e9
Author: Roberto Bagnara <bagnara at 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=9a89bb0a926a098a6e06a18c36881786f45d678b
Author: Roberto Bagnara <bagnara at 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=58befe688ea3a6b02bc227b6ca2f9c34488fc237
Author: Roberto Bagnara <bagnara at 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=768a88bdae63ec31e402defef284d43d8cf9ea8d
Author: Roberto Bagnara <bagnara at 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=3edd591a85e10eaad4c65d2bee89ddddc3af982a
Author: Enea Zaffanella <zaffanella at 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=dc751cb13eadc3ae9099624bff0b553570e0488d
Author: Enea Zaffanella <zaffanella at 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=a7fc5572e9b727d60580e0168a908457b59dc425
Author: Enea Zaffanella <zaffanella at 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=99c0578d19f38fc8201b6f6d2b148bfcbdeec29f
Author: Enea Zaffanella <zaffanella at 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=0bcfbb57b083b9789352d53fc5e653b857420093
Author: Roberto Bagnara <bagnara at 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=e6b551f5f62bd3dbf1d39dd391e6a31361f7511c
Author: François Galea <francois.galea at 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=63a514cb4d7f1aa7f722560f14029bd5e2aef2ab
Author: Enea Zaffanella <zaffanella at 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=4685b3625210502b74edbf46f9b630e66afb611a
Author: Enea Zaffanella <zaffanella at 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=95009146c346328599abf0da6873e4d3572b6328
Author: Enea Zaffanella <zaffanella at 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=af2621d1726b8eae41b4ebb46f929681bf4938a0
Author: Enea Zaffanella <zaffanella at 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=c07572474d4d02344950138e0a68c049f9a02c62
Merge: 8ad05a7fa1293c23494ebd8c1a8222c8cc39dc0e 089e2db3d5f73dc3ad5c1545dd777671ac583f58
Author: Roberto Bagnara <bagnara at 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=8ad05a7fa1293c23494ebd8c1a8222c8cc39dc0e
Author: Enea Zaffanella <zaffanella at 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=84dfaed9e347b23ade2704d1ed84710e59432dfb
Author: Enea Zaffanella <zaffanella at 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.