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