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.