URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bf7d3f2d9eda... Merge: ecec8a84028b623f777cd1a424e4a82bdbc8b7dd b06285533ca60251c4132d1c388c64bdcbea62aa Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Wed May 15 21:44:45 2013 +0200
Merge branch 'master' into polyops
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b06285533ca60... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Wed May 15 21:42:21 2013 +0200
Switch to the new GLPK API routines. Old API routines where completely removed in GLPK 4.49.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b86ec7da4ab6... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Wed May 15 20:49:09 2013 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8162935006ec8... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Wed May 15 20:48:47 2013 +0200
Converted to free MPS format.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46edbeca89067... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sat May 11 17:55:04 2013 +0200
Apparently, some versions of Doxygen require this line. (Thanks to Matthias Klose.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90e0684a9671a... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Apr 21 12:13:39 2013 +0200
Trailing white space removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c7a1d8b8f5bf... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Thu Apr 4 15:10:57 2013 +0200
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6bb7f2f4bbb6... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Thu Apr 4 15:07:33 2013 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b66224fd33735... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Thu Apr 4 15:06:39 2013 +0200
Fixed capitalization.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fd4b05e30baa... Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Thu Apr 4 12:22:48 2013 +0200
Added a testcase showing an issue in method MIP_Problem::OK(). The method checks for too strong (i.e., invlaid) invariants in the case of a MIP_Problem subject to space dimnesion additions. Modified method OK() to check those invariants on the "internal" space dimension, rather the external one. While at it, modified private method MIP_Problem::process_pending_constraints() to avoid returning a bool value (which is never checked).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eaac930eb9a08... Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Sun Mar 3 16:03:15 2013 +0100
Fixed constructor from a different partially reduced product element.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87f09547a5922... Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Sun Mar 3 15:43:46 2013 +0100
Fix indentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=464f7b65bde51... Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Sun Mar 3 15:42:56 2013 +0100
Activate a couple of tests that were ignored.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad11ba0a2159d... Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Wed Feb 27 15:28:02 2013 +0100
Complete application of systematic file header renaming.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3822e9ecd0783... Author: Abramo Bagnara abramo.bagnara@bugseng.com Date: Wed Jan 30 09:20:06 2013 +0100
Added missing line.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09a5a4484a036... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Mon Jan 21 21:09:16 2013 +0100
Obsolete link updated.