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

10 Mar 2010


      URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ad2fe744dc6d...
Merge: bbb1ff43e555dabda36b8d5838092ebade985c54 65156364caa2da7235862998930736ca27c83236
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Mar 10 13:18:29 2010 +0400
Merge branch 'master' into products
Conflicts:
    	src/Partially_Reduced_Product.templates.hh
    	tests/Partially_Reduced_Product/directproduct2.cc
    	tests/Partially_Reduced_Product/directproduct3.cc
    	tests/Partially_Reduced_Product/directproduct4.cc
    	tests/Partially_Reduced_Product/directproduct5.cc
    	tests/Partially_Reduced_Product/directproduct6.cc
    	tests/Partially_Reduced_Product/partiallyreducedproduct1.cc
    	tests/Partially_Reduced_Product/partiallyreducedproduct2.cc
    	tests/Partially_Reduced_Product/partiallyreducedproduct3.cc
    	tests/Partially_Reduced_Product/partiallyreducedproduct4.cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65156364caa2d...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Mar 9 20:28:29 2010 +0100
Added two paragraphs about uses of the big parameter in the documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d43c54ada25c...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Mar 8 07:56:00 2010 +0100
Documentation fixes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=114f0e3847458...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Mar 9 13:36:12 2010 +0400
Updated.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f06b3826db776...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Mar 9 13:31:49 2010 +0400
Missing files added.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2cacd973863...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Mar 9 08:52:23 2010 +0400
Restored line erased by mistake.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9fbde6765402...
Merge: 97bd553465561f16c14e291cc942004cc534df86 a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Mar 9 07:04:15 2010 +0400
Merge branch 'master' into floating_point
Conflicts:
    	doc/definitions.dox
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6b23fd18ce9a...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Mar 9 07:00:57 2010 +0400
Version number bumped.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71dcb7f32c650...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Mar 9 07:00:37 2010 +0400
Indentation fixed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97bd553465561...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Mar 8 21:10:04 2010 +0100
Fixed documentation files.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a6c325c3b961...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Mar 8 18:39:23 2010 +0400
Support newer versions of SWI-Prolog.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54bf68f9ee938...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Mar 8 16:24:38 2010 +0400
Use \link ... \endlink consistently.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d054a83797b9b...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Mar 7 11:36:11 2010 +0100
Corrected an invalid reference bug in PIP_Solution_Node::update_tableau().
    The addition of tableau rows invalidates previously computed references.
    Thanks to Marco Poletti for reporting this.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fad4a9428627...
Author: François Galea francois.galea@uvsq.fr
Date:   Sun Mar 7 21:13:37 2010 +0100
Eventually perform solution tree simplifications after incremental addition of parameter constraints.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f010ef5edd820...
Author: François Galea francois.galea@uvsq.fr
Date:   Sun Mar 7 20:27:09 2010 +0100
Moved the compatibility_check static methods to PIP_Tree_Node.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7af846ade60e...
Author: François Galea francois.galea@uvsq.fr
Date:   Sun Mar 7 20:25:00 2010 +0100
Added one more test for incremental solving.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22d7dc4353fca...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Mar 6 09:23:32 2010 +0100
Corrected a couple of typos in the documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ed63be5fa24e...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Mar 6 08:31:33 2010 +0100
Test 4 in digitalfilers1.cc overflows with 64-bits if assertions are on.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fa2669e96e96...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Mar 5 18:09:15 2010 +0100
Tests 20, 21 and 22 overflow on 8-bit coefficients (derived from test02).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be7b34ac18794...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Mar 4 17:57:23 2010 +0100
Encoded custom overflow conditions for digitalfilters1.cc tests 5 and 6.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c4b4cb73d97dc...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Mar 4 14:14:05 2010 +0100
Added a test for problem feasibility when incrementally adding parameter constraints.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a06b9697b655...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Mar 4 13:59:59 2010 +0100
Added two tests for incremental addition of parametric constraints.
    Even though correct, the resulting solution trees can be simplified.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e961e540b8372...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Mar 4 10:09:37 2010 +0400
