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.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=badd595a0c22e... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 18 12:05:10 2009 +0100

Improved the methods refine_with_congruence[s]().

Congruences can now refine the box even when the congruence is not non-relational.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b827904975bbe... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 18 11:26:03 2009 +0100

Improved the relation_with(Congruence) implementation for the weakly relational domains.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8ea60a5e9537... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 18 11:18:40 2009 +0200

New tests for Polyhedron::wrap_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79c0986359562... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 18 10:22:09 2009 +0200

Known result for test03() corrected; test now marked to succeed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=656fbd60bb14e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 18 10:17:59 2009 +0200

First draft of Box::wrap_assign() is now operational. Added a few tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1c80c743c7c0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 18 10:13:53 2009 +0200

Fixed a bug in wrap_assign_col().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21df1e86b0b56... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 18 08:59:11 2009 +0200

Added a test showing a bug in wrap_assign when wrap_individually == false. Test is test20(), temporarily marked as an expected failure.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=beee742bea103... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 18 08:20:34 2009 +0200

8-bit coefficients are now enough for test07().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8bd2d5df01c5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 18 08:16:34 2009 +0200

Added declarations and stub implementations for drop_some_non_integer_points().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a29f32dbb8b1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun May 17 17:42:14 2009 +0200

Finished the documentation about the wrapping operator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4335c8f28a366... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun May 17 16:42:56 2009 +0200

Rounding direction is not relevant here.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a171dbe14eed... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun May 17 14:55:14 2009 +0200

Get rid of a comparison warning.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a30eaca4651ed... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun May 17 11:41:21 2009 +0200

Simplified code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3dd71f3d2a0c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun May 17 08:44:42 2009 +0200

Added more in the section about the wrapping operator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abda7dc37e19d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat May 16 22:25:18 2009 +0200

More work on the documentation of approximations for bounded integer arithmetic.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ead00b0ac972c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat May 16 21:08:08 2009 +0200

Bounded_Integer_Type_Signedness renamed Bounded_Integer_Type_Representation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64ad90df3806c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat May 16 14:11:38 2009 +0200

Comments improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f04ae2cea9403... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat May 16 12:05:35 2009 +0200

Started writing the section on approximating bounded arithmetic.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f28c8bf97087a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat May 16 12:04:14 2009 +0200

Further cleaning of relation_with(Congruence) implementations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f62a4633701ed... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat May 16 09:16:46 2009 +0200

Improved a few timeout and exception tests. Make sure an out_of_memory exception is thrown as expected even when a large amount of memory is available. Do not set timeouts out of catch constructs.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a169691f1a9d7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat May 16 08:57:00 2009 +0200

test19() must fail with 8-bit coefficients.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b6d78c1026ca... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sat May 16 08:25:03 2009 +0200

These tests fails with 16 bit coefficients.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6576478c6adb... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat May 16 06:54:56 2009 +0200

Item removed: no big deal.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fd53aaf53c5c... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 21:32:37 2009 +0200

The test fails also with 32 bit coefficients.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c9efaf9e303b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 15 21:08:49 2009 +0200

FIXME resolved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4496b18b54f3d... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 20:48:56 2009 +0200

The test fails also with 32 bit coefficients.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30f456f032cf5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 15 19:45:25 2009 +0200

Fixed the generic implementation of wrap_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4845f4d529daf... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 18:27:01 2009 +0200

A strict relation info is required here too.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab230a684a4d2... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 18:22:02 2009 +0200

A strict relation info is required here.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01d418b281367... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 16:51:14 2009 +0200

Fixed a typo.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1734ba44f5b53... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 16:23:19 2009 +0200

Added an assert(false) for unreachable code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbac03988bc9b... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 16:22:21 2009 +0200

Avoid two warnings.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ec4eb24ac151... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 16:15:47 2009 +0200

Renamed and commented ROUND_STRICT_RELATION. Added some use of it. Added some optimizations when ROUND_NOT_NEEDED is specified.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eca9369a82726... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri May 15 15:40:35 2009 +0200

Improved method Polyhedron::relation_with(const Congruence&) const. Avoided several temporary objects; added a FIXME asking for the rounding mode.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99eba6af02765... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 15 15:28:11 2009 +0200

Fixed the invocation of the generic implementation of wrap_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=baa08eff6430b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 15 15:12:50 2009 +0200

