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=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=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=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=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=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=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=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=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=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.