[PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Mon Feb 15 11:34:40 CET 2010
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72133da8d4d41e7f90907f5ffee5ba65e716e193
Merge: 849386529a16621be3da132e3da44f8b56fb6d92 05cdf3ade39391ba25dc992cabe93a7758e23dac
Author: Roberto Bagnara <bagnara at 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=05cdf3ade39391ba25dc992cabe93a7758e23dac
Author: Enea Zaffanella <zaffanella at 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=849386529a16621be3da132e3da44f8b56fb6d92
Author: Enea Zaffanella <zaffanella at 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=49d77d21e8dcc4d247a7ba4c257ac0dc88e69414
Author: Enea Zaffanella <zaffanella at 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=9a962273cf06b0b16d7feb998f7687cd4deb5f2e
Author: Enea Zaffanella <zaffanella at 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=847a8a5f360d997af43c423a25e091ab747719fe
Author: Enea Zaffanella <zaffanella at 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=543d508d1069e2c910427abb8563c739c83adaf1
Author: Enea Zaffanella <zaffanella at 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=51e0707e9e734ceb72382bf004e69a1076ec46c2
Author: Enea Zaffanella <zaffanella at 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=be3472f9d7b15cb7b31834a6f4e23a6fdd8bcf68
Author: Enea Zaffanella <zaffanella at 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=8b91cc59d73c37b101cd4a24e7a4c983667ae0d7
Author: Enea Zaffanella <zaffanella at 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=2cf07608658891e0916de858fc519a082fed02c3
Author: Enea Zaffanella <zaffanella at 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=d7ab70ac7775d4c05233236d54e3387d6286d6bf
Author: Enea Zaffanella <zaffanella at 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=ecd41d0c27ce3afc1312114df44c33d0038f81e3
Author: Enea Zaffanella <zaffanella at 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=8fe9538a0dade2eed5ef50bab52f76339f9476b0
Author: Enea Zaffanella <zaffanella at 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=42bacf1180afc8db1d8a8bbf3eaf3353a67582c3
Author: Enea Zaffanella <zaffanella at 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=bcc9213813f993d30aae61cd74347c1ca3fd4efb
Author: Enea Zaffanella <zaffanella at 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=2649737035a99c2ebee2e55411f9a4a27eb936fd
Author: Enea Zaffanella <zaffanella at 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=c08098c36aa410996a0c0ed080669a81e40d095e
Author: Enea Zaffanella <zaffanella at 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=ff7e8d5afd59c8440045725bff0cac5e7644ab9c
Author: Enea Zaffanella <zaffanella at 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=052ec67e0d7c5c093b3cd7bf10d2654db46ad834
Author: Enea Zaffanella <zaffanella at 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=a7326ef65ce9c3e929fa2ba9a22bdbb5014c1182
Author: Enea Zaffanella <zaffanella at 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=476f754b5c37d2245316d6acfe3b09af3c5b8a32
Author: Enea Zaffanella <zaffanella at 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=85c05c902ae1f0e620be68f1b2bbae1bf072aaaa
Author: Enea Zaffanella <zaffanella at 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=2e6d5a18fb1e1bc5b702e8a3f59d291b9cc9a69b
Author: Enea Zaffanella <zaffanella at 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=c1f10d956a03ff30b0c5ba08e199c9b238155344
Author: Enea Zaffanella <zaffanella at 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=a30d0933cfa193dfb981bf714dc0442c85dd5175
Author: Enea Zaffanella <zaffanella at 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=353f9b79d1079e7485f904d5ddacbdafc5195a10
Author: Enea Zaffanella <zaffanella at 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=af2068fb4971617c277cc0da51ee2590b6b894b2
Author: Enea Zaffanella <zaffanella at 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=b4fe5c5c5a5b0f79809a956b1b739a9b5ce14540
Author: Enea Zaffanella <zaffanella at 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=6864f73b1fba0f6029af61fd5fce662f661d2f31
Author: Enea Zaffanella <zaffanella at 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=cd6b0004b5f79b0eeba6f21f58f5158cbbaab6b8
Author: Enea Zaffanella <zaffanella at 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=e10ef6e9a1b924ff1cd14372198a69a1ddc84abf
Author: Enea Zaffanella <zaffanella at 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=07cdb790656ae87064b7633b0f9b3bdd3e85b446
Author: Enea Zaffanella <zaffanella at 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=b728ad412284bf04adf16ae4dba749b4f0627651
Author: Enea Zaffanella <zaffanella at 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=d11a14fc05769502dcb4332b2d2336681e57f229
Author: Enea Zaffanella <zaffanella at 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=4f580901c8904cb1c941af424c00e968202101e7
Author: Enea Zaffanella <zaffanella at 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=4f1e1304cef927df5823cfc34fe852d57749401a
Author: Enea Zaffanella <zaffanella at 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=36de950771ebd8d77798aafff299403890a547c6
Author: Enea Zaffanella <zaffanella at 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=299dafac1f95cef1e2c6901dbbe125ec2d9a10b0
Author: Enea Zaffanella <zaffanella at 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=3f15af9db40f7ca5148960bd4d572d46c7f2830a
Author: Enea Zaffanella <zaffanella at 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=a7f6b5d260af5b40b81bb75e0575d47f1d06b53e
Author: François Galea <francois.galea at 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=91de7841156c141b9c0935e673b6c29fbb3e7859
Author: François Galea <francois.galea at 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=6b04bd57800555128f61996f44fec9b9257dee04
Author: Roberto Bagnara <bagnara at 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=df9e55f182cd68b1c64a725b0c2eb361bd83ae61
Author: Roberto Bagnara <bagnara at 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=582ab4eaecea30f066a28edfe31b85b9f39d310e
Merge: 07245b3ac3485ebcd4acdf1d00585988e58c60ad 9c19bc2b318a35016e0189f9552c98910be37f53
Author: Roberto Bagnara <bagnara at 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=9c19bc2b318a35016e0189f9552c98910be37f53
Author: Roberto Bagnara <bagnara at 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=07245b3ac3485ebcd4acdf1d00585988e58c60ad
Merge: 2434409ba4ea91334a47ebb49cb8afca1dfa6a77 56ee86b9ccf001c8dc2ab1558332e9691b2eff3f
Author: Roberto Bagnara <bagnara at 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=56ee86b9ccf001c8dc2ab1558332e9691b2eff3f
Author: Roberto Bagnara <bagnara at 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=447775d2f2aab7c3203bd356ffb6c1420944ad8d
Author: Roberto Bagnara <bagnara at 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=97ce932e012943328164d387cfe9a8d2196ca171
Author: Roberto Bagnara <bagnara at 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=2434409ba4ea91334a47ebb49cb8afca1dfa6a77
Author: François Galea <francois.galea at 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=e3db97de0e9371b4107ed479cd65cfa129ae5dc4
Author: François Galea <francois.galea at 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=37b1e615b392957dbf9a03cdfa0afc24afca7368
Author: François Galea <francois.galea at 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=9a6c37ff29503be50cb40043674515b2796c6dd1
Author: François Galea <francois.galea at 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=1f02dadae258476055124f88962e11e3daddd8b8
Author: François Galea <francois.galea at 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=9cea0f3363061e33072a9eb93be55666c13adfe0
Author: Enea Zaffanella <zaffanella at 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=a1a748c8dade8750af2f4ad6b3c4660fd5a9ea97
Author: Roberto Bagnara <bagnara at 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=05bcc560695c33666c94b8c7999309ffb8aee69d
Merge: 2e58e4cde2d03f7e4a696291d0de764929a86652 4d6c6db0470eb60cecbbed0a43a2b08d8539e95f
Author: Roberto Bagnara <bagnara at 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=2e58e4cde2d03f7e4a696291d0de764929a86652
Author: Roberto Bagnara <bagnara at 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=149a08281d49da91c586c310266b780c37c0ccaf
Merge: 8c57cea34a350ab5fd9d1c66d09f98782b3b8af8 488f55fbe874c4f3a85c0c0db8c59f7e83d615e0
Author: Roberto Bagnara <bagnara at 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=8c57cea34a350ab5fd9d1c66d09f98782b3b8af8
Merge: 4394384f20722ac901f4b934780238580eae1767 99a040ae53ddf2e369340274eb34d5211b1c642a
Author: Roberto Bagnara <bagnara at 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=4394384f20722ac901f4b934780238580eae1767
Author: François Galea <francois.galea at 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=031a0a56e158d2bf0c8f96d8f55d90b56c265776
Author: François Galea <francois.galea at 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=f9022a7ee764af85090f790bb738641c58dc9249
Author: François Galea <francois.galea at 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=3e53583567375b62f1496c262334691f51a716df
Author: François Galea <francois.galea at 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=05f65d328f6e2e1a0b9819f84fbe966e4a516002
Author: Enea Zaffanella <zaffanella at 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=f83627a474666b6f7d31b4d54095b63c69e22862
Author: Enea Zaffanella <zaffanella at 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=3bb1ea9da4415fee8b48c9fa32f7883777403a66
Author: Enea Zaffanella <zaffanella at 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=b831631899ddb867d22ec073d93dabaefe3cb487
Author: François Galea <francois.galea at 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=f98b51bb576fdbc0ecf94028f124914bf27454f2
Author: François Galea <francois.galea at 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=f6a5acdea679083a9f87c59da603c28cd4c13db4
Author: François Galea <francois.galea at 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=9086d965ff482af7c4abc904fbf306fee5524986
Author: François Galea <francois.galea at 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=3c903922ece89f223620dd56311d4ef7ea1882a2
Author: François Galea <francois.galea at 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=2709f6de0c8835f0745133f97d705647b67b2c95
Author: François Galea <francois.galea at 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=e46ac63881ab9d0da94232bda7ef8c358e921c19
Author: Enea Zaffanella <zaffanella at 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=9cc933834e49973804e0865ff034f5663b5c2648
Author: Enea Zaffanella <zaffanella at 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=06c6a3408fb5967bb29230306b4f71f02120dbd0
Author: Enea Zaffanella <zaffanella at 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=51bc21cdc8ce64f90f55b3b3ec623fbf21cbd6ed
Author: Enea Zaffanella <zaffanella at 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=cfbfb20b161ed7aecb6a500a4d34b73b0660e513
Author: Enea Zaffanella <zaffanella at 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=75564de32ad9f7f70ec2ad75c60d1e7f5ae631ae
Author: Enea Zaffanella <zaffanella at 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=108c6bf1ccdb5394788f6ad43f272f1a393f2b82
Author: Enea Zaffanella <zaffanella at 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=07821ad5d5aded366e0f556b332dbd93ec4bef7d
Author: Enea Zaffanella <zaffanella at 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=e1518687e622e9b3317d33fca4e7f1c6371b19b0
Author: Enea Zaffanella <zaffanella at 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=b92ce985bab65b699479f1a1cde20ee43fdd08ed
Author: Enea Zaffanella <zaffanella at 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=8fcb1702a990a056b5ae539d6a47260dd00ff08c
Author: François Galea <francois.galea at 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=b326ccf6d4297944eb51347295a37d492534400e
Author: François Galea <francois.galea at 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=548215a3de60a7e5d74a4826a687d08be38e9719
Author: François Galea <francois.galea at 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=8cba1ff2af0392b8f741c2a6dd4da99edcd56978
Author: François Galea <francois.galea at 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=249afaa3a7bf3dcb85f97b7e2850241b87c2e20c
Author: François Galea <francois.galea at 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=defe2c4b315e272850825b3f27cff90b0726eaae
Author: François Galea <francois.galea at 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=ccb5b869e390483852f0b2a40b4f42cae7d61e22
Author: François Galea <francois.galea at 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=ff541fbbe9959d97ca2d25f0127ed02a561fd381
Author: François Galea <francois.galea at 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=407ea63b7d301cad08af571b493ccde596414a86
Author: François Galea <francois.galea at 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=5968086496c32916aeaafe8faadb471be547e2ec
Author: François Galea <francois.galea at 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=166aa73867fc30ec4dac5876ca0775f726d27c00
Author: François Galea <francois.galea at 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=1feefaab34eb0c23699771197564175a7dc8e575
Author: François Galea <francois.galea at 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=6af59504f0e2dd58a505323dbf5435cbce0c21f1
Author: François Galea <francois.galea at 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=129b74f12cf5069f0f24ed3d48ae26e13f2474c9
Author: François Galea <francois.galea at 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=60731ffcf53aac457ffefb82f312ee503d69f766
Author: François Galea <francois.galea at 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=3a6efe8316708d58e15c9912ce65ef84df005601
Author: François Galea <francois.galea at 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=d105f5ecbaaf8cbc75676e74c0adab53a377e114
Author: François Galea <francois.galea at 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=da5f1817645d61f8b0f89d474d4006f8d244e1c2
Author: François Galea <francois.galea at 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=b102f42050ad134d111fdaf9e92127e2a91ff927
Author: François Galea <francois.galea at 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=09665b7e6410de11d9cebb7fbd93bd1c9f527223
Author: François Galea <francois.galea at 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=0bc03d5786735188f81bd47ef078fa0bbedd44a3
Author: François Galea <francois.galea at 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=a2812b97dfea19043e0efe733684688e0f4efd61
Author: François Galea <francois.galea at 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=43721277fe737cf7f18c821f86cb04b41aeefd12
Author: François Galea <francois.galea at 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=3c4cfb2bdf11e8a0c2064b5e4c71513d65625b62
Author: François Galea <francois.galea at 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=f09897ddab17ad111ac6a79d4334cee8256f73fa
Author: François Galea <francois.galea at 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=75201b577f6d81692fe9de909a5b055a126299c6
Author: François Galea <francois.galea at 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=22429a8c2b62bd1cba1fcd42a4f8acd045853fcf
Author: François Galea <francois.galea at 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=75d549f15888d736c5bb55175868ee3c26a0201b
Author: François Galea <francois.galea at 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=68759e0051c133df56cf1b82d26f4237901e4882
Author: François Galea <francois.galea at 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=3f77646bf501d2e066016df5ff982347bacb3854
Author: François Galea <francois.galea at 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=0ae52bb8264345fb17c77b0266182266575cc47c
Author: François Galea <francois.galea at 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=43b0216a8baa81e2f119ead4d6a5e8ec15b43650
Author: François Galea <francois.galea at 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=f29d86a0be7201e6e9381e7ae72b0cf8daea53f8
Author: François Galea <francois.galea at 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=da9e3b638d7543342ba2d8c31e19ab2d892d87cd
Author: Roberto Bagnara <bagnara at 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=73a0148ba9c9d0a46e0fa56f120287bda92b989c
Author: François Galea <francois.galea at 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=250a996c0147a7d30475c068a8a8c7aeeb3b17e2
Author: Enea Zaffanella <zaffanella at 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=bcd32b2e03105829d1bd8aa035c45bb5e9883cb8
Author: Enea Zaffanella <zaffanella at 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=65ebba9954ea5539339c264d4a20493002d31607
Author: Patricia Hill <p.m.hill at 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=0848cf9eb545480aefc689b7fd951b65ace7cf63
Author: François Galea <francois.galea at 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=4c95e73449a6e069596deac0a5780cd6d0e4cb23
Author: François Galea <francois.galea at 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=3abd93298e88587401f5394bac6d39628e291bd7
Author: Roberto Bagnara <bagnara at 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=4e5c81beb8e9e05d2dac40a9fe05c90f756b524c
Author: Roberto Bagnara <bagnara at 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=068eaef2c633461d481e2b5593d02f4b1591c3d7
Author: Roberto Bagnara <bagnara at 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=7771850394ed5b1289f08c9cef5b1a872e7f7e6e
Author: Roberto Bagnara <bagnara at 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=b96565a81906e2b6d4e57613cdd0ed32ff4b715e
Author: François Galea <francois.galea at 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=7c4cc0826009158541d76a0c9bc95df1ef693141
Author: François Galea <francois.galea at 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=9d6df94a8a65aa86474a9e2f26322e3954c36e7d
Author: François Galea <francois.galea at 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=9f62791f13a0de4decf334ca5b3d604207bac6f7
Author: François Galea <francois.galea at 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=5050775875b58d48e5a74f172767149a81068b8a
Author: François Galea <francois.galea at 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=27de41218171b82dbbb767ccb88f37bf4c202064
Author: François Galea <francois.galea at 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=5d5b77d7bd5b2faa5f6966fb43172bbcbac80cba
Author: François Galea <francois.galea at 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=b748415bdb69719db9fc2ed07cc253d5c71759f9
Author: François Galea <francois.galea at 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=65b630d43bcbe16e2fb0bbde64a73f9c29b781d6
Author: François Galea <francois.galea at 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=cd38635a96c022e5705aa7fdcbef65c7dc5e8295
Author: François Galea <francois.galea at 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=051c82f85918f442a031213156a288628c2be2c0
Author: François Galea <francois.galea at 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=8e8d79ad7cef965e68277a902d51a9dcfe8b7d8a
Author: François Galea <francois.galea at 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=386c5e6645338fbfb50271b82e9c6f621ec27280
Author: François Galea <francois.galea at 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=ea3ca40fe59ee37cebe9da2996d46e048447d858
Author: Enea Zaffanella <zaffanella at 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=4002ecca8f7a3b0400289e1998f3bb3b068a2c9a
Author: Patricia Hill <p.m.hill at 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=2e43b1a4200b1ac07f6ab0f58c5b04edb4782b2f
Author: Patricia Hill <p.m.hill at 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=9a9a350ade225d3d28b848da2caa4ccb63a8e0d0
Author: François Galea <francois.galea at 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=0d54e9631e1c6359d641e05bc7589f140ddf7962
Author: Patricia Hill <p.m.hill at 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=50e259b4f41c623bdc490f3f2c2616b9c45eece2
Author: Patricia Hill <p.m.hill at 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=a4c21dff11473d99be2152f65e1d09a7a0319527
Author: François Galea <francois.galea at 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=3aedf16a94add5e6e493936b77aa6bee869074d5
Author: François Galea <francois.galea at 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=d5889e252f39916812471f4bf2da15d624accf00
Author: Enea Zaffanella <zaffanella at 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=bea0281e38c5ddbe7ffc5cdc3cf4d0bddb2f2e60
Author: Patricia Hill <p.m.hill at 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=c7d8d6dde6e8a291348bb25ae07cacbb4eaa1926
Author: François Galea <francois.galea at 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=2e838be1d03b2a2d0a83adf9d66d8674bb3fd511
Author: Patricia Hill <p.m.hill at 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=5108da19b0b8c478b34865ee5f38b65c71a82874
Author: François Galea <francois.galea at 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=7a7f65b71230e9531e74414e3fbc6f57b775b2cd
Author: Patricia Hill <p.m.hill at 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=abd54a672679643b404fd3019528e2d9382d6873
Author: François Galea <francois.galea at 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=0f6fb91d81ebec0f5ed260643bb9c8821f80b341
Author: François Galea <francois.galea at 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=fe3d8d0b4d10bc3239e3d3967d151650162ce101
Author: Patricia Hill <p.m.hill at 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=1e726a3af13dae234f3dcffd9a046635dec1b7ee
Author: Patricia Hill <p.m.hill at 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=57c81a9ac76f4ec249259a5216f24bc3529bfc30
Author: Patricia Hill <p.m.hill at 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=518bf5b2eb2c508f19b6b2a7ab78ba085afe05b9
Author: Patricia Hill <p.m.hill at 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=99f2fbb392153b9ca8bd25b15e57a33211a25bc1
Author: François Galea <francois.galea at 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=e0451215bb4b46c08a054a803850e841753722e3
Author: François Galea <francois.galea at 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=d876143defdad8b67abd6996277958241d6c9974
Author: François Galea <francois.galea at 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=c38128604c574a12117776bfd5473d8aede752b3
Author: François Galea <francois.galea at 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=620039bd51f0e178511b097b5bfacfe4c49f903b
Author: François Galea <francois.galea at 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=0d0b02fa391aeeaac40981792d56abe9e563cef2
Author: François Galea <francois.galea at 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=90400149d3e368041a6b6bd2e01e1455e0d0c4a8
Author: François Galea <francois.galea at 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=11dea7cc6e76b78d9276da8fbb3045f1d2c06378
Author: François Galea <francois.galea at 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=74cf01fdacb0218ad144420a370c875b4d3f2f6d
Author: François Galea <francois.galea at 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=039d147fe8112c460b66c6fb8b5e76109909ecf0
Author: François Galea <francois.galea at 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=150b3c6db234103b9a0ad8ea24357eb8ec5fb9e1
Author: François Galea <francois.galea at 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=4cd20a07c080b717e54ea5dd371bcbc144cdf5af
Author: François Galea <francois.galea at 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=233be8bdca82973ae4f3ac475c9f672b861c7540
Author: François Galea <francois.galea at 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=842215c913d84316b2a73e0a50dd3312c2a04536
Author: François Galea <francois.galea at 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=c32a7f8c1c5374b16a0d78934259f1b665fb6525
Author: François Galea <francois.galea at 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=ef984d10243cdc093e42441e4049540b096e8f2f
Merge: 8ca4f6890910a146f573d7a45d135aa6a07b6ece 513d2127e55faa6f5e7d29938b7315203a712df2
Author: Roberto Bagnara <bagnara at 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=8ca4f6890910a146f573d7a45d135aa6a07b6ece
Author: Roberto Bagnara <bagnara at 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=218d5ae8dfc21595dabfb8a0b7841b70a9a618fd
Author: Roberto Bagnara <bagnara at 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=8d8dbbaf6e3c2d03ce17d4a247008cd0ef427176
Author: Roberto Bagnara <bagnara at 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=a18c563be178e4e00a32720c6e2ce236a3cf7a81
Author: François Galea <francois.galea at 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=44241590e1fdc021d9d28236dfda1a97b20a6668
Author: François Galea <francois.galea at 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=4eb68b6e2a67c8e0ae368cfa66b3cb8c567b4a94
Author: François Galea <francois.galea at 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=8663b34c028288e99f503e354eff5ccb88e9e707
Author: François Galea <francois.galea at 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=25bfa050fc1d099961022e665157af966c40069f
Author: François Galea <francois.galea at 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=5561eee98184efc4cd7be287411c9b00616b1c11
Author: François Galea <francois.galea at 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=a6ea14f4ac3f3c9d64b4f0d3db728cec03ff7c9c
Author: François Galea <francois.galea at 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=b5208ce53cc4f481386629a7373a7024263946be
Author: François Galea <francois.galea at 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=1271e1583604aec39697a3998ad8de90b3df5bf5
Author: Francois GALEA <fgalea at 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=80b7e08459297f6dc193ad8988e49baa21e27df4
Author: François Galea <francois.galea at 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=ec92733bc0d255c59bb78d80c813ea2fc32704c7
Author: François Galea <francois.galea at 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=1024999dddcc6d7646b0f7bf26f0255652babad4
Author: François Galea <francois.galea at 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=5927b13d1aae63bca73f31b377ee437b28ce8618
Author: François Galea <francois.galea at 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=64bd2613cda2788010f510107f7ba3fa24ad40ce
Author: François Galea <francois.galea at 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=c93acf108e683d72dc4aef9f6e93d7d7b29b206a
Author: François Galea <francois.galea at 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=b8e1cbd1782c3fa553331b6199668f4bb26581b1
Author: François Galea <francois.galea at 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=41ead44c160d6d940db2844baae95db469a68beb
Author: François Galea <francois.galea at 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=e8b3c7c191b3abc667676f0dc00fcf15af5b9bb5
Author: François Galea <francois.galea at 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=92c85879ea35c25a53e3dae171d34a8ac1ad4b14
Author: François Galea <francois.galea at 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=0c02e3b5a945d83ad4760bb4e014614442769464
Author: François Galea <francois.galea at 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=400f860377c15c874ef1625070c2a23c8ec061e2
Author: François Galea <francois.galea at 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=9ce39ca898aa35e1639b768a5d7c92e987a9d3d2
Author: François Galea <francois.galea at 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=33905b7bf1a3383376e5186937f7505308a5c2c9
Author: François Galea <francois.galea at 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=4f1061d0e0fb1e9f5f8f49d7ad47b7cad681fdee
Author: Enea Zaffanella <zaffanella at 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=2747f04f7bcc20e051df967fc6d35f91b7f22605
Author: Enea Zaffanella <zaffanella at 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=aa7e6d41189ddb3217c285569c828c418a725657
Author: Enea Zaffanella <zaffanella at 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=f6b3b1cf93a95d152d50a2fce5a3211cc8fa891f
Author: François Galea <francois.galea at 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=2219c62d25286754de2df17ef5efc2cbd83c3085
Author: François Galea <francois.galea at 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=a50f74f87f9702381d9af3a40dbe8941090a6489
Author: François Galea <francois.galea at 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=bc85f3ea87bfbafa73d4dee424b33086c7e76ca6
Author: François Galea <francois.galea at 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=544e8ba18471243e740b81f9e4d4f05b839788eb
Author: François Galea <francois.galea at 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=8abcfae5a3f83a37b57a6fb676df3fcf87f1f680
Author: Enea Zaffanella <zaffanella at 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=322a2b9a124af9e1e82f87054de70ce300336c15
Author: Enea Zaffanella <zaffanella at 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=2690fc065429c1855d3188958dd843aef6a13875
Author: François Galea <francois.galea at 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=00627ff6a98497a9f01972edcfeefe04c58114fc
Author: François Galea <francois.galea at 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=dc2606ea40c56bdb1572d51ac9d753d99c5854b3
Author: Roberto Bagnara <bagnara at 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=68aad9bf5bd2c263a3a5ee871eaf6a391be7a10b
Author: Enea Zaffanella <zaffanella at 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=56c76f2f522079257e30d4738ed32ee2b7b43287
Author: Enea Zaffanella <zaffanella at 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=22718e3dda0d714a43a79c8f5b2b4b99510da5bf
Author: Enea Zaffanella <zaffanella at 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=d542fbbddbc2a46bf8d9856dd65d2a890d8d204e
Author: François Galea <francois.galea at 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=362c6c0bcf47be85d7b4c9848738be5f84b17c93
Author: Roberto Bagnara <bagnara at 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=71c24b0bbde920b8c459a8a5f333841d35ff36ce
Merge: 1f2678a35a2e13b22456a380a9e0b974939232a9 6a96e861272517118cfef7806f7b696dccd4d7e6
Author: Roberto Bagnara <bagnara at 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=1f2678a35a2e13b22456a380a9e0b974939232a9
Author: Enea Zaffanella <zaffanella at 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=7100d0307f8672c7eb27aedd0a9f2a07c6eb297a
Author: Roberto Bagnara <bagnara at 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=ecaf06e49be98a0cb52058c67c8b81741c481269
Author: Abramo Bagnara <abramo.bagnara at 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=4febc2ae85b507ee1bbe4ceb295352d44c39158f
Author: Abramo Bagnara <abramo.bagnara at 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=235b8ee1963d6a1e82e38d84aa867d600cb0ae66
Author: Abramo Bagnara <abramo.bagnara at 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=d3b7ee7164ee429f922621643c7fea9409d0e18a
Author: Roberto Bagnara <bagnara at 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=b898fa650b74f2bafcca8a7ae98906ef5e6e1332
Author: Roberto Bagnara <bagnara at 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=b690470bc18cd1a98dbea3e51ba0dbee25e805b8
Author: Roberto Bagnara <bagnara at 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=272d5fda28d4d7c665eaba0ec36ba9871878f91f
Author: Roberto Bagnara <bagnara at 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=1f11bf94c3f37bade4e5294d18f83ce56ee8a0b4
Author: Enea Zaffanella <zaffanella at 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=d9871d90f57430a5a934d3aeba752513755aa9a1
Author: Roberto Bagnara <bagnara at 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=298c26af185d60c224e6feed493863aeadd10eca
Author: Roberto Bagnara <bagnara at 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=18458e693b80381ff7e09654424c32694b40c557
Author: Abramo Bagnara <abramo.bagnara at 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=e7f48834cdeee4a3d74060431e7d003d6bf51c60
Author: Enea Zaffanella <zaffanella at 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=00cf12048387ebae0390ccc9c0da48f3b7e607f6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Jun 14 17:55:09 2009 +0200
Blatantly ripped from MIP_Problem.*.hh.
More information about the PPL-devel
mailing list