Replaced using directives by using declarations.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca010b524e44...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Mar 3 22:13:57 2010 +0400
Apparently GNU Hurd only supports ITIMER_REAL.
    (Thanks to Michael Tautschnig: http://www.cs.unipr.it/pipermail/ppl-devel/2010-March/016072.html).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aeb2709a41cb3...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Mar 3 22:07:01 2010 +0400
Proper spacing added to throw_syscall_error().
    (Thanks to Michael Tautschnig.)
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9c769a3992b8...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Mar 2 22:09:29 2010 +0100
Detected several overflows in tests 5 and 6 of digitalfilters1.cc.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b72c39080c692...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Mar 2 22:07:29 2010 +0100
Adopted a more flexible implementation for the DO_TEST* macros.
    (Based on a set of macros provided by Abramo Bagnara.)
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6503e77440bc1...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Mar 2 14:59:10 2010 +0100
Made a pass on the documentation of class PIP_Problem.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=802e03131e75f...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Mar 1 23:58:07 2010 +0100
Method PIP_Tree_Node::solve() now checks context feasibility when needed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=893ad34ee7a5e...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Mar 1 23:57:03 2010 +0100
Corrected typo in test19().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8daf23edd9ad7...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Mar 1 23:43:41 2010 +0100
Several minor improvements to the PIP_Problem resolution process.
    Reorganized helper functions update_context() and compatibility_check().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90f18fa7da955...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Mon Mar 1 11:05:37 2010 +0000
The wrap_assign has only been added to the C interface
    so the procedure must be local to the C interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a65a2985d7b8...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Mar 1 11:15:05 2010 +0100
Completed removal of support for circular intervals.
Removed now ambiguous method CC76_narrowing_assign().
    While at it, also wrapped a few long lines.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57c7504c6e09c...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Mon Mar 1 08:45:34 2010 +0000
Added C interface for wrap_assign.
    Minor NELS improvements to documentation describing Wrapping Operator
    (should be checked by the author of these notes).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b5f5fd6156ce...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Feb 27 17:57:58 2010 +0100
Useless comma removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=368e94bd2e371...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Feb 27 17:42:23 2010 +0100
Removed stuff that will not be included in PPL 0.11.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d37735b2febd0...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Feb 27 17:41:56 2010 +0100
Missing comma added.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db2f453a9953e...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Feb 27 17:26:09 2010 +0100
Temporarily removed the support for circular intervals.
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=cef1370849e9e...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Feb 24 23:58:21 2010 +0100
Modified return statements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a999ad72d925e...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Feb 24 23:19:16 2010 +0100
Several corrections in rate limiter tests.
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=710e5d5efd124...
Author: Fabio <Fabio@C1P4.(none)>
Date:   Tue Feb 23 14:54:34 2010 +0100
Fixed a test on BDShape.
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=670c44bcc1e51...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Feb 22 22:21:24 2010 +0100
Removed whitespaces.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d085a775bc86...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Feb 22 22:15:50 2010 +0100
Fixed indentation.
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=f2aee435d05bf...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Feb 22 17:35:09 2010 +0100
Fixed digitalfilters1.cc
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.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=089e2db3d5f73...
Merge: 99eaa536d87db8c8a5b34ab451196d11a57aa6a1 537a4928e00e2b811822089da4cf12a1dd4344cf
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 22 10:03:52 2010 +0100
Merge branch 'master' into floating_point
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=537a4928e00e2...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 22 09:16:36 2010 +0100
Fixed oversight in error-handling code.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b73c49a9febf...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 22 09:16:06 2010 +0100
Avoid printing unless noisy or very-noisy mode was requested.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e52d48a8ab59a...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Feb 21 18:07:01 2010 +0100
Be more informative in case something goes wrong.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bbfa4bc9da95...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Feb 21 18:05:49 2010 +0100
Use the C++ compiler to perform the tests meant for C++.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b0ba93300fb8...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Feb 21 12:49:16 2010 +0100
sigaction() is also needed, in addition to setitimer() in order to support Watchdog objects.
    We could check if signal() is available if there is request for such a feature.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fa465112d1f5...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Feb 21 11:16:27 2010 +0100
If setitimer() is not available, no initialization is necessary.
    This also works around a linking bug in Mingw.
    C tests improved with error-handling code.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99eaa536d87db...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sat Feb 20 16:49:27 2010 +0100
Floating_Point_Expression::absolute_error is now a symmetric interval.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bdae3bb7bff52...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sat Feb 20 14:39:08 2010 +0100
Use build method instead of join_assign to build convex intervals.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e638dd4922ab...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 20 14:38:26 2010 +0100
Improved code coverage.
    Removed useless (and not accessible by user) Tableau::total_memory_in_bytes().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13a2650b7180d...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 20 13:04:13 2010 +0100
Invalidate current solution at the start of PIP_Solution_Node::solve().
    This fixes the bug in pipproblem3 test03.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=511e9e86f9688...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 20 12:52:19 2010 +0100
Adding no space dims should not invalidate previously computed solution.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28dc8bb7f4c03...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 20 12:30:19 2010 +0100
Got rid of non-const PIP_Tree_Node as_decision() and as_solution() methods.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=77df3ea039c26...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 20 11:17:25 2010 +0100
Achieve full code coverage for the output operator.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e890db63f60fa...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 20 10:05:36 2010 +0100
Document and test exception thrown by PIP_Problem::print_solution().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fce6b4f6fe1ec...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 20 09:46:35 2010 +0100
Test 09 overflows when using 8-bit coefficients.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fc67ca601216...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 20 09:40:15 2010 +0100
A couple of tests marked as known to fail.
    These shows a bug in the solver, which fails to detect an unfeasible
    initial context.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12d4e15ef5bea...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 20 08:52:24 2010 +0100
Put under git control.
    These test exercise the incremental PIP solver (still buggy).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=084cb1f825471...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 20 08:50:53 2010 +0100
Check fir and avoid space dimension mismatches in merge_assign().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cb3ce1f0be96...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Feb 19 22:32:24 2010 +0100
Started working on incrementality.
    Dealt with a FIXME in PIP_Solution_Node::update_tableau(): when adding
    new problem variables and parameters, the columns of the existing
    artificial parameters are moved to the right of the tableau.t matrix.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e191bf79e2f42...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Feb 19 22:31:37 2010 +0100
Little code coverage improvement.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1cec252d369a5...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Feb 18 23:45:41 2010 +0100
Prefer denominator() to get_denominator().
    In pipproblem1 test02(), add a lenghty check of the expected solution.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0bd48ed51aee...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Feb 18 22:15:57 2010 +0100
Simplified C interface to Artificial_Parameter.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d994c6364d6dc...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Feb 18 21:54:53 2010 +0100
Removed two PIP_Problem enum values that need not be interfaced.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d274e1f6b47b8...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Feb 18 21:49:54 2010 +0100
Avoid parameter name hiding; mark unreachable code.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=215cc5a900c2e...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Thu Feb 18 20:22:54 2010 +0000
Added some missing C interface methods and enum values for the new PIP classes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8ac7e594ab0b...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Feb 18 17:33:36 2010 +0100
Changed linearize method interface for Floating Point Expressions.
    Now, it has a bool return type which indicates if the linearization
    succeeded (or not). Thus, Linearization_Failed exception class has
    been removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e480f958e85f...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Feb 18 16:07:39 2010 +0100
Corrected bug in th ehandling of trivially satisfiable PIP problems.
    Test 16 in pipproblem1.cc (currently disabled) shows a bug in the handling
    of trivially unfeasible PIP problems.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee564d807b24c...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Feb 18 15:01:45 2010 +0100
Dealt with a FIXME in PIP_Solution_Node::solve().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d53ceac4d79d...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Thu Feb 18 13:43:28 2010 +0000
Added total_memory_in_bytes() and external_memory_in_bytes()
    to MIP_Problem and PIP_Problem in the C interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=945e8f14d1300...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Feb 18 13:55:09 2010 +0100
Fixed comments.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c0b14249c7cd...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Feb 18 13:27:55 2010 +0100
Improved comments.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84cdf71053ad8...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Feb 18 11:23:44 2010 +0100
Described the input formats.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6a791128aef1...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Feb 18 11:21:42 2010 +0100
Cosmetic improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86cb551f54cb9...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Feb 18 00:06:40 2010 +0100
Added and fixed documentation for Var_FP_Expression.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe233fcf5db9f...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Feb 17 22:30:09 2010 +0100
Updated expected results.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85e96f4e8a3c...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Feb 17 22:14:57 2010 +0100
Test with all the examples.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d97532ec7447d...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Feb 17 22:06:42 2010 +0100
Added examples from PipLib 1.4.0.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e6df802e280f...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Feb 17 17:41:50 2010 +0100
Typo fixed: we require SICStus at least version 3.9.1.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b492ed70728e1...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Feb 17 15:39:01 2010 +0100
Test program renamed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d8d4194c8e1e...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Feb 17 15:37:50 2010 +0100
Cosmetic changes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e75fbc5ddcda...
Author: Fabio <Fabio@C1P4.(none)>
Date:   Wed Feb 17 17:02:05 2010 +0100
Added "affine from relation" section into definitions.dox.
    Fixed a reference to "affine from relation".
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7734015823e5...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Feb 17 14:50:11 2010 +0100
Drafted implementation for PIP_Problem's operator<<.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64a04677743ef...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Feb 17 13:13:57 2010 +0100
Tests adapted to use the new method for printing a PIP problem solution.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7da6c43b438cf...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Feb 17 12:47:08 2010 +0100
Added method PIP_Problem::print_solution().
    The new method exploits added virtual method PIP_Tree_Node::print_tree().
    Implementation is based on code from the many display_solution() helper
    functions that are currently spread in the tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=777f298702f10...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Feb 17 12:33:34 2010 +0100
Cater for systems where setitimer() is not provided (part 4).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eab6ab2fd4e44...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Feb 17 12:22:12 2010 +0100
Cater for systems where setitimer() is not provided (part 3).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ac2c64c2e9fa...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Feb 17 12:15:35 2010 +0100
Cater for systems where setitimer() is not provided (part 2).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9bdd6617be525...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Feb 17 11:56:08 2010 +0100
Cater for systems where setitimer() is not provided (part 1).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0cd7dc9899fc...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Feb 17 11:55:16 2010 +0100
Build the PWL unless not explicitly disabled at configuration time.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01e3978bbebd6...
Merge: 3f6a0a0624328d63cdef17da7e06a8bd31e1f93e eab71496fec3819d941c5c444cb09041aea7eb0f
Author: Fabio <Fabio@C1P4.(none)>
Date:   Wed Feb 17 10:25:20 2010 +0100
Merge branch 'floating_point' of ssh://git.cs.unipr.it/git/ppl/ppl into floating_point
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c3188f08c10a...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Feb 17 10:16:43 2010 +0100
Variable shadowing avoided.  Scope of variables reduced.  One FIXME added.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f9532b48874...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Feb 17 10:06:30 2010 +0100
Tests 2, 5, 7, 8, 9 and 10 do not overflow on 16 bit coefficients.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f6a0a0624328...
Author: Fabio <Fabio@C1P4.(none)>
Date:   Wed Feb 17 10:01:15 2010 +0100
Fixed a type error.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3339d25083d4...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Feb 16 23:15:46 2010 +0100
Solved other instances of test02, but using different cutting strategies.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53e86bccd5113...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Feb 16 22:40:01 2010 +0100
Fixed bug introduced when improving coding style in PIP_Solution_Node::solve.
    Corrected wrong assertion in PIP_Solution_Node::generate_cut.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=214df020741ef...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Feb 16 21:43:32 2010 +0100
Important item added.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9391a5768d5e9...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Feb 16 21:39:51 2010 +0100
Unwanted inclusion removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ba82c5fb51ff...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Feb 16 21:35:54 2010 +0100
Use the right preprocessor conditionals for PPL_HAVE_DECL_SIGACTION.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c5b321e17513...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Feb 16 21:35:26 2010 +0100
Warnings avoided.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bad1f4e90af2d...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Feb 16 20:38:32 2010 +0100
Corrected several problems.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9857bc5b9ae3a...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Feb 16 20:06:43 2010 +0100
Enable test12.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac846ef3f2f47...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Feb 16 20:05:36 2010 +0100
A few improvements to PIP_Problem documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1789a22b13784...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Feb 16 15:35:38 2010 +0100
Make the test trivially succeed when coefficients are not large enough.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eab71496fec38...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Feb 16 15:11:53 2010 +0100
Fixed Cast_Floating_Point_Expression.inlines.hh and added a test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c257cba9d19ca...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Feb 16 14:41:52 2010 +0100
Improved error handling.  Cosmetic improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b89a40da063ca...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Feb 16 14:38:15 2010 +0100
Added unit tests for inner class PIP_Tree_Node::Artificial_Parameter.
    Added operator!=() and swap() methods: the last was necessary as we were
    inheriting it from Linear_Expression.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ddd5a9f223cf...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Feb 16 12:00:43 2010 +0100
Added another test for code coverage purposes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=632f438667702...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Feb 16 09:58:05 2010 +0100
Got rid of unused Boolean flag PIP_Problem::initialized.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4baadf1d80433...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Feb 16 10:14:45 2010 +0100
Avoid non-ASCII characters.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09c7bbce5f53c...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Feb 16 10:10:57 2010 +0100
Trailing whitespace removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0804e05ac1410...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Feb 16 10:10:30 2010 +0100
Install also ppl_pips.1.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22208e21cd868...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Feb 16 09:51:24 2010 +0100
Added a couple of tests to improve code coverage.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2287f9b3cc251...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Feb 15 23:40:43 2010 +0100
Added classes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f573312d066d...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Feb 15 23:32:09 2010 +0100
Added a first implementation of Cast_Floating_Point_Expression classes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de1f6f6e47ec4...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 15 22:15:44 2010 +0100
Put under Git control.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25e8b89f3fb0a...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 15 22:15:17 2010 +0100
Avoid non-ASCII characters.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b57e8b768d88e...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 15 22:14:04 2010 +0100
Added a draft man page for `ppl_pips'.  Other man pages updated.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dff9d4152afeb...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 15 20:28:49 2010 +0100
Missing backslash added.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=030ba2b2b3c55...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 15 18:32:16 2010 +0100
Added missing expected results.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d5b20eeba492...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 15 16:07:42 2010 +0100
Improved the NDEBUG machinery.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cf1cef85fea2...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 15 14:57:57 2010 +0100
Mark expected overflows.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ba6445b1c5ad...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 15 14:50:19 2010 +0100
Improve portability to systems that do not (fully) support Posix signal handling.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8eecefb16080a...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 15 11:35:55 2010 +0100
Version number bumped.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72133da8d4d41...
Merge: 849386529a16621be3da132e3da44f8b56fb6d92 05cdf3ade39391ba25dc992cabe93a7758e23dac
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Feb 15 11:29:01 2010 +0100
Merge branch 'master' into pip
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05cdf3ade3939...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Feb 15 11:18:23 2010 +0100
Improved (devref) documentation for Matrix::add_(recycled_)row methods.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=849386529a166...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Feb 8 00:23:06 2010 +0100
Drafted PIP_Problem methods {total,external}_memory_in_bytes().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49d77d21e8dcc...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Feb 7 12:15:50 2010 +0100
PIP_Problem ascii dump&load methods now also dump/load problem solution.
    Fixed error in PIP_Tree_Node::ascii_load().
    Added ascii dump&load methods to PIP_Decision_Node.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a962273cf06b...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 6 22:16:08 2010 +0100
In ascii dump and load methods, also print pivot row strategy info.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=847a8a5f360d9...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 6 17:16:05 2010 +0100
Improving test coverage ratio.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=543d508d1069e...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Feb 6 14:37:30 2010 +0100
Improved exception safety in method PIP_Solution_Node::solve().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51e0707e9e734...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Feb 5 19:02:44 2010 +0100
Clarified proper usage of PIP_Solution_Node alternative copy constructor.
    The Boolean argument replaced by a tag struct type, since it was only used
    for overloading resolution purposes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be3472f9d7b15...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Feb 5 15:59:56 2010 +0100
Add new friend function add_mul_assign() for Linear_Expression.
    Used new function to optimize a couple of computations in PIP_Tree.cc.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b91cc59d73c3...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Feb 5 14:52:15 2010 +0100
Helper function negate_assign() rnamed as complement_assign().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cf0760865889...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Feb 5 14:05:42 2010 +0100
Simplified interface for virtual method PIP_Tree_Node::solve().
    No longer using the PIP_Tree_Node*& parent_ref argument and direclty
    returning the solution PIP_Tree_Node* instead of a status flag.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7ab70ac7775d...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Feb 4 16:39:39 2010 +0100
Improved class PIP_Tree_Node::Artificial_Parameter.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecd41d0c27ce3...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Feb 4 10:54:27 2010 +0100
Some improvements to method PIP_Problem::solve().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fe9538a0dade...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Feb 3 19:00:36 2010 +0100
Improved the last part of method PIP_Solution_Node::solve().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42bacf1180afc...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Feb 3 17:26:41 2010 +0100
More progress on PIP_Solution_Node::solve().
    Identified places where the current implementation is not exception safe.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcc9213813f99...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Feb 3 14:33:00 2010 +0100
Further improved (huge) method PIP_Solution_Node::solve().
    Added a couple of comments regarding parts where comments or code in unclear.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2649737035a99...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Feb 3 08:50:28 2010 +0100
Improved method Tableau::is_better_pivot().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c08098c36aa41...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Feb 2 10:27:12 2010 +0100
Started improving method PIP_Solution_Node::solve():
      - limit scope of variables;
      - try to use meaningful variable names.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff7e8d5afd59c...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Feb 1 19:23:18 2010 +0100
Minor improvements to PIP_Problem documentation and C interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=052ec67e0d7c5...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Feb 1 17:32:17 2010 +0100
Got rid of error-prone Tableau::s_capacity() and Tableau::t_capacity().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7326ef65ce9c...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Feb 1 17:29:34 2010 +0100
Improved method PIP_Solution_Node::update_tableau().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=476f754b5c37d...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Feb 1 14:12:04 2010 +0100
Improved implementation of PIP_Solution_Node::compatibility_check().
    Besides readability and stylistic changes, the change should also immprove
    robustness and (to a lesser extent) performance.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85c05c902ae1f...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jan 31 22:21:51 2010 +0100
Improved method PIP_Solution_Node::::parametric_values().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e6d5a18fb1e1...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jan 31 21:59:21 2010 +0100
Stylistic improvements to Tableau methods normalize() and scale().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1f10d956a03f...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jan 31 21:36:40 2010 +0100
A few more stylistic improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a30d0933cfa19...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jan 31 19:36:12 2010 +0100
Several improvements to PIP_Solution_Node::generate_cut().
    Added method OK() to Artificial_Parameter.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=353f9b79d1079...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jan 31 16:19:41 2010 +0100
Further optimization to helper function column_lower().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af2068fb49716...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jan 31 00:07:27 2010 +0100
Several minor stylistic improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4fe5c5c5a5b0...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Jan 30 23:43:40 2010 +0100
Prefer C++ named casts to C style casts.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6864f73b1fba0...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Jan 30 23:38:59 2010 +0100
Minor readability improvements to row_normalize.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd6b0004b5f79...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Jan 30 23:23:24 2010 +0100
Optimized some computation in helper function column_lower().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e10ef6e9a1b92...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Jan 30 22:22:51 2010 +0100
Improved helper function merge_assign(): add all new rows at once.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07cdb790656ae...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Jan 30 21:37:50 2010 +0100
Corrected capacity mismatch bug in PIP_Solution_Node::solve().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b728ad412284b...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Jan 30 20:50:27 2010 +0100
Improved consistency checks in method PIP_Decision_Node::OK().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d11a14fc05769...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Jan 30 20:39:36 2010 +0100
Improved consistency checks in method PIP_Solution_Node::Tableau::OK().
    Prefer using Coefficient_traits::const_reference in parameter passing.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f580901c8904...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Jan 30 20:17:22 2010 +0100
The Pip_Tree_Node:OK() method is now virtual.
    When overriding a virtual method in derived classes, prefer repeating
    the virtual keyword for clarity.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f1e1304cef92...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Jan 30 19:09:19 2010 +0100
Typedef for PIP_Tree moved to PIP_Tree.types.hh.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36de950771ebd...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Jan 30 18:59:06 2010 +0100
Everyting else equal, prefer downward iteration in for loop.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=299dafac1f95c...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Jan 30 18:57:29 2010 +0100
No need to check for null pointers before deleting them.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f15af9db40f7...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Jan 25 14:41:09 2010 +0100
Forward declare classes before making them friends.
Included Grid.types.hh in Congruence_/Grid_Generator_ System.defs.hh.
    Do not uselessly include Grid.types.hh in Generator_system.defs.hh.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7f6b5d260af5...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Jan 22 08:15:24 2010 +0100
Added a not working incremental solve test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91de7841156c1...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Jan 20 08:23:22 2010 +0100
Fixed bugs. Now test07 in pipproblem2.cc is successful.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b04bd5780055...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Jan 9 23:28:55 2010 +0100
Fixed the omissions of ppl_Polyhedron_is_empty/1 and ppl_Polyhedron_add_constraints/2.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df9e55f182cd6...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Jan 9 23:25:06 2010 +0100
Fixed the omission of ppl_set_irrational_precision/1 and ppl_irrational_precision/1.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=582ab4eaecea3...
Merge: 07245b3ac3485ebcd4acdf1d00585988e58c60ad 9c19bc2b318a35016e0189f9552c98910be37f53
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Jan 9 16:33:56 2010 +0100
Merge branch 'master' into pip
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c19bc2b318a3...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Jan 9 16:32:08 2010 +0100
Added support for GMP 5.0.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07245b3ac3485...
Merge: 2434409ba4ea91334a47ebb49cb8afca1dfa6a77 56ee86b9ccf001c8dc2ab1558332e9691b2eff3f
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Jan 9 16:18:38 2010 +0100
Merge branch 'master' into pip
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56ee86b9ccf00...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Jan 9 14:38:37 2010 +0100
Adapted to follow the IBM OSL conventions for the MPS format.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=447775d2f2aab...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Jan 9 14:23:58 2010 +0100
Generate nicer identifiers for the temporaries.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97ce932e01294...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Jan 9 14:19:59 2010 +0100
Adapted to follow the IBM OSL conventions for the MPS format.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2434409ba4ea9...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Jan 5 20:32:59 2010 +0100
Fixed a bug. Now test08 and test09 in pipproblem2.cc are successful.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3db97de0e937...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Jan 4 08:33:04 2010 +0100
Implemented an optional pivot row strategy for difficult problems.
    It is deactivated by default as it is more compute intensive.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37b1e615b3929...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Dec 16 08:32:19 2009 +0100
Added a more aggressive cutting strategy which generates all possible cuts.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a6c37ff29503...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Dec 16 08:32:15 2009 +0100
Moved out the cut generation code into a separate method.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f02dadae2584...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Dec 16 08:32:12 2009 +0100
Moved huge block of code out of useless 'else' block. Code reindentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cea0f3363061...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Jan 4 08:25:47 2010 +0100
Do not include <iostream> if PPL_NOISY_SIMPLEX is defined to 0.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1a748c8dade8...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Jan 1 16:37:56 2010 +0100
Extended copyright years.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05bcc560695c3...
Merge: 2e58e4cde2d03f7e4a696291d0de764929a86652 4d6c6db0470eb60cecbbed0a43a2b08d8539e95f
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Jan 1 16:37:29 2010 +0100
Merge branch 'master' into pip
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d6c6db0470eb...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Jan 1 16:36:10 2010 +0100
Extended copyright years.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e58e4cde2d03...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Jan 1 16:34:11 2010 +0100
Extended copyright years.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=149a08281d49d...
Merge: 8c57cea34a350ab5fd9d1c66d09f98782b3b8af8 488f55fbe874c4f3a85c0c0db8c59f7e83d615e0
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Jan 1 16:32:11 2010 +0100
Merge branch 'master' into pip
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=488f55fbe874c...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Jan 1 16:28:45 2010 +0100
Extended copyright years.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c57cea34a350...
Merge: 4394384f20722ac901f4b934780238580eae1767 99a040ae53ddf2e369340274eb34d5211b1c642a
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Dec 30 19:01:52 2009 +0100
Merge branch 'master' into pip
Conflicts:
    	doc/devref.doxyconf-html.in
    	tests/Makefile.am
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a040ae53ddf...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Dec 30 17:43:41 2009 +0100
Version number bumped.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98369e2afded0...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Dec 30 17:35:21 2009 +0100
Support building the Java interface on MinGW.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=276db1f0bb1f4...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Dec 30 17:35:01 2009 +0100
Document conditionals.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0741942dd929d...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Dec 30 16:19:32 2009 +0100
Restore the use of the `win32-dll' Libtool option.  Use -no-undefined on all variants of Cygwin and MinGW.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa8f202b99352...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Dec 30 11:23:40 2009 +0100
Correction for platforms where not all floating point types are supported.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d291e71b9e3ff...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Dec 30 11:00:42 2009 +0100
Use the right assignment operator.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d797ef5eb5d3...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Dec 29 22:24:42 2009 +0100
Expected failures revised.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fa0f5b2b45fc...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Dec 29 21:21:48 2009 +0100
Expected failured revised.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90e5cd14f89dc...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Dec 29 21:11:08 2009 +0100
Typo fixed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17ee1020a0d93...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Dec 29 20:05:29 2009 +0100
Renamed affine_image on Linear Forms into affine_form_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=755fc746e12a3...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Dec 29 17:56:47 2009 +0100
Use the general assignment and comparison functions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f62e48e207097...
Merge: 7bfd19aec5b224dab0d853f4904f5118e8c77fde e86e2471429982e8141789e4adeb6ddd0cc1e326
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Dec 28 20:27:49 2009 +0100
Merge branch 'master' into floating_point
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e86e247142998...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Dec 28 20:26:04 2009 +0100
Fixed several bugs.
    These consisted in using *_r() checked-number functions without
    actually checking the result.  Factorized the code to set the
    M parameter.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bfd19aec5b22...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Dec 28 14:21:22 2009 +0100
Improved Multiplication_Floating_Point_Expression::linearize.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b8c9752949ee...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sat Dec 26 18:20:50 2009 +0100
Implemented Box<ITV>::affine_image on Interval Linear Forms.
    Tests in tests/Floating_Point_Expression actually use only
    IEEE754 floating point format.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8fa0e1fbc060...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Dec 22 19:25:39 2009 +0100
Version number bumped.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e4dbdd8255a6...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Dec 22 19:20:54 2009 +0100
Updated.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cda93e86a8ba...
Merge: 1242e420c15da5fa9f671f4d93227ced7272f035 4e2145f8d498bc3ea055a06a1244de677b7bbab5
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Dec 22 09:33:21 2009 +0100
Merge branch 'floating_point'
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2145f8d498b...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Dec 22 09:30:55 2009 +0100
Capture the expected failure due to overflows.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1242e420c15da...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Dec 21 18:28:30 2009 +0100
Never leave operators at end of line.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b88ad1f70258...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Dec 21 18:24:08 2009 +0100
Never leave operators at end of line.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e61dd7b58a36f...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sun Dec 20 17:42:42 2009 +0100
Several corrections in tests and source code.
    Now, in all tests of tests/Floating_Point_Expression/ we assume
    that analyzer format must be less precise or equal than analyzed
    format.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f69b86061855e...
Merge: 12f6d4872bc274aaf7f068ff35b1c6c209a7a39a 9784b8165b6cb1dea5eb6d20b4cebca7ecc780fd
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Dec 19 12:37:54 2009 +0100
Merge branch 'master' into floating_point
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9784b8165b6cb...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Dec 19 11:46:22 2009 +0100
Added support for SWI-Prolog version 5.8 and later.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12f6d4872bc27...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Dec 14 22:51:40 2009 +0100
Added Linear Form Intervalization on rate limiter test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a75d238a6bafe...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Fri Dec 11 14:26:56 2009 +0100
Improved test01, ..., test04.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=307af1367ed63...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Dec 7 18:41:03 2009 +0100
Removed redundant code.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96ac4ea63bf30...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Dec 2 23:43:32 2009 +0100
Fixed comments.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4394384f20722...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Nov 30 17:08:59 2009 +0100
Improved the documentation of the PIP solver.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=031a0a56e158d...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Nov 30 15:31:58 2009 +0100
Simplified the solution tree exploration method.
    Including, the PIP_Tree_Node::insert_artificials method has been removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb5e95b8994a0...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Sun Nov 29 18:22:21 2009 +0100
Fixed a typo.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8e299d57c031...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Sun Nov 29 18:04:16 2009 +0100
Added a rate limiter test that pass without intersection between
    the two domain.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc2ec7594e5d2...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sat Nov 28 18:05:06 2009 +0100
Improved tests on rate limiter. They all pass now.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9022a7ee764a...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Nov 27 16:39:59 2009 +0100
Modified the documentation of the PIP_Problem class.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e53583567375...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Nov 27 08:10:18 2009 +0100
Fixed a regression.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05f65d328f6e2...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Nov 26 14:42:56 2009 +0100
Test test10() in pipproblem2.cc seems to show another bug.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f83627a474666...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Nov 26 14:42:12 2009 +0100
Added a few tests for the PIP_Problem ascii_dump/load methods.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bb1ea9da4415...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Nov 26 14:41:05 2009 +0100
Properly set status flags when solving a PIP_Problem having no constraints.
    Minor correction to ascii_dump method.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f07483112d73b...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Nov 26 11:17:39 2009 +0100
One item added.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b831631899ddb...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 26 08:37:43 2009 +0100
Changed the cut generation strategy in compatibility_check.
    Now several cuts may be generated in a single pass.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f98b51bb576fd...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 26 08:36:17 2009 +0100
Changed the pivot row selection algorithm in compatibility_check.
    It now selects the row which maximizes the lexico-minimal pivot column.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6a5acdea6790...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 26 08:34:55 2009 +0100
Minor cosmetic code fixes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9086d965ff482...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 26 08:29:58 2009 +0100
Moved the lexico-minimum column search algorithm to a separate function.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c903922ece89...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Nov 25 17:26:20 2009 +0100
Removed useless utility function.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2709f6de0c883...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 26 10:47:08 2009 +0100
Fixed a regression.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e46ac63881ab9...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 24 15:22:01 2009 +0100
PIP_Problem can handle strict inequalities: corresponding checks removed.
    Got rid of internal status SATISFIABLE, which was unused.
    Corrected several minor typos (missing spaces) in exception messages.
    Added a new test (pipproblem2.cc, test09) showing what seems to be a bug.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cc933834e499...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 24 13:06:50 2009 +0100
Test test07() in pipproblem2.cc shows a bug in PIP_Problem.
    Apparently, we cannot incrementally add new constraints to a PIP_Problem
    taht was already solved.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06c6a3408fb59...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 24 12:09:20 2009 +0100
Prefer not_a_dimension() as a marker if the big parameter is not set.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51bc21cdc8ce6...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 24 10:49:08 2009 +0100
Started adding tests checking for the right PIP_Problem exceptions are thrown.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfbfb20b161ed...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Nov 24 10:18:16 2009 +0100
Started adding tests to increase coverage.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75564de32ad9f...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 23 18:52:37 2009 +0100
Minor improvements to avoid assertion failures on iterators.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=108c6bf1ccdb5...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 23 18:51:14 2009 +0100
Started drafting a Prolog interface for PIP_Problem.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07821ad5d5ade...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 23 14:17:42 2009 +0100
In PIP_Problem::clear(), do also reset the big parameter dimension.
    Added C language functions for getting/setting the big parameter dimension.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1518687e622e...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 23 13:13:38 2009 +0100
Enumerations for control parameters put inside class PIP_Problem.
    Interfaced methods for getting/setting control parameters (in C).
    Other minor stylistic improvements here and there.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b92ce985bab65...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Nov 23 10:32:56 2009 +0100
Corrected a bug in method swap.
    Several minor stylistic improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=134489d82662c...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Nov 23 07:28:50 2009 +0100
Item added.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b521d8e6b10bc...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sun Nov 22 17:38:50 2009 +0100
Modified tests on rate limiter. Removed useless comments.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fcb1702a990a...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Nov 20 09:58:38 2009 +0100
Optimized the solver main loop using PPL_DIRTY_TEMP_COEFFICIENT's.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b326ccf6d4297...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 19 15:20:58 2009 +0100
Added a rule to the cut methods to always choose the simplest parametric part.
This tends to provide simpler solution trees on some problems.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=548215a3de60a...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 19 11:59:57 2009 +0100
Added a mechanism to avoid generating the same Artificial_Parameter twice.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cba1ff2af039...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 19 11:59:53 2009 +0100
Added a pointer to parent node in PIP_Tree_Node.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=249afaa3a7bf3...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 19 11:59:49 2009 +0100
Improved the deepest row selection cut strategy.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=defe2c4b315e2...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 19 12:30:50 2009 +0100
Correctly rewrote ascii_dump/ascii_load methods for PIP_Solution_Node.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccb5b869e3904...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 19 12:29:42 2009 +0100
Removed useless debugging display code.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff541fbbe9959...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Nov 16 18:49:07 2009 +0100
Added an option in PIP standalone solver to solve the problem several times.
This may be convenient for benchmarking purposes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=407ea63b7d301...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Nov 16 18:23:58 2009 +0100
Fixed a bug in PIP_Problem copy constructor.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5968086496c32...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Nov 16 15:00:45 2009 +0100
Updated the deepest cut strategy; now only selects rows associated to initial variables.
This results in performance increase in most problems.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=166aa73867fc3...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Nov 16 18:01:21 2009 +0100
Minor fix fixes in standalone solver.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1feefaab34eb0...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Nov 16 17:39:14 2009 +0100
Fixed a bug in standalone solver when using PIPlib files with a big parameter.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6af59504f0e2d...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Nov 13 18:03:48 2009 +0100
Added support for an arbitrarily big parameter.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=129b74f12cf50...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Nov 13 19:12:50 2009 +0100
Switched the default cut generation strategy to first row.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60731ffcf53aa...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Nov 13 18:19:01 2009 +0100
Fixed a bug.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a6efe8316708...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Nov 13 17:10:40 2009 +0100
Added a control parameter for cut generation strategy.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d105f5ecbaaf8...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Nov 10 16:08:43 2009 +0100
Added a mechanism for setting/getting control parameter values.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da5f1817645d6...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Nov 10 16:07:17 2009 +0100
Made use of virtual methods in PIP_Tree_Node::clone().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b102f42050ad1...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 5 14:40:39 2009 +0100
Fixed a bug.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09665b7e6410d...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 5 14:19:36 2009 +0100
Removed temporary debug code.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bc03d5786735...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Nov 5 09:11:38 2009 +0100
Improved the support for equality constraints.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2812b97dfea1...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Nov 4 11:51:36 2009 +0100
Improved basis handling in compatibility_check.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43721277fe737...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Nov 4 08:56:45 2009 +0100
Added coherency checks in PIP_Solution_Node.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c4cfb2bdf11e...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Nov 4 08:45:20 2009 +0100
Improved basis handling with support for slack variables and bijective variable mapping.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f09897ddab17a...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Nov 3 09:54:58 2009 +0100
Implemented an example of solution tree spanning and display using
    the C interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75201b577f6d8...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Nov 3 09:53:10 2009 +0100
Implemented the art_parameter_count method; updated the C interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22429a8c2b62b...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Nov 2 17:41:11 2009 +0100
Implemented Bland's anti-cycling rule in compatibility_check.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75d549f15888d...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Nov 2 16:59:51 2009 +0100
Proper scaling of cuts in compatiblity_check.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68759e0051c13...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Oct 30 13:25:06 2009 +0100
Minor fix in PIP standalone solver.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f77646bf501d...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Oct 29 13:37:59 2009 +0100
Fixed a bug in PIP standalone solver.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ae52bb826434...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Oct 28 16:23:14 2009 +0100
Fixed one bug in standalone PIP solver.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43b0216a8baa8...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Oct 28 15:48:13 2009 +0100
Added support for Polylib-formatted files in standalone solver.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f29d86a0be720...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 27 20:12:47 2009 +0100
Added support for equality constraints; fixed a bug for strict inequalities.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da9e3b638d754...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Oct 27 17:08:11 2009 +0100
Version number bumped.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73a0148ba9c9d...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 27 16:31:42 2009 +0100
Fixed the C interface and the documentation for PIP_Tree_Node methods.
The concerned methods are insert_artificials and get_parametric_values.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=250a996c0147a...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Oct 26 21:30:20 2009 +0100
Another pass on the C interface for PIP_Problem related classes.
    Removed a few useless functions and added a few missing ones,
    including input/output utilities; also slightly improved the documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bcd32b2e03105...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Oct 25 17:25:07 2009 +0100
Interfaced constructor/destructor for Artificial_Parameter_Sequence iterators.
    These iterators should be used similarly to the ones defined on systems of
    constraints or generators.
    Corrected a couple of bugs in the documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65ebba9954ea5...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Sat Oct 24 17:34:19 2009 +0100
Added increment, dereference and equal functions
    for ppl_Artificial_Parameter_Sequence_const_iterator_t's
Fixed a couple of bugs.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0848cf9eb5454...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Oct 23 17:03:27 2009 +0200
Added test program for PIP C interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c95e73449a6e...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Oct 23 17:00:25 2009 +0200
New parameter choice method. Updated the C interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6f503bc22cdd...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Oct 22 22:19:52 2009 +0200
Refer to PPL 0.11, not 0.10.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3abd93298e885...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Oct 22 22:18:26 2009 +0200
Version number bumped.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e5c81beb8e9e...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Oct 22 22:07:38 2009 +0200
Ditribute also MIP_Problem.types.hh, PIP_Tree.types.hh and PIP_Problem.types.hh.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=068eaef2c6334...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Oct 22 18:16:20 2009 +0200
Adapted to the checking of ppl_pips.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7771850394ed5...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Oct 22 18:16:03 2009 +0200
Put under Git control.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b96565a81906e...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Oct 22 11:32:19 2009 +0200
Removed invalid optimization in context compatibility check.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c4cc08260091...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Oct 21 19:42:21 2009 +0200
Added a standalone PIP solver demo program.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d6df94a8a65a...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Oct 21 12:39:17 2009 +0200
Context compatibility check now searches for valid integer solutions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f62791f13a0d...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 20 18:18:19 2009 +0200
Parameter compatibility check now applies a revised dual simplex method.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5050775875b58...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 20 16:52:33 2009 +0200
Added display of computed row parameter signs in noisy PIP mode.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27de41218171b...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 20 16:10:26 2009 +0200
Added new test, which should return an empty solution.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=391db98125e29...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Oct 20 15:23:59 2009 +0200
Documentation updates.
    Fixed parenthesis in ppl.sty as suggested.
    Fixed few typos.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d5b77d7bd5b2...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 20 11:36:57 2009 +0200
Always stop compatibility check at first negative row.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6da25c9734d4f...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sat Oct 17 12:43:04 2009 +0200
Added FIXME notes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8801eb01b1d06...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Fri Oct 16 18:23:45 2009 +0200
Added a test on BD_Shape, improved a test on Polyhedra.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8d6e899f5cac...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Fri Oct 16 11:53:37 2009 +0200
Added BASE field to floating point struct.
    Modified absolute/relative error definition using FP_Format::BASE.
    Modified tests using FP_Format::BASE.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b748415bdb697...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Oct 16 09:58:24 2009 +0200
Improved the heuristic for the choice of the deepest cut.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65b630d43bcbe...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Oct 16 09:38:10 2009 +0200
Better use of scaling and normalization to keep low coefficient values
    where possible.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd38635a96c02...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Oct 16 09:32:29 2009 +0200
Corrected invalid compatibility check algorithm.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c6033597683d...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Thu Oct 15 11:54:43 2009 +0200
Added float_ibm_single declaration into class Float<T>.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cacb4330a7f4a...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Wed Oct 14 18:06:40 2009 +0200
Added Floating_Point_Expression.templates.hh into documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=051c82f85918f...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Oct 14 12:28:29 2009 +0200
Added a test case illustrating an instability in the PIP solver.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=286faa55e6018...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Oct 13 15:42:32 2009 +0200
Modified widening in test05 and test06.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8d79ad7cef9...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 13 10:50:48 2009 +0200
Integrality check only on the original variables (not slack ones).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=386c5e6645338...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 13 10:49:20 2009 +0200
Optimized pivot operation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea3ca40fe59ee...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Oct 10 12:07:01 2009 +0200
Uncommented C interface code for PIP_Problem assignment.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4002ecca8f7a3...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Fri Oct 9 23:25:07 2009 +0100
More functions for the C interface to the PIP Tree class
    - in particular, corresponding to the PIP_Solution_Node and
    PIP_Decision_Node C++ methods.
Various small bugs fixed in the PIP_Problem C interface code.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e43b1a4200b1...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Fri Oct 9 21:00:56 2009 +0100
Fixed various bugs in the C interface for PIP_Problem methods.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a9a350ade225...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Oct 9 17:57:18 2009 +0200
Improved best pivot row selection heuristic.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d54e9631e1c6...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Fri Oct 9 13:02:12 2009 +0100
Added several C functions for PIP_Tree_Node and Artificial_Parameter*.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50e259b4f41c6...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Thu Oct 8 20:52:56 2009 +0100
Added the c interface for as_decision() and as_solution().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4c21dff11473...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Oct 9 13:08:37 2009 +0200
Fixed memory managment issue in copy constructor of PIP_Problem.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3aedf16a94add...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Oct 9 13:07:15 2009 +0200
Added call to the solver to check problem satisfiability.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5889e252f399...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Oct 8 20:41:16 2009 +0200
Added implementations for PIP_Problem swap and operator= methods.
    Added a few consistency checks in method OK().
    Pointed out a resource management bug in copy constructor that can result
    in memory corruption. Added test04() to pipproblem1.cc (currently commented
    out) showing that a segmentation fault can be obtained when copying a
    PIP_Problem object having a non-null solution tree.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bea0281e38c5d...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Thu Oct 8 18:52:08 2009 +0100
Added missing headers for ppl_PIP_Problem_solve and
    ppl_PIP_Problem_optimizing_solution.
Variable names made consistent with the domain.
Documentation for ppl_PPI_Problem_is_satisfiable() improved.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7d8d6dde6e8a...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Oct 8 16:27:27 2009 +0200
Removed trailing whitespaces.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e838be1d03b2...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Thu Oct 8 16:18:22 2009 +0100
Uncommented methods for the C interface for the PIP_Problem.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5108da19b0b8c...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Oct 8 15:51:42 2009 +0200
Implemeted missing methods.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a7f65b71230e...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Thu Oct 8 07:02:38 2009 +0100
Uncommented C interface code for add_constraint(),
    add_constraints() and operator=().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abd54a6726796...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Oct 7 20:44:37 2009 +0200
Implemented missing methods.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f6fb91d81ebe...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Oct 7 20:33:36 2009 +0200
Fixed memory leak.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5f92dc9fe765...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Wed Oct 7 19:41:56 2009 +0200
Removed a comment.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe3d8d0b4d10b...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Wed Oct 7 17:05:22 2009 +0100
Commented PIP_Problem code in the C interface that requires methods
    in the C++ interface that are not yet implemented.
Added declarations for printing the PIP_Problem and PIP_Tree
    in the tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e726a3af13da...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Wed Oct 7 16:10:17 2009 +0100
More consistent naming of variables.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57c81a9ac76f4...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Wed Oct 7 16:00:42 2009 +0100
Added 2 more functions for the C interface to the PIP_Problem class.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10a020c1c5d8f...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Oct 7 16:19:27 2009 +0200
Fixed test05.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=518bf5b2eb2c5...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Wed Oct 7 14:30:38 2009 +0100
Added a very basic interface for C to the PIP_Problem class.
Note this is incomplete and does not support methods with PIP_Tree.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c35b656767f3...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Oct 6 19:15:32 2009 +0200
Using uint16_t instead of uint32_t in float_ieee754_half.
    Extended float_ibm_single.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99f2fbb392153...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 6 16:29:54 2009 +0200
Removed useless pointer to problem object in PIP_Tree_Node.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0451215bb4b4...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 6 16:00:20 2009 +0200
Minor fixes in Doxygen documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d876143defdad...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 6 12:48:18 2009 +0200
Improved accuracy of context compatibility checks.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f3fe255850af...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Oct 6 12:31:55 2009 +0200
Changed loop-guards in the first four test of digitalfilters1.cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c38128604c574...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 6 11:32:17 2009 +0200
Added generation of non-parametric cuts.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=620039bd51f0e...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 6 10:54:18 2009 +0200
Improved display in noisy mode.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d0b02fa391ae...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Oct 6 10:52:35 2009 +0200
Fixed bug in compatiblity_check().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f77babe87a9d4...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Oct 6 01:22:33 2009 +0200
Fixed test03.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eda13a1edf15b...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Oct 6 00:34:52 2009 +0200
Computed the largest non-infinity number in digitalfilters1.cc
    Fixed a bug in Float.defs.hh
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32a8e23b60707...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Oct 5 17:53:37 2009 +0200
Removed comments.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c05f09104471c...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Mon Oct 5 19:09:24 2009 +0200
Minor changes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8847a837fb858...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Mon Oct 5 16:34:35 2009 +0200
Extended float_ieee754_half format.
    Fixed a function call in test06 with a possible solution.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c83d68a8f97fb...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Sun Oct 4 12:09:35 2009 +0200
Removed few comments.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a92c340364dea...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Oct 5 17:06:17 2009 +0200
Fixed Polyhedron::refine_with_linear_form_inequality.
    Adapted tests on polyhedra.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eda8bee287a3e...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Oct 5 16:05:44 2009 +0200
Removed abstract_store parameter of Polyhedron::affine_image and
    Polyhedron::refine_with_linear_form_inequality in
    digitalfilters1.cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b37ac0cb30453...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Oct 5 15:39:57 2009 +0200
Fixed a few typos.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=531ab36b1f699...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Oct 5 15:29:29 2009 +0200
Do not use an abstract store: extract lower and upper bounds of variables
    from the polyhedron itself instead.
    Fixed a bug in refine_with_linear_form_inequality that was triggered when
    both parameters left and right were bounded but left - right was not
    bounded.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e90bc74ac6035...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Oct 5 15:08:27 2009 +0200
Modified test03, test05 and test06.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90400149d3e36...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Oct 5 08:46:45 2009 +0200
Added code for selection of the deepest cut.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0f084e697e6f...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sun Oct 4 21:39:47 2009 +0200
Modified test01, test02, test03 and test04.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11dea7cc6e76b...
Author: François Galea francois.galea@uvsq.fr
Date:   Sun Oct 4 18:41:13 2009 +0200
Implemented cut generation. Not stable yet.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74cf01fdacb02...
Author: François Galea francois.galea@uvsq.fr
Date:   Sun Oct 4 12:09:57 2009 +0200
Added test problem.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b736b1ec4842...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sat Oct 3 21:05:04 2009 +0200
Added widening and extrapolation operators in test01, test02,
    test03 and test04.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=112fb00917eba...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sat Oct 3 14:37:44 2009 +0200
Fixed comments.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d2306abb0714...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Fri Oct 2 18:56:19 2009 +0200
Implemented a test on polyhedra abstract domain with linearization
    of floating point expressions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb9cef62704bb...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Fri Oct 2 14:49:25 2009 +0200
Implemented a test on rate limiter which uses octagons abstract
    domain and linearization of floating point expressions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=039d147fe8112...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Oct 2 10:57:20 2009 +0200
Unified the common denominator between both matrices of the tableau.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fcb9568396f2b...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Oct 1 22:38:57 2009 +0200
Improved BD_Shape<T>::refine_with_linear_form_inequality.
    Corrected BD_Shape<T>::affine_image.
    Adapted tests in bshape2.cc and finished test02 in digitalfilters1.cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ca73838e132e...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Oct 1 18:17:27 2009 +0200
Fixed bug in BD_Shape<T>::two_variables_affine_image.
    Added a first implementation of test02.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bdc33c7fc6f3...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Oct 1 17:32:59 2009 +0200
Implemented test of rate limiter using polyhedra abstract domain.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f18c42ee75a56...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Oct 1 16:40:19 2009 +0200
Modified test03 and test04.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05770258f702f...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Oct 1 16:35:05 2009 +0200
Fixed a few assertions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=150b3c6db2341...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Oct 1 16:32:23 2009 +0200
Fixed bugs.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60337b286bc9a...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Oct 1 15:24:59 2009 +0200
Corrected tests with Intervals and Octagons in digitalfilters1.cc.
    Temporarily modified tests/Floating_Point_Expression/Makefile.am
    Implemented Variable_Floating_Point_Expression::linear_form_assign.
    Inserted invariant assertions in Octagonal_Shape<T>::affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e933a2295368...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Oct 1 15:06:16 2009 +0200
Added two TODO notes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4cd20a07c080b...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Sep 30 18:28:04 2009 +0200
Implemented handling of artificial parameters, preparing cut generation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86c9d02d4adb6...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Wed Sep 30 17:02:15 2009 +0200
Removed ad useless parameter in linear_form_upperbound();
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3324f27c9299...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Wed Sep 30 16:49:14 2009 +0200
Few tests added;
    Fixed refine_with_linear_form_inequality();
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2134fb6959a58...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Sep 29 20:09:54 2009 +0200
Added few tests;
    Fixed refine_with_linear_form_inequality() and auxiliary functions;
    Implemented inline void refine_fp_interval_abstract_store();
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=233be8bdca829...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Sep 29 16:25:02 2009 +0200
Added support for adding constraints in initial context.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=842215c913d84...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Sep 29 16:21:25 2009 +0200
Proper update of internal state of PIP_Problem object.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fab12fb96c8f5...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Sep 29 15:24:11 2009 +0200
Added a test.
    Fixed a bug in left_one_var_refine().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c32a7f8c1c537...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Sep 29 14:45:48 2009 +0200
Fixed regression due to change in index ordering in parameter constraints.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7644042419297...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Sep 29 13:02:52 2009 +0200
Added a preliminary version of test05. Edited previous tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b0038a621b7c...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Sep 29 14:57:47 2009 +0200
Added two tests;
    Fixed a bug in left_one_var_refine() function.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1565eb930cb72...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Sep 28 23:45:09 2009 +0200
Added a first implementation of tests on Octagon and Polyhedra.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=540fd61d15e0b...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Sep 29 00:04:10 2009 +0200
Deleted a useless tests file.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc276e0c0a158...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Sep 28 20:03:16 2009 +0200
Started to test analysis on digital filters.
    Temporarily modified tests/Floating_Point_Expression/Makefile.am
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5ef5d5cfc41f...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Mon Sep 28 20:37:16 2009 +0200
Fixed few bugs in inhomogeneous_refine();
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4f52c87f28fc...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Sep 28 16:04:33 2009 +0200
Improved test05
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fcd493ce5e2f...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 28 15:24:11 2009 +0200
Fixed test05.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ddf04b0c2957...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Sep 28 15:07:52 2009 +0200
Modified test04 and test05.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5e8676cd64d4...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sat Sep 26 19:09:56 2009 +0200
Modified poyhedron2.cc in order to test NNC_Polyhedron and
    Polyhedron::generalized_refine_with_linear_form_inequality.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e88b2238c1d7e...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sat Sep 26 17:48:51 2009 +0200
Temporarily edited tests/Floating_Point_Expression/Makefile.am
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d002a27f5e250...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sat Sep 26 17:48:18 2009 +0200
Added another test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66f38555e1528...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sat Sep 26 17:09:48 2009 +0200
Added a test in polyhedron2.cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0eb634591ec20...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Sat Sep 26 10:19:13 2009 +0200
Added missing const qualifiers.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8904fdf2c5ef...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 25 14:31:28 2009 +0200
Implemented generalized_refine_with_linear_form_inequality.
    Adapted refine_with_linear_form_inequality to accept strict inequalities
    on not necessarily closed polyhedra.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ce1a9746e940...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 25 11:40:55 2009 +0200
Added a trivial implementation of
    generalized_refine_with_linear_form_inequality.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2463769f88778...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Fri Sep 25 10:58:46 2009 +0200
Finished to test Polyhedron::affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c62926896a8b9...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 25 10:28:33 2009 +0200
Fixed test04: do not perform floating point operations outside of the interval
    domain unless the result can be exactly represented.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb5178462d70a...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 25 09:47:14 2009 +0200
Added a couple of simple tests.
    Makefile fixed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef984d10243cd...
Merge: 8ca4f6890910a146f573d7a45d135aa6a07b6ece 513d2127e55faa6f5e7d29938b7315203a712df2
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Sep 24 20:49:48 2009 +0200
Merge branch 'master' into pip
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca4f6890910a...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Sep 24 20:48:16 2009 +0200
Correctly deal with pipproblem1.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=218d5ae8dfc21...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Sep 24 20:46:42 2009 +0200
Renamed to follow the PPL convention on test file naming.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d8dbbaf6e3c2...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Sep 24 20:46:04 2009 +0200
Added test02().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3add81ea30924...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 24 18:20:28 2009 +0200
Fixed test05.
    Added a new test file.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03bfe62f2d733...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 24 17:26:01 2009 +0200
Added two tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85cc7688520ab...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Thu Sep 24 18:57:05 2009 +0200
Removed two unused parameters;
    Fixed two function calls.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cebcfe41cc8a2...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Sep 24 16:34:32 2009 +0200
Fixed operator>>(std::istream&, Interval<Boundary, Info>&).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f06b8a321099...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Sep 24 16:32:31 2009 +0200
Spurious print statement removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=513d2127e55fa...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Sep 24 16:34:32 2009 +0200
Fixed operator>>(std::istream&, Interval<Boundary, Info>&).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=334ff19fb5ca3...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 24 16:32:57 2009 +0200
Added the constructor Constant_Floating_Point_Expression(const char*).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccd16569a7d2c...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Sep 24 16:32:31 2009 +0200
Spurious print statement removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ffa56a7f08ad...
Merge: d865b7a741bdb503fdac52edbd5b2a700593a850 e61defee29d0688a72fbe707157351a85c9a35a1
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Sep 24 16:25:29 2009 +0200
Merge branch 'master' into floating_point
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e61defee29d06...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Sep 24 16:23:44 2009 +0200
New constructor explicit Interval::Interval(const char* s).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d865b7a741bdb...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 24 16:15:20 2009 +0200
Added a couple of assertions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=360425ce18d40...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 24 16:12:32 2009 +0200
Added some tests in tests/Floating_Point_Expression/polyhedron1.cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07bb498a1557b...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 24 14:44:33 2009 +0200
Forgot to pass the common denominator to bounded_affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a21e78b3e9bb5...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Thu Sep 24 14:09:22 2009 +0200
Completed the method refine_with_linear_form_inequality();
    added the auxiliary function left_two_var_refine().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a18c563be178e...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Sep 24 11:55:41 2009 +0200
Added additional check in simplex, leading to simpler decision trees.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ad560b33c28a...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 24 11:09:02 2009 +0200
Always assert that all variables in the abstract store are bounded.
    Corrected the documentation accordingly.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c93dcb4734f0...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 24 10:38:03 2009 +0200
Started to test Polyhedron::affine_image on FP_Linear_Form.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ac2752fde0d8...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Sep 23 21:30:33 2009 +0200
Removed commented code in floatingpointexpr1.cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=102eb141ca6f5...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Sep 23 21:23:38 2009 +0200
Improved tests. Now they all pass and reach the maximum coverage.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de2be3f1b7f7b...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Wed Sep 23 20:19:49 2009 +0200
Partial implementation of refine_with_linear_form_inequality();
    Two auxiliary function added.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f762ecded38d8...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Sep 23 18:19:17 2009 +0200
Fixed indentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8dd84af2cadee...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 23 18:16:21 2009 +0200
Parametrized tests for Octagonal_Shape.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f47bdef6918e1...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Sep 23 18:11:37 2009 +0200
Parametrized linearform1.cc and bdshape1.cc
    Fixed indentation and removed an useless test in floatingpointexpr1.cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43b5cb98ab200...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Sep 23 16:53:23 2009 +0200
Added several corrections in order to parametrize floatingpointexpr1.cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9691bf1a68b4e...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Sep 23 11:36:58 2009 +0200
Parametrized floatingpointexpr1.cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8128edd2954e9...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 23 17:01:36 2009 +0200
Made the refine_fp_interval_abstract_store methods inline.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=230e752faf022...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 23 12:24:25 2009 +0200
Always use Box instead of map for interval abstract stores.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44241590e1fdc...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Sep 23 11:15:32 2009 +0200
Removed useless parameter in PIP_Tree_Node::update_tableau method.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4eb68b6e2a67c...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Sep 23 10:53:15 2009 +0200
Implemented display of solution trees.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8663b34c02828...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Sep 23 11:05:57 2009 +0200
Fixed bugs.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25bfa050fc1d0...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Sep 23 10:37:14 2009 +0200
Changed index ordering in parameter constraints.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15ed9f61cf8f2...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 22 18:23:51 2009 +0200
Fixed another typo that prevented compilation of tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d14d0775d881d...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 22 18:12:13 2009 +0200
Fixed a typo that prevented compilation of tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dbbf2813ae80...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Sep 22 17:57:29 2009 +0200
Renamed float_IBM_single and float_IBM_double lowering the case for IBM.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c142c06f9e478...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Sep 22 17:56:33 2009 +0200
Added some infrastructure to perform parametric tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=655d6cc8016a4...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 22 17:08:31 2009 +0200
Added a few details about other floating point formats.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b7c8767e9c0d...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 22 16:49:03 2009 +0200
Small documentation corrections.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b4f0299f6b37...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Sep 22 16:37:05 2009 +0200
Adapted test files to new representation of interval abstract stores.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8e7d618dd4a4...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 22 15:54:49 2009 +0200
Added missing static casts so that tests now pass again.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79572e84de987...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 22 15:46:05 2009 +0200
Use Box to represent an interval abstract store.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2b71307d5198...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Sep 22 15:47:37 2009 +0200
Replaced typedefs according to the new policies.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2e5ca265d96...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Sep 22 14:02:34 2009 +0200
Refactoring of test files into test/Floating_Point_Expression.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96ade840e5152...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 22 13:51:48 2009 +0200
Adapted the class to the policies defined in Float.defs.hh.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d61e5566f5f6d...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 22 11:58:55 2009 +0200
Pass variables to affine_image by copy.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d9faf95e4bc2...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 22 11:50:35 2009 +0200
Written Polyhedron::refine_fp_interval_abstract_store.
    Various other corrections.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1508fe8fbb7be...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Sep 22 10:55:49 2009 +0200
Little correction in two_variables_affine_image method.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6e8ada743e72...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 22 09:36:01 2009 +0200
Fixed one cut-&-paste error.
    Use a single call of bounded_affine_image instead of calling
    generalized_affine_image twice.
    Added two FIXME notes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5561eee98184e...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Sep 22 09:31:27 2009 +0200
Added mechanism for fetching parametric values for variables.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6ea14f4ac3f3...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Sep 22 09:30:53 2009 +0200
Added reference to the Problem object in solution tree Nodes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e7c9713946e7...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Sep 21 19:23:37 2009 +0200
Added another test for the general case of affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faefe0f0d2247...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Sep 21 18:45:29 2009 +0200
Fixed a bug in affine_image and modified one_variable_affine_image.
    Added a new test for the general case.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=351e41c9b7853...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Sep 21 18:02:31 2009 +0200
Implemented a preliminary (yet untested) version of methods
    BD_Shape::linear_form_upper_bound and
    BD_Shape::two_variables_affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7365b420d7ab0...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 21 16:59:22 2009 +0200
Added more floating point formats.
    Added some parametric typedefs for tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5208ce53cc4f...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Sep 21 15:58:16 2009 +0200
Bug fixes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=171b89c7ecd94...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 21 15:56:47 2009 +0200
Added a few lines of documentation that were previously forgotten.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e382dfd1d7fa7...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 21 15:41:16 2009 +0200
Added some more documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=726d6fa6ff5d2...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Sep 21 15:26:05 2009 +0200
Fixed a bug in affine_image and implemented three new tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0f4bf6a9483e...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 21 15:00:49 2009 +0200
Added some (and corrected some of the) documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f125f4d90aa9...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 21 14:19:43 2009 +0200
Wrote a first implementation of refine_with_linear_form_inequality.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c07b5cfd78cea...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Sep 21 13:16:17 2009 +0200
Fixed a bug in BD_Shape<T>::affine_image and added more tests for
    this method.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18e281994a302...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 21 11:37:51 2009 +0200
Use the proper exception thrower.
    Moved the new exception thrower.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bdd87fc43645...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 21 11:08:33 2009 +0200
Various corrections.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04edf0b5d66a1...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 21 10:11:18 2009 +0200
Finished writing a first version of our affine_image variant.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e9f4582ce7ab...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Sun Sep 20 13:20:56 2009 +0200
Removed a temporary using sub_assign_r instead of add_assign_r
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aeb5980a47c26...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Sun Sep 20 02:09:24 2009 +0200
Bugs fixes
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecffc8c69e218...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Sat Sep 19 18:53:32 2009 +0200
Finished writing a first implementation of convert_to_integer_expression
    and convert_to_integer_expressions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6dc43db2855f...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Sat Sep 19 17:25:19 2009 +0200
Small progress in writing convert_to_integer_expressions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca46c28590361...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Sat Sep 19 17:18:31 2009 +0200
Sterted writing the functions that are used to convert floating point
    constraints to integer ones.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f37d16f0e9478...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Sat Sep 19 17:37:05 2009 +0200
Implemented methods BD_Shape<T>::inhomogeneous_affine_image and
    BD_Shape<T>::one_variable_affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01dab9748259c...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Sat Sep 19 09:51:20 2009 +0200
Converted helpers to work also for native numbers.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e677160d1606...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Sep 18 20:24:35 2009 +0200
Make sure the latest changes to NDEBUG effective.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebe68870ff0f3...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Fri Sep 18 16:32:40 2009 +0200
Added a test for trivial cases of BD_Shape::affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=636677b9899ea...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 18 14:16:25 2009 +0200
Started the implementation of our affine_image variant.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a811294d3acc...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Fri Sep 18 12:32:47 2009 +0200
Added test for Octagonal_Shape<T>::refine_fp_interval_abstract_store.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6766fae53279...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Fri Sep 18 14:27:30 2009 +0200
Added function BD_Shape::affine_image(const Variable& var,
                        const Linear_Form< Interval<T, Interval_Info> >& lf);
    Added interfaces for auxiliary functions:
    	BD_Shape::inhomogeneous_affine_image(...);
    	BD_Shape::one_variable_affine_image(...);
    	BD_Shape::two_variable_affine_image(...);
    Added a preliminary test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c625805209601...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 18 12:05:02 2009 +0200
Added a first implementation of overapproximate_linear_form.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1271e1583604a...
Author: Francois GALEA fgalea@verlaine.prism.uvsq.fr
Date:   Fri Sep 18 11:32:12 2009 +0200
Fixed ASCII dump/load methods, solving compilation issues.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=876484912959e...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Fri Sep 18 10:41:44 2009 +0200
Coverage of 100% reached for refine_with_linear_form_inequality.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9015398c7a2e8...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Fri Sep 18 10:36:24 2009 +0200
Added a test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cbe08ccba51a...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 18 10:31:58 2009 +0200
Added missing multiplications by 2.
    All tests now pass.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81a3ebf848160...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 18 10:11:16 2009 +0200
Added interfaces (and empty body) of two new methods.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5decdfb92cce7...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Fri Sep 18 09:48:03 2009 +0200
Added two more tests in refinelf1.cc
    Improved a test in affineimage3.cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80b7e08459297...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Sep 18 09:21:54 2009 +0200
Finished parametric simplex algorithm. No cut generation yet.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=630590eb2beb3...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Sep 17 20:55:32 2009 +0200
Added Roberto Amadini to the list of current contributors.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61aa0fda07d54...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 17 18:16:57 2009 +0200
Pass variables to affine_image as const references.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=880ed012ba9c0...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 17 17:49:28 2009 +0200
Removed the check on empty octagons in function test01.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42d43d4ce329b...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 17 17:37:24 2009 +0200
Removed useless emptiness check.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f165fb07116d9...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 17 17:35:34 2009 +0200
Assert that the octagon is not empty when refining, since the analyzer
    should not try to apply filters in an unreachable state.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7172dfc7c1e1...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 17 17:30:05 2009 +0200
Do not reset strong closure manually since add_octagonal_constraint
    already does it automatically.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ae6135af4d6a...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 17 17:24:24 2009 +0200
Always use add_octagon_constraint to update contraints in
    refine_with_linear_form_inequality instead of overwriting blindly.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df74c77ffb0f5...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 17 16:54:03 2009 +0200
Removed a bug in test functions. Added a test for general case.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba44339f4373e...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Sep 17 16:12:17 2009 +0200
Fixed several rounding modes in Octagonal_Shape methods.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da7ab569f2f20...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 17 16:02:17 2009 +0200
Added two tests. Particular cases totally covered.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=255dd5501e74f...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Thu Sep 17 15:49:53 2009 +0200
Fixed and simplified DIRTY_TEMP for use with -fno-elide-constructors.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b42fe4766fe4c...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 17 15:41:32 2009 +0200
Removed comments.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b0f1e5529a5c...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 17 15:38:05 2009 +0200
Added another test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3eef431c3bdc...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 17 15:40:26 2009 +0200
Fixed one nasty cut & paste error.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23e43a61830b3...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 17 14:59:59 2009 +0200
Added a test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ea2e2f10098c...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 17 14:46:51 2009 +0200
Use references instead of pointers whenever possible.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33f20542b9b6d...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 17 14:02:50 2009 +0200
Added and modified tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6dd29aa6e3060...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 17 12:24:43 2009 +0200
Optimized refine_with_linear_form_inequality, removing six temporaries
    in the process.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88575c56b5ccb...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 17 11:43:11 2009 +0200
Added two tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d86fe8a21720...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 17 11:37:38 2009 +0200
Start to test Octagonal_Shape::refine_with_linear_form_inequality.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=453985a4ec00d...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 17 11:32:08 2009 +0200
Removed unnecessary temporaries from affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fa3f4c26c6d3...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 17 11:17:11 2009 +0200
Optimized linear_form_upper_bound: got rid of two unnecessary
    temporaries.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d2ee886c0013...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 17 10:57:25 2009 +0200
Definitively removed counterproductive checks in
    linear_form_upper_bound, since we have confirmed that comparing with
    -infinity is legitimate.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9f5aee8d9e95...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 17 10:52:37 2009 +0200
Use ROUND_DOWN instead of ROUND_UP to compute the negation of the upper
    bound of -var.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41e8ca0bea155...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 17 10:30:57 2009 +0200
Use ROUND_UP (or, in one case where intervals are involved, ROUND_DOWN)
    whenever appropriate.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fae817ce8120f...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Sep 16 20:13:44 2009 +0200
Added another test. Coverage of 100% reached for affine_image and
    linear_form_upper_bound methods.
    Temporarily(?) removed some checks in linear_form_upper_bound.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec92733bc0d25...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Sep 16 19:53:33 2009 +0200
Fixes to avoid some useless Coefficient duplicates.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1024999dddcc6...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Sep 16 18:21:41 2009 +0200
Implemented the Rational_Matrix normalize method.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6685edf5c48bb...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 16 17:56:29 2009 +0200
Small documentation improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=164b9ef702d0b...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 16 17:26:27 2009 +0200
Added some comments.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bdc87446af32...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Sep 16 17:09:43 2009 +0200
Implemented tests (from test04 to test08).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47985bffa0b58...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 16 16:21:33 2009 +0200
Fixed a couple of syntax errors.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6036d8d0b690...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 16 15:48:13 2009 +0200
Many corrections.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5927b13d1aae6...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Sep 16 15:24:24 2009 +0200
Implemented additional steps of the simplex algorithm.
     - handling of simplex rows with mixed parameter sign;
     - handling of tautology expressions;
     - handling of splitting a solution according to a test parametric expression.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64bd2613cda27...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Sep 16 15:21:06 2009 +0200
Modified prototype for solve method in PIP_Tree_Node and derivates.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c93acf108e683...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Sep 16 15:15:28 2009 +0200
Redefined and implemented the tree node constructors.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16204cc0b8e28...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 16 14:08:31 2009 +0200
Use PPL_COMPILE_TIME_CHECK insteas of PPL_ASSERT whenever possible.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed84cf0c1472b...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 16 12:24:01 2009 +0200
Fixed one typo.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e492c9a5c5291...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 16 12:21:30 2009 +0200
Added more cases for refine_linear_form_inequality.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56bd6524e6e38...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Wed Sep 16 14:10:28 2009 +0200
Fixed a bug in Linear_Form::operator<<()
    Fixed a bug in Octagonal_Shape::linear_form_upper_bound()
    Added a test
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46f18dbe19ab3...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Mon Sep 14 11:58:10 2009 +0200
Removed garbage
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd64da813c519...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Sep 16 11:25:27 2009 +0200
Added some tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27853708a791d...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 15 18:06:23 2009 +0200
Added a first, untested implementation of
    refine_fp_interval_abstract_store.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a58815158ed24...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 15 17:00:40 2009 +0200
For consistency, use std::numeric_limits<T>::is_exact in order to check
    if T is a floating point type.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf40c1ee096f6...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 15 16:16:15 2009 +0200
Added a first implementation of refine_with_linear_form_inequality.
    Two small optimizations for affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8196e08325165...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Sep 15 15:16:05 2009 +0200
Added new test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8e1cbd1782c3...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Sep 15 15:09:08 2009 +0200
Implemented simplex pivot on rational matrices.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4670807b162f2...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Sep 15 14:52:41 2009 +0200
Added a test for Octagonal_Shape::affine_image in
    tests/Floating_Point_Expression/affineimage3.cc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30f2d12b77f8f...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 15 11:50:10 2009 +0200
Fixed a few typos preventing compilation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85157d3ca3cd5...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 15 11:24:39 2009 +0200
Added missing assertion and FIXME note.
    Started the implementation of refine_with_linear_form_inequality.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1e7e39e58515...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 15 09:26:44 2009 +0200
It is NECESSARY to delay the update of unary constraints on var.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb4d41cada4e9...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Sep 14 21:21:25 2009 +0200
Added missing comment.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecb0e94a30b0f...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 14 17:56:12 2009 +0200
Fixed two serious bugs in linear_form_upper_bound.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41ead44c160d6...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Sep 14 17:32:25 2009 +0200
Implemented the first steps of the parametric simplex algorithm.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=992d25ba23f36...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 14 17:06:20 2009 +0200
Fixed an error introduced by previous commit.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e8267747161d...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 14 16:02:12 2009 +0200
Added missing static_casts in Linear_Form.
    Fixed one bug in linear_form_upper_bound.
    Added a first complete implementation of affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8b3c7c191b3a...
Author: François Galea francois.galea@uvsq.fr
Date:   Mon Sep 14 13:13:27 2009 +0200
Changed modelization of contexts from Constraint_System to Matrix.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47bf5799b4b5c...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 14 12:16:04 2009 +0200
Added another helper function.
    Removed garbage code.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3262f50a53d3...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Sun Sep 13 19:21:41 2009 +0200
Added an auxiliary method.
    Sorry for the huge amount of commented code: it will be fixed soon.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04affbe1f914d...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Sep 11 22:28:09 2009 +0200
Do not include <stdint.h>.
    The header files <stdint.h> and/or <inttypes.h> are included by
    ppl-config.h.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e103e539bb6f...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Sep 11 22:27:40 2009 +0200
Make sure uintptr_t is defined, if at all possible.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92c85879ea35c...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Sep 11 17:09:21 2009 +0200
Moved the constraint() method to PIP_Tree_Node class.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=688061869b0f3...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 11 17:05:06 2009 +0200
Removed outdated FIXME note.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=762b048f81365...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 11 17:04:11 2009 +0200
Added other simple cases of affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c02e3b5a945d...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Sep 11 16:24:49 2009 +0200
Added first tests in OK() methods of PIP_Tree classes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=400f860377c15...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Sep 11 15:40:34 2009 +0200
Implemented integer context compatibility check.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e86a215e5bf18...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 11 14:12:30 2009 +0200
Implemented another case for affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ce39ca898aa3...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Sep 11 13:16:08 2009 +0200
Implemented row sign detection.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33905b7bf1a33...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Sep 11 13:08:53 2009 +0200
Implemented constraint negation, plus minor fixes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bd882f496108...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 11 10:50:42 2009 +0200
Added a skeleton for the rest of the affine_image implementation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=589af008cb61b...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 11 10:01:36 2009 +0200
Now the trivial case of affine_image works.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29936bbc3648a...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 18:04:36 2009 +0200
Written a preliminary, non working first part of our variant of
    affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f1061d0e0fb1...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Sep 10 17:25:05 2009 +0200
Improved recently added helper functions.
      - avoid recomputing loop bounds at each iteration;
      - delay object definitions until actually needed and, if possible,
        provide them with an initializer.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2747f04f7bcc2...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Sep 10 16:41:24 2009 +0200
Fix compilation problems when assertions are turned on.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa7e6d41189dd...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Sep 10 16:11:39 2009 +0200
Identifiers starting with an underscore are reserved: avoid them.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6b3b1cf93a95...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Sep 10 15:46:25 2009 +0200
Implemented some helper functions for the PIP solver.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a1b3b278146e...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Sep 10 15:24:16 2009 +0200
Suggest using -fno-elide-constructors when configuring for coverage.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8131d3c11b8f1...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 15:08:37 2009 +0200
Fixed another small documentation inconsistency.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2219c62d25286...
Author: François Galea francois.galea@uvsq.fr
Date:   Thu Sep 10 14:48:21 2009 +0200
Integrated the solve method in the different PIP_Tree node classes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e535e5b530fb1...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 14:41:11 2009 +0200
Fixed another small error in the documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f9c76f9d59e...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 14:33:20 2009 +0200
Other small corrections to the documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5642e6135052...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 14:29:35 2009 +0200
Fixed one small typo.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9bc246da10ae...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 14:28:46 2009 +0200
Remove all references to floating point format f.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49fe8476c8764...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 14:18:14 2009 +0200
More additions and corrections to the documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25bb41f113460...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 12:25:09 2009 +0200
Grammar fix in the documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61e9682521aec...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 12:15:14 2009 +0200
Fixed one small error.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc2e838dcecf1...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 12:06:05 2009 +0200
Fixed another inconsistency in the documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f90f4982a4655...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 12:02:54 2009 +0200
Fixed conflicts.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ffba415ba265...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 11:49:44 2009 +0200
Fixed an inconsistency with the rest of the documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b975207fee47a...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 11:38:06 2009 +0200
Fixed a few errors.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=665f8e9f3e12a...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 11:27:10 2009 +0200
Added missing \brief marker.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=963be409b51e7...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 11:16:06 2009 +0200
Use \otimes only in math environment.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aed91f8a35dec...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 10 11:12:22 2009 +0200
Revised and corrected the whole documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98244bb14df54...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 10 11:55:12 2009 +0200
Moved linearform1.cc into tests/Polyhedron.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7de79be86951b...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Thu Sep 10 12:37:26 2009 +0200
Updated intervalize documentation;
    Updated Opposite_Floating_Point_Expression documentation;
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8467c7a8e640f...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Sep 10 09:12:20 2009 +0200
Removed spurious occurrence of a closing comment, preventing compilation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d115f781b8c2...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Sep 9 17:55:46 2009 +0200
Improved test for class Linear_Form.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19b136f854184...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Wed Sep 9 19:39:19 2009 +0200
Fixed few typo
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60b9772ac0002...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 9 17:40:00 2009 +0200
Fixed typo.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8f6d2ee0afe7...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 9 17:37:08 2009 +0200
Use \infty instead of \infinity.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c80dc54db173...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Wed Sep 9 19:08:00 2009 +0200
Updated documentation
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=edf215e958a23...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 9 16:33:27 2009 +0200
Predisposed everything to start implementing our own customized version
    of method affine_image.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37c753c529b2b...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Wed Sep 9 16:19:06 2009 +0200
Fixed bug in Linear_Form.
    Copied linearform1.cc in tests/Floating_Point_Expression and
    improved its tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a50f74f87f970...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Sep 9 15:59:09 2009 +0200
Implemented proper handling of nonbasic variables when adding rows.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66515df137210...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 9 10:40:06 2009 +0200
Use \defeq instead of = for definitions.
    Fixed an error concerning frames.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59241488abfbf...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 9 10:26:32 2009 +0200
Use new linearization macro.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a77be211bad2e...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 9 10:20:06 2009 +0200
Removed trailing whitespace.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faab1d2986432...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 9 10:19:02 2009 +0200
More documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=940b8bf4bf244...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 9 10:17:52 2009 +0200
Fixed a bug in operator==.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=867f1eaf166ff...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Wed Sep 9 12:01:58 2009 +0200
Added new macros into doc/ppl.sty
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18fcb47fba6d6...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Sep 8 20:30:46 2009 +0200
Added Linear_Form into doxyconf file
    Fixed few typos in Linear_Form
    Minor Documentations updates
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3919a859f9bb...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Sep 8 17:25:56 2009 +0200
Added and modified tests in order to reach the coverage of 100%
    in Floating_Point_Expression class and its derived classes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f3c39f2d7853...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 8 16:54:51 2009 +0200
Fixed pedix.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=994b555a8cd9a...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 8 16:46:23 2009 +0200
Fixed an error in command invocation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a1d25bd5a05e...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 8 16:29:40 2009 +0200
Added some documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=606ec45118cc8...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Sep 8 16:59:35 2009 +0200
Update variale and constant documentations
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26d546f62d364...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Sep 8 16:09:33 2009 +0200
Added Latex macro for abstract division.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6956e262f595...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Sep 8 14:08:04 2009 +0200
Removed useless comments.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c508c610981bd...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Sep 8 14:00:38 2009 +0200
Added test for unary minus and multiplication by constant.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58e9e3af70bd3...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Sep 8 14:20:01 2009 +0200
Updated linearization documentation;
    Added formulas to class descriptions;
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e570d8899935...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Sep 8 12:33:45 2009 +0200
Fixed documentation
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc85f3ea87bfb...
Author: François Galea francois.galea@uvsq.fr
Date:   Tue Sep 8 12:56:49 2009 +0200
Moved the simplex tableau from PIP_Problem to PIP_Solution_Node.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f25dd63720cd0...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 8 11:49:17 2009 +0200
Notify that open intervals should not be allowed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5c91db1d219b...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 8 10:12:24 2009 +0200
Documentation improved.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90c1a7723fdeb...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 8 09:27:12 2009 +0200
Deleted FIXME note.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7bef215e417e...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Tue Sep 8 00:06:08 2009 +0200
Added and modified some tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ea81ad27e069...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Mon Sep 7 20:24:53 2009 +0200
Update documentation
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9eea1940a0dd7...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Sep 7 18:11:16 2009 +0200
Fixed a bug in method relative_error.
    Edited test06 to cope with the new interface of method linearize.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8ecdc0727c83...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Mon Sep 7 18:03:22 2009 +0200
Added one test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38cb91a8f194c...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 7 16:12:10 2009 +0200
Extended method linearize to also accept a linear form abstract store.
    Adjusted tests (but NOT YET THE DOCUMENTATION) accordingly.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8a6f6a79cee0...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Mon Sep 7 18:09:18 2009 +0200
Documentation updates
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db823a3980535...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 7 15:00:37 2009 +0200
Do not ignore undefined variables while intervalizing: assert that they
    are defined instead.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf7c1eb0d35ea...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 7 14:23:23 2009 +0200
Fixed a bug in Linar_Form::operator== where zero coefficients were not
    treated properly. Added a few simple tests for class
    Floating_Point_Expression.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ea4657845b39...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 7 11:07:24 2009 +0200
Added more typedefs and one test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc9e7a5ea189b...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 7 10:53:07 2009 +0200
Added two simple tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce4f16e3106ad...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Mon Sep 7 12:31:54 2009 +0200
Fixed comments and documentation
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04e68873c8a8f...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Sep 7 09:37:36 2009 +0200
Made absolute_error constant.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=544e8ba184712...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Sep 4 18:25:13 2009 +0200
Fixed missing make dependency for recently added header file.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1fbafc2fb396...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Sat Sep 5 20:07:04 2009 +0200
Fixed erroneous use of const&.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70431729da6b1...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Sat Sep 5 17:57:11 2009 +0200
Added operator/= and method negate for class Linear_Form.
    Refactored code of class Floating_Point_Exception and its derivate
    classes in order to avoid creating unnecessary temporaries.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da78c30d48931...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Fri Sep 4 19:05:11 2009 +0200
Added more documentation
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8abcfae5a3f83...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Sep 4 17:26:01 2009 +0200
Corrected bug in PIP_Problem::add_space_dimensions_and_embed().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3dc3a4686aaf...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Sep 4 17:00:16 2009 +0200
Corrected a couple of typos in documentation of Variables_Set.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=322a2b9a124af...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Sep 4 16:56:54 2009 +0200
Implemented methods querying/adding space dimensions and parameters.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=052fb58b85dcf...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 4 16:47:43 2009 +0200
Added necessary typedefs for tests. Removed garbage.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2690fc065429c...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Sep 4 14:53:38 2009 +0200
Implemented simplex basis and tableau initialization in PIP solver.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00627ff6a9849...
Author: François Galea francois.galea@uvsq.fr
Date:   Fri Sep 4 12:23:45 2009 +0200
Included the PIP_Problem and PIP_Tree classes in the devref documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=663dfab0dee07...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 4 11:16:05 2009 +0200
Added a workaround for the fact that we don't have an explicit way to
    divide a Linear_Form by an Interval.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99ff3b447a382...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 4 10:43:37 2009 +0200
Fixed various errors.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41a927e39c1b9...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 4 09:56:13 2009 +0200
Fixed bad use of constructor.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d152f78626220...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Fri Sep 4 09:40:19 2009 +0200
Style improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc2606ea40c56...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Sep 4 08:46:37 2009 +0200
Listed François Galea among the current contributors.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68aad9bf5bd2c...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Sep 3 16:10:55 2009 +0200
Drafted implementation for ascii_dump and ascii_load methods.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56c76f2f52207...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Sep 3 14:34:15 2009 +0200
Do perform PIP_Problem tests first.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22718e3dda0d7...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Sep 3 14:28:12 2009 +0200
Minor coding style improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d542fbbddbc2a...
Author: François Galea francois.galea@uvsq.fr
Date:   Wed Sep 2 17:57:15 2009 +0200
Started the implementation of the PIP_Problem class.
    In particular:
- defined the PIP_Problem constructors;
    - added the definition of the rational matrix class;
    - added the definition of simplex tableau;
    - created a test program.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4229e9d6cca6d...
Author: Roberto Amadini r.amadini@virgilio.it
Date:   Thu Sep 3 18:26:57 2009 +0200
Deleted a superfluous test.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c11c86e606cee...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Thu Sep 3 19:40:57 2009 +0200
Added some documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7230caad9fd9...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 3 17:42:50 2009 +0200
Use 0 instead of NULL.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=637a518f0c3d6...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 3 17:40:33 2009 +0200
Fixed an error in relative_error.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e2a4611be520...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 3 16:50:54 2009 +0200
Fixed erroneous declarations of namespace std inside namespace
    Parma_Polyhedra_Library.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfdb5138cdb74...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 3 16:37:23 2009 +0200
Fixed many errors.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10f41f9fa9964...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 3 16:06:26 2009 +0200
Fixed a few typos.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=452881a1cd2c0...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Sep 3 15:36:22 2009 +0200
Added a test directory (and a dummy test file).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b98cc5348d01...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 3 14:05:27 2009 +0200
Added a temporary implementation for external method neg_assign.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f28df36c3fa4...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 3 11:52:50 2009 +0200
Fixed inclusions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb864c44e262...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 3 10:33:31 2009 +0200
Fixed inclusion guards.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e66883a10288...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 3 10:01:15 2009 +0200
Added necessary static_cast when computing absolute error.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26061d6f25e49...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Thu Sep 3 09:39:33 2009 +0200
Implemented linearization operator for
    Division_Floating_Point_Expression.
    Fixed several typos.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2bd25f15c036...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Sep 2 17:15:12 2009 +0200
Added Fabio Biselli to the list of current contributors.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8839824bc84d7...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 2 18:07:24 2009 +0200
Added linearization operator for
    Multiplication_Floating_Point_Expression.
    Several other corrections and improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=091ba8a954912...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Sep 2 15:46:12 2009 +0200
Added Fabio Bossi to the list of current contributors.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12d9fe8700455...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 2 16:33:29 2009 +0200
Removed dummy linearization operators.
    Implemented the linearization operator for
    Opposite_Floating_Point_Expression.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd45e56cd50f6...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 2 16:02:45 2009 +0200
Added a few more implementations of the linearization operator.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67bec8827d8c0...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 2 14:41:51 2009 +0200
Added a first implementation of the relative_error and intervalize
    methods.
    Fixed a mistake with loops over linear forms.
    Several style improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8afa3a4e165f...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Wed Sep 2 13:34:01 2009 +0200
Rewritten according to Enea's indications.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7ee345b53fd7...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Sep 1 20:06:03 2009 +0200
Added swap functions and inhibited assignment and copy constructor.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=625f2adc4b2dd...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Sep 1 16:29:05 2009 +0200
Removed trailing whitespaces.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f090b25bf4b6...
Author: Fabio Biselli fabio.biselli@studenti.unipr.it
Date:   Tue Sep 1 16:08:08 2009 +0200
Added a few more classes for floating point expressions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d10726e732848...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 2 11:23:28 2009 +0200
Corrected absolute error calculation to account for underflows.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2335bf94541f...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 2 11:06:44 2009 +0200
Added static helper methods and a few policy classes.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c9d4e2385d9a...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 2 09:54:33 2009 +0200
Made constructors explicit.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=675fae6564ba9...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Wed Sep 2 09:42:16 2009 +0200
Fixed code according to Enea's indications.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b73f935478dd...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 1 18:05:12 2009 +0200
Added destructor implementation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=631b2220535fb...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 1 17:35:44 2009 +0200
Fixed a typo.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9e4c9feaea49...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 1 17:29:24 2009 +0200
Added swapping functions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f4b78b53ec10...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 1 11:38:06 2009 +0200
Added the files for the first (incomplete) version of
    class Opposite_Floating_Point_Expression
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db14c2f6022e8...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 1 11:29:14 2009 +0200
Fixed an error in method linearize.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc1a412d5547c...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 1 10:40:11 2009 +0200
Added a first version of class Variable_Floating_Point_Expression.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59926c0b8460c...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 1 10:01:25 2009 +0200
Corrected the interface of the two-argument constructor.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2e00d72c5631...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Tue Sep 1 09:43:30 2009 +0200
Corrected the interface of method linearize.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94cd70f673cd...
Author: Fabio Bossi bossi@cs.unipr.it
Date:   Mon Aug 31 17:32:09 2009 +0200
Added a few classes that represent floating point expressions.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=362c6c0bcf47b...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Aug 25 21:06:10 2009 +0200
Typo fixed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71c24b0bbde92...
Merge: 1f2678a35a2e13b22456a380a9e0b974939232a9 6a96e861272517118cfef7806f7b696dccd4d7e6
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Aug 21 09:42:04 2009 +0200
Merge branch 'master' into pip
Conflicts:
    	fedora/ppl.spec
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9ec5bc2cb674...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Aug 18 09:57:45 2009 +0200
Several corrections and improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85f855d8d0c88...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Aug 17 18:19:20 2009 +0200
Started adjusting the documentation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24c485b7ca899...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Aug 17 18:12:50 2009 +0200
Implemented Linear_Form::external_memory_in_bytes() and Linear_Form::external_memory_in_bytes().
    Other minor improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73a33367e029c...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Aug 17 17:55:53 2009 +0200
Do not use std::swap(): use Linear_Expression::swap() instead.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17a6154b28a67...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Aug 17 17:52:19 2009 +0200
Added a preliminary implementation of class Linear_Form.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7690e53a2292b...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Aug 17 17:51:35 2009 +0200
Added missing inclusion of <iostream>.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a96e86127251...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Aug 15 10:05:48 2009 +0200
Mention correction of bug in Pointset_Powerset maximize/minimize methods.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba692c7b20024...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Aug 15 08:18:50 2009 +0200
Indentation fixed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b52a2d273f4f9...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Aug 15 08:15:14 2009 +0200
Corrected a bug in Pointset_Powerset methods minimize() and maximize().
    We now return false if the powerset is found to be empty.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfff7e13e8817...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sat Aug 15 08:10:19 2009 +0200
Corrected a few expected results in Powerset/maxmin1.cc.
    This uncovered a bug in Pointset_Powerset methods maximize() and minimize(),
    whereby we are returning true even for empty powersets.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3acefad3847d...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Aug 7 17:37:17 2009 +0200
Version number bumped.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d61b662af670...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Aug 7 16:15:28 2009 +0200
Useless, commented-out inclusion removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a87795dec3abe...
Author: Abramo Bagnara abramo@localhost.localdomain
Date:   Fri Aug 7 12:40:53 2009 +0200
Modified cm_splitter machinery to avoid use of 'read' shell builtin.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3daa332122e9...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Aug 7 11:43:54 2009 +0200
Mention a bug that was recently corrected.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=325ba80abd8c0...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Aug 7 10:39:38 2009 +0200
Corrected implementation of NNC_Polyhedron::upper_bound_assign_if_exact().
    Added a few tests for regression checking.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21c69b39730e0...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Aug 5 14:48:04 2009 +0200
Make sure a definition for member/2 and append/3 is available.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5a20e1b7ed8f...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Aug 3 20:32:32 2009 +0200
Removed useless, temporary addition of -lm to LIBS.
    (Thanks to Joseph Prostko.)
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49f717edef1e1...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Aug 3 20:32:17 2009 +0200
Checks reordered.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d5c936a3dd3a...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Aug 2 18:55:02 2009 +0200
Version number bumped.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d398d757a50f...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Aug 2 18:37:14 2009 +0200
Use AC_SEARCH_LIBS to detect whether -lm must be provided to the linker.
    (Thanks to Joseph Prostko.)
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bfd79445fd0d...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Aug 2 17:41:35 2009 +0200
Do not add -lm to LDADD for *randphull1.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a41facee8e5c9...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Aug 2 09:28:50 2009 +0200
Do not link with -lm here.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65bab4f76a1b0...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Jul 31 13:15:39 2009 +0200
Improved and generalized the detection of YAP.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba9c7d4384344...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Jul 30 10:02:34 2009 +0200
Updated from Autoconf 2.64.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08eaee8c45643...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Jul 28 14:31:41 2009 +0200
Version number bumped.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=272435922ed60...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Jul 28 14:30:07 2009 +0200
On Windows, the console version of SWI-Prolog is called `plcon'.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d276a484e1cb5...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed Jul 15 14:04:49 2009 +0200
Adjusted weight thresholds.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=092abc98a2acf...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Jul 14 19:33:20 2009 +0200
Debugging prints improved.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55dda35b30c61...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Jul 14 19:29:20 2009 +0200
Weights adjusted.  Added more debugging prints.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12ab9f3662769...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Jul 14 19:14:50 2009 +0200
More weights adjusted.  Added a couple of debugging prints.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b64d72bae2bea...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Jul 14 18:49:35 2009 +0200
Added printing of MIP solver recursion level for (noisy) debugging.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a17f3bf228fb1...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Jul 14 17:36:47 2009 +0200
Added some weights.  Added some debugging prints.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01c5219d84f3b...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Jul 14 16:07:36 2009 +0200
Todo items reorganized.  Removed the one about NOT_EQUAL.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5beb16e7b885...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Jul 14 16:05:30 2009 +0200
Version number bumped.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=456f042c8e04c...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Jul 14 14:39:00 2009 +0200
The *_and_minimize/N predicates have gone: remove residual references to them.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80fe52b084cfc...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Jul 14 15:05:11 2009 +0200
Added WEIGHT_BEGIN and corrected WEIGHT_ADD_MUL macro.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd670303e2a9d...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Jul 14 14:59:48 2009 +0200
Added WEIGHT_BEGIN() macros and reset a few weights.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2947b482bb0ae...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Tue Jul 14 11:36:08 2009 +0200
Added profiled weights.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=232f4f623dad3...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Jul 14 11:05:13 2009 +0200
Modified computational weight for propagate_constraints.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae0073bd4dd5f...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Jul 14 09:18:37 2009 +0200
Added tentative computational weights to MIP_Problem.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67572f7617f66...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Tue Jul 14 00:09:12 2009 +0200
Fixed WEIGHT_ADD use.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3b1c746d42b4...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Jul 13 22:32:16 2009 +0200
WEIGHT_ADD moved.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4984c996e750f...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Mon Jul 13 22:16:04 2009 +0200
Removed forgotten WEIGHT_ADD.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61df49cc3d5fa...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Mon Jul 13 22:03:05 2009 +0200
Don't compile Weight_Profiler if it's not used.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27ce45ef5e475...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Jul 13 21:58:44 2009 +0200
Minor formatting improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30c4076e092bf...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Jul 13 21:48:50 2009 +0200
Use less simplistic weights.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b72e693fc90...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Jul 13 21:48:31 2009 +0200
Comment improved.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f53a31830c3e6...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Mon Jul 13 20:10:39 2009 +0200
Added additional info about Traits template parameter.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3b243ef0142d...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Mon Jul 13 18:46:47 2009 +0200
Converted weight threshold to unsigned long long.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f41bc98bc45b7...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Mon Jul 13 18:36:51 2009 +0200
Added weight profiler
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5ea4dfdfcca3...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Jul 13 17:39:45 2009 +0200
In the Ocaml tests, timeouts are now reset unconditionally.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db905fa95a0e1...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Jul 13 16:21:35 2009 +0200
Drafted a few missing comments. To be completed (by the author).
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=603691e1fc7d8...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Jul 13 16:04:22 2009 +0200
Added the documentation of some parameters.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b5711e19f0b0...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Jul 13 16:01:19 2009 +0200
Doxygen reference fixed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0808b5bf17894...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Jul 13 15:55:59 2009 +0200
Fixed several documentation bugs signalled by Doxygen.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e03b09806640e...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Jul 13 15:39:17 2009 +0200
Version number bumped.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d1496c72855a...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Mon Jul 13 15:47:56 2009 +0200
Removed repeated declaration.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18547b9dda764...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Mon Jul 13 15:13:27 2009 +0200
Moved in_assert in Implementation namespace.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3f9c1cc75c58...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Jul 13 14:50:55 2009 +0200
Warnings avoided.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78a7c4b60e7e5...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Jul 13 14:47:51 2009 +0200
Warnings avoided.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b767ed368ed5...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Jul 13 14:47:39 2009 +0200
Spurious parenthesis removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35bcf04d29227...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Jul 13 14:32:04 2009 +0200
Announced availability of the deterministic timeout facilities.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1f6a84ec0489...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Mon Jul 13 14:28:04 2009 +0200
Converted assert in PPL_ASSERT.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a0fb124afab4...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Jul 13 14:04:22 2009 +0200
A couple of minor doxygen documentation corrections.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8da16bedab392...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Jul 13 13:02:56 2009 +0200
Added determinisitc timeout functionality to the Ocaml interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f998de27be99a...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Jul 13 10:46:44 2009 +0200
Added deterministic timeout functionality to the Java language interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62c817602e25f...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Jul 13 09:42:35 2009 +0200
Weightwatch test fixed so as to behave properly under arithmetic overflows.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff28fdbc4a1fc...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Jul 13 09:24:12 2009 +0200
Added deterministic timeout predicates to the Prolog language interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d81e62914cdee...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Jul 13 08:56:27 2009 +0200
Now we throw/catch ad hoc exceptions for deterministic timeouts.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70437eb7512d5...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Jul 13 06:47:50 2009 +0200
These tests fail also with 32-bit coefficients.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08dfb6fea094f...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 21:39:46 2009 +0200
New configure option --with-gmp-prefix supersedes the (now removed)
    options --with-libgmp-prefix and --with-libgmpxx-prefix.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acac3c72eafcd...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 21:21:04 2009 +0200
These tests fail also with 16-bit coefficients.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81f1af6d0c63c...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 21:19:21 2009 +0200
Private typedef renamed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=557898faabc42...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 21:19:12 2009 +0200
Removed spurious blank line.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5622bea5c0744...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 21:15:32 2009 +0200
Comment improved.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89b767163dfb2...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 21:14:09 2009 +0200
Drafted the news for PWL 0.8.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1a81fe4089f7...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 19:08:36 2009 +0200
Unused temp removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66ccf323a04d9...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 19:07:58 2009 +0200
Warnings avoided.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a645e6094ee6...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jul 12 20:51:38 2009 +0200
Fixed INPUT variable in Doxygen configuration for devref.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cda644cec9ac...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 19:05:01 2009 +0200
Updated for PWL 0.8.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ead85490a5fa1...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 19:00:19 2009 +0200
These tests fail with 8-bit coefficients.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42c630cd1c01b...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jul 12 18:58:15 2009 +0200
Added a test for deterministic timeouts in the C language interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6ed324723fa3...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jul 12 18:36:43 2009 +0200
The deterministic timeout facilities are in the C language interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f2de79bb0dbe...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 17:16:20 2009 +0200
Got rid of the REACTIVE_ABANDONING macro.
    It was controlling tests whose cost is negligible, and defining
    it to 0 we would not honor what we promise in the documentation
    of abandon_expensive_computations.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae4fb56b8dda...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 17:12:20 2009 +0200
Force rebuild.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a349f75ba19a1...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Sun Jul 12 13:55:14 2009 +0200
Converted watchdog time argument to unsigned.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1a9519f0771e...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 11:48:29 2009 +0200
Item improved.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d2fd5e5653ab...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 11:47:36 2009 +0200
Synchronized with the current reality.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1175ae2b9f762...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 11:46:02 2009 +0200
Updated.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fdc5887541b...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 11:24:28 2009 +0200
Require Automake 1.11, enable lzma tar archives and silent rules.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0742e3828ce42...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jul 12 11:12:29 2009 +0200
Avoid dummy parameter in constructor for Threshold_Watcher::Initialize.
    Renamed `initialize' to `init' to avoid visual clash with `Initialize'.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5b0647b63bda...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 11:15:18 2009 +0200
Updated.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f36bad689490f...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jul 12 10:13:04 2009 +0200
Require Automake 1.11, enable lzma tar archives and silent rules.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fec820348a7e...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jul 12 09:18:13 2009 +0200
Added a first test for the deterministic timeout.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4cb9790c6f741...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jul 12 09:14:52 2009 +0200
Added Weightwatch_Traits class (from Abramo). Modified maybe_abandon().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78c8fb6cebda6...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jul 12 08:11:22 2009 +0200
Minor improvements: prefer direct header file inclusions to indirect ones.
    Avoid unnecessarily long lines.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=133d39ca584c6...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Sat Jul 11 20:12:09 2009 +0200
Converted Weightwatch in more generic Threshold_Watcher.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6fd8437f2e56f...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Sat Jul 11 18:25:10 2009 +0200
Fixed typo.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99d4c96253e1e...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Sat Jul 11 18:14:42 2009 +0200
Forgotten file.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8e99fc18a85d...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Sat Jul 11 18:13:39 2009 +0200
Weightwatch are now generic threshold watchdog.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2845d7717669...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Sat Jul 11 14:07:36 2009 +0200
Weightwatch are now independent from client code.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98c1aa19dbcd4...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Fri Jul 10 21:20:57 2009 +0200
Added Weightwatch.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9806b1f8969f8...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Jul 10 18:05:14 2009 +0200
Fixed a (potential) exception safety bug in class MIP_Problem.
    Added an helper class (implementing RAII technique) to safely relax a MIP
    problem into an LP problem and ensure that integer variables are restored
    even in the presence of exceptional execution paths.
    Improved interface (and a few comments) for private methods dealing with
    MIP optimization and satisfiability.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f2678a35a2e1...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Jun 19 14:56:26 2009 +0200
Space dimensions cannot change status: they are either vars or parameters.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7100d0307f867...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Jun 19 09:51:24 2009 +0200
The `gprolog' and `yap' packages are not available on the sparc64 and
    sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and
    `ppl-yap'.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecaf06e49be98...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Thu Jun 18 10:54:46 2009 +0200
Added proof of concept for Python interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d986d5bcaf0ac...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Fri Jun 19 12:54:28 2009 +0200
The `gprolog' and `yap' packages are not available on the sparc64 and
    sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and
    `ppl-yap'.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d8e88610e897...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Thu Jun 18 10:54:46 2009 +0200
Added proof of concept for Python interface.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4febc2ae85b50...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Sun Jun 14 22:58:15 2009 +0200
Added implementation of child accessors.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=235b8ee1963d6...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Sun Jun 14 22:57:25 2009 +0200
Fixed typo.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3b7ee7164ee4...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jun 14 22:14:36 2009 +0200
Added accessors of PIP_Solution_Node.  Other improvements.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b898fa650b74f...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jun 14 22:01:21 2009 +0200
Include "globals.defs.hh"
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b690470bc18cd...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jun 14 22:01:02 2009 +0200
Include "PIP_Tree.defs.hh".
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=272d5fda28d4d...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jun 14 21:57:44 2009 +0200
Added constructors and comments.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f11bf94c3f37...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jun 14 21:49:51 2009 +0200
Initial draft fo rinterface improved.
    Removed control parameters; removed UNBOUND status; renamed a few methods;
    let PIP_Tree be an alias for a pointer to a _const_ PIP_Tree_Node.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9871d90f5743...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jun 14 21:25:06 2009 +0200
More comments added.  Some fields renamed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=298c26af185d6...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jun 14 21:16:52 2009 +0200
Added comments and more infrastructure.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18458e693b803...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Sun Jun 14 20:26:12 2009 +0200
Added draft PIP_Tree implementation.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7f48834cdeee...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Sun Jun 14 19:08:18 2009 +0200
Got rid of objective function and optimization mode.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00cf12048387e...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Jun 14 17:55:09 2009 +0200
Blatantly ripped from MIP_Problem.*.hh.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bfb384588dbb...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Jun 13 08:50:03 2009 +0200
Using the bug tracking system is now the recommended way to report PPL issues.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=335d133acf5dc...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon May 25 17:38:54 2009 +0200
Typos fixed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed61e6fdbf3c3...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Jun 11 10:56:06 2009 +0200
Added explanation on the use of lcov to produce coverage information.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6eb78d62f2248...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Thu Jun 11 00:25:38 2009 +0200
Add -lgcov to extra_libraries when configuring with coverage enabled.
    Fixes a link bug when trying to compute coverage for the OCaml interface tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01628113e5409...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Wed Jun 10 11:40:06 2009 +0100
Avoid unused variable warning when assertions are not enabled.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ded610ca27bc...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Jun 2 11:05:25 2009 +0200
In the Java tests, be more systematic in the use of method free().
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81e8a397938b2...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue Jun 2 11:00:09 2009 +0200
Interface for Java class Linear_Expression_Times improved.
    The misleading methods left_hand_side() and right_hand_side() replaced by:
        public Coefficient coefficient();
    and
        public Linear_Expression linear_expression();
    returing the two object factors using clearer naming.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a810826f459b...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Wed May 20 13:16:36 2009 +0200
Test test02() overflows with 16 bit checked integers.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a2e47bc3c0bf...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Wed May 20 08:38:14 2009 +0100
Added a warning about non-integrality for wrap_assign().
Previous reverted commit which had the same message
    was wrongly done in the products branch.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7be6fde8d1aee...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed May 20 08:12:09 2009 +0200
Non-standard commas removed.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee3ef52f2db8f...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Tue May 19 13:44:06 2009 +0200
Corrected a typo in the known result of a wrap_assign test.
    (Please, double check that it was indeed a typo.)
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ef5a5122c7d9...
Merge: 0fa67508390338eaa04737e01a2b5b7aaef34237 f184d82d2e3105d671a089a1302ed6dff993a395
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Tue May 19 07:42:41 2009 +0100
Merge branch 'gridwraps'
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f184d82d2e310...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Tue May 19 07:40:39 2009 +0100
Where cost is negligible, enforce integrality.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fa6750839033...
Author: Abramo Bagnara abramo.bagnara@gmail.com
Date:   Mon May 18 18:25:19 2009 +0200
Fixed omitted renaming.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=947e19e6567f0...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon May 18 15:47:00 2009 +0200
The generated Java tests now exploit the Test_Executor class functionality.
    Added an helper function to set global success flag and report success or
    failure if in noisy mode.
    NOTE: we are still (just) checking for the well formedness of the object
    (using method OK()), rather than checking if the computed result is actually
    the same of th expected one. However, due to genericity, it is quite difficult
    to precisely state expectations in these tests.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2239f1dbbfa67...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Mon May 18 14:24:58 2009 +0100
When the congruences have inconsistent equalities, the box is set empty.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7fe4a03836b3...
Author: Patricia Hill p.m.hill@leeds.ac.uk
Date:   Mon May 18 14:21:42 2009 +0100
The refine_with_congrueces() detects inconsistent equalities.
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b6358d380c87...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon May 18 13:48:05 2009 +0200
Started adapting the Java tests to make better use of class Test_Executor.