[PPL-devel] [GIT] ppl/ppl(polyops): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bf7d3f2d9eda608526d53fe854e452d13b85a23
Merge: ecec8a84028b623f777cd1a424e4a82bdbc8b7dd b06285533ca60251c4132d1c388c64bdcbea62aa
Author: Roberto Bagnara <roberto.bagnara at 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=b06285533ca60251c4132d1c388c64bdcbea62aa
Author: Roberto Bagnara <roberto.bagnara at 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=5b86ec7da4ab63224e8371a4ba170ef071248c25
Author: Roberto Bagnara <roberto.bagnara at 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=8162935006ec89232a82108cb261a2aa203d8028
Author: Roberto Bagnara <roberto.bagnara at 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=46edbeca89067126365ca31b38011d5bde23bdb8
Author: Roberto Bagnara <roberto.bagnara at 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=90e0684a9671acb3f7b8fbad01d3f34d211f5574
Author: Roberto Bagnara <roberto.bagnara at 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=5c7a1d8b8f5bf71ff74d6df5ae13053aba91b28e
Author: Roberto Bagnara <roberto.bagnara at 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=f6bb7f2f4bbb61325c9a00c06f5be75f492ea3c8
Author: Roberto Bagnara <roberto.bagnara at 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=b66224fd337358bf7c940847f449c93717749915
Author: Roberto Bagnara <roberto.bagnara at 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=9fd4b05e30baa48b4aec591539acdd14ae3fe5e3
Author: Enea Zaffanella <enea.zaffanella at 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=eaac930eb9a08b129381fc9cf96d6cfa45f57d6a
Author: Enea Zaffanella <enea.zaffanella at 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=87f09547a592229bfbd7722103f8e64ef074fb92
Author: Enea Zaffanella <enea.zaffanella at 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=464f7b65bde5166d2ac665289389f2b0c92a1c54
Author: Enea Zaffanella <enea.zaffanella at 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=ad11ba0a2159d9e4ee938dc12fcb12994d3471f7
Author: Enea Zaffanella <enea.zaffanella at 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=3822e9ecd0783a5743dd48cda86ae17ba702c468
Author: Abramo Bagnara <abramo.bagnara at 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=09a5a4484a0361d77a716b579a9411aae5baa432
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Mon Jan 21 21:09:16 2013 +0100

    Obsolete link updated.