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