Check that all variables upon which `*pcs' depends are in `vars'. An assertion is violated otherwise.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db4eb892c0382... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri May 15 14:54:23 2009 +0200

Several improvements to Octagonal_Shape<T>::relation_with(const Congruence&). Alaso added a couple of FIXME regarding missing comments and rounding modes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72619d2aafd03... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri May 15 14:48:24 2009 +0200

Corrected typo in explanatory output.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1736b8c74e217... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri May 15 14:47:30 2009 +0200

Minor improvement.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3d07f461687f... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 14:50:43 2009 +0200

Fixed rounding.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf2bebf45a8c1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 15 14:30:05 2009 +0200

Changed the specification of wrap_assign(). If `*pcs' depends on variables not in `vars', the behavior is undefined. We perform only the quick test on space dimensions. In debugging mode we will check the condition thoroughly.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cfd68c04c051... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 12:43:48 2009 +0200

Simplified a rounded assignment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b4760ed21146... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 12:30:24 2009 +0200

Permits to low level code to take benefits from knowing that result will be exact.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68daf755d6f76... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 11:32:00 2009 +0200

Test fails with an overflow using 8 bit coefficients.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96e74efed2e28... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 10:28:35 2009 +0200

Enable DEBUG_ROUND_NOT_NEEDED when assertions are enabled.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c0a202b6d04b... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 10:29:49 2009 +0200

Two tests fail with an overflow using 8 bit coefficients.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d9773ebdcd98... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 10:09:52 2009 +0200

Improved comment for ROUND_NOT_NEEDED.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a28345ddb5a92... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 15 09:47:21 2009 +0200

Fixed DEBUG_ROUND_NOT_NEEDED.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6dcbc9846093... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri May 15 08:12:34 2009 +0200

Let the wrap_assign tests succeed until the specification is clarified.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=331d2714c64da... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri May 15 08:00:30 2009 +0200

Added a note about the use of `assign' helper functions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d286a5a4f475a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri May 15 07:46:59 2009 +0200

When wrapping no variable, do not ignore the optional constraint system.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fd333e0c585d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu May 14 23:35:26 2009 +0200

Added a few missing accessor methods to Java interface classes. Affected classes are Congruence, Generator and Grid_Generator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30dfe89368c39... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu May 14 22:04:30 2009 +0200

Fixed the bug witnessed by test15().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=972db0c00ebac... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu May 14 21:51:58 2009 +0200

Partially reverted changes 71e9992afa9bc049b93d0b29fd9dbe52ead850cf. The changes were not working on platforms where floating point rounding mode could not be set (e.g., ARM), even though rounding control is not actually needed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1eb58559607ca... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu May 14 21:53:56 2009 +0200

Temporarily marked test15() and test16() as expected to fail.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa6ebeae31b46... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu May 14 21:53:39 2009 +0200

Last commit partly undone.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74ade8b7dbf15... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu May 14 21:05:22 2009 +0200

Adapted generic implementation of wrap_assign to model the rational case. Also added a couple of tests showing problems in the current implementation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1db2683636da9... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu May 14 15:46:36 2009 +0200

Use PPL_DIRTY_TEMP for temporary objects. Also corrected a type causing an assertion failure.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92cfd0aae5bc4... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu May 14 16:03:56 2009 +0200

Added missing clear.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09bd1e66fee53... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu May 14 15:33:30 2009 +0200

Fixed typo.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f20b6e3172fb... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu May 14 15:10:08 2009 +0200

Some progress on Box::wrap_assign(). Corrected a couple of typos in Interval::wrap_assign(). Silenced an annoying GCC warning.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b64080a7407e0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu May 14 12:43:47 2009 +0200

Commits improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f7260b5f0926... Merge: c606710cfe67adb748857cfb840d20a2feb3a3b8 6c8a266be0f01266599542b7cdc3d3c2a47e62d2 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu May 14 12:36:18 2009 +0200

Merge branch 'bounded_arithmetic'

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c606710cfe67a... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed May 13 21:43:11 2009 +0100

Removed repeated specification of operators in the grids section.

Ensure cross-references to these sections now refer to the equivalent sections for polyhedra.

Fixed a typo in src/Determinate.defs.hh that caused a warning when compiling the documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8cbb00f29ac4... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed May 13 09:21:47 2009 +0100

Fixed a bug in wrap_assign() for grids.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c95ec7331cb7a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 13 07:02:44 2009 +0200

AC_CHECK_GMP fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29859522caa56... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 12 21:55:22 2009 +0200

Added a commit to consider should we release PPL 0.10.3.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c8a74aea14bc... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 12 21:50:25 2009 +0200

New configuration option `--with-gmp-build=DIR'. This allows to use a non-installed build of GMP in DIR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b365a8a6b1db... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue May 12 20:42:40 2009 +0200

Known result adapted to increased Box constructor precision.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6d0f50e9c814... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue May 12 20:10:29 2009 +0200

Another TODO item dealt with. Adapted another few known results according to increased precision.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=093849653148f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 12 19:09:00 2009 +0200

Added a section on commits to consider should we release PPL 0.10.3.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57b7091bc8502... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue May 12 18:58:02 2009 +0200

Method Box::refine_with is now based on (single step) constraint propagation. Method Box::propagate_constraints now also take as input a parameter for specifying the maximum number of iterations (default value 0). The constructor of a Box from a Polyhedron in polynomial time sets this parameter to a constant. The known result of several tests adapted to match the increased precision.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf625371f4d8b... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 12 17:19:02 2009 +0100

Improved documentation and small efficiency improvement to the code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b94dc7951129d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 12 18:04:44 2009 +0200

We cannot test the Java interface unless ENABLE_SHARED.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c39276dbadd94... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 12 16:51:46 2009 +0100

Another efficiency improvement to wrap_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb54ad2e7508d... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 12 16:42:06 2009 +0100

Some efficiency improvements. Comments improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3460918400e0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 12 15:49:10 2009 +0200

Updated from Gnulib.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4615f0d711d16... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 12 14:19:04 2009 +0100

Simplification and improvement of code for wrap_assign().

The bounds_no_check() and frequency_no_check() assume the generators are minimized and the grid is not empty.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=236efc9ce1d06... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue May 12 08:37:29 2009 +0100

Several improvements for the wrap_assign() operator for grids.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3d6b3d44df42... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 11 21:32:32 2009 +0100

Improved code for wrap_assign() for grids for constant values.

If the value for a variable is already constant, and the constant is outside the range for the bounded integr type, then the outcome depends on the kind of overflow: - if `impossible', then the grid is set empty; - if `undefined', then the variable is set to take any integral value; - if `wraps', then the value is wrapped by the wrap_frequency to a value in the range for the bounded integer type.

Comments improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42110bebc56a8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 19:06:17 2009 +0200

Another item dealt with.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=862f856db64bb... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 18:56:11 2009 +0200

Parameter irrational_precision made available in all language interfaces.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3fe5242d062a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 18:53:23 2009 +0200

Renamed rational_sqrt_precision_parameter to irrational_precision.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca6ac08359877... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 11 14:24:18 2009 +0100

Several tests are expected to fail for checked-in8.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e772ae5ffad4... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 13:51:59 2009 +0200

Do not test for result dependent on floating point steepest edge heuristics.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbd07c16deb6f... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 13:49:40 2009 +0200

Avoid unnecessary unbounded precision value in floating point steepest edge.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a36b05302ae48... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 11 11:56:02 2009 +0100

Added a _draft_ description of the wrap operator for grids.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71e9992afa9bc... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon May 11 12:30:58 2009 +0200

Got rid of a TODO item. Also avoid an annoying warning about an uninitialized variable.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e524876115832... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 11 08:34:11 2009 +0100

Redid the intended changes for the last commit for wrap_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bea722b32872... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon May 11 07:34:50 2009 +0100

Improved wrap_assign() for grids.

Added private methods bounds_no_check() and frequency_no_check().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd05d651cc393... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat May 9 09:44:34 2009 +0200

Use the appropriate throw_dimension_incompatible() method in wrap_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddecda47e763c... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu May 7 17:55:07 2009 +0100

Added draft implementation for wrap_assign() for the grid domain.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14da854b5b2b1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue May 5 23:36:20 2009 +0200

Added basic timeout support to the Java library interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9381e735bd885... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed May 6 19:54:16 2009 +0200

Fixed result check for ThrowNew.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41aeb3ccffeba... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 6 16:06:29 2009 +0200

test03() fails also with 16-bit coefficients when assertions are enabled.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02f325cfd0097... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 5 20:59:10 2009 +0200

test07() only fails if assertions are enabled.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb174e19d377d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 5 19:50:08 2009 +0200

Spurious parentheses removed.