URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5525b05b000cf... Merge: cc65f4c19ad8d6e8005e76605c4dd8f62679c0eb 1a50eab30f191ed0fd9963d4e90a2753d715a6be Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Jan 3 15:08:56 2016 +0100

Merge branch 'master' into devel.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc65f4c19ad8d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 26 12:31:01 2015 +0100

Avoid a memory leak due to the global list of dirty temporaries.

The memory leak was not causing a real problem, in that the list of dirty temporaries is meant to survive up to the end of the process. However, it could cause a problem if/when the library is extended to become multi-thread safe, since in such a scenario it is meaningful to have a list of dirty temporaries for each thread (to be released on thread exit).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34499fe653764... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 26 12:18:30 2015 +0100

Avoid a couple of memory leaks in the C interface tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44ae5b13d0584... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 26 11:54:30 2015 +0100

Get rid of temporary print previously added for debugging purposes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55f9787ca9c51... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Nov 23 13:05:31 2015 +0100

Implemented the quick adjacency check in the conversion procedure.

The test allows for significant performce improvements on certain classes of polyhedra (e.g., hypercubes) in that it saves many saturation subset checks.

Added preprocessing flags to allow for enabling/disabling the new check (as well as the old quick non-adjacency check). Added new testcase tests/Polyhedron/hypercubes.cc that can be used for a performance comparison.

The efficiency benefits can also be appreciated when running the ppl_lcdd demo testsuite.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f45c2558c69e3... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 19 16:42:50 2015 +0100

In Java, throw an exception when trying to build a disequality.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=673343a9e22e9... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 19 12:44:41 2015 +0100

Mention fixed bug.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7cc925274945... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 19 12:36:02 2015 +0100

Provide a common, correct implementation for the methods Pointset_Powerset<PSET>::relation_with() working on Constraint and Congruence objects.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbf24268be1c2... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 19 12:34:48 2015 +0100

Corrected expected result for test02().

The test shows a bug in current implementation of method Pointset_Powerset<PSET>::relation_with(const Congruence& c) const

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93b1fe4d63f7e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 19 12:08:43 2015 +0100

Fixed bug in Pointset_Powerset::relation_with(const Constraint&) const.

The bug was causing wrong results for relations strictly_intersects() and saturates() on some inputs.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd92d113b4b3a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 19 11:57:02 2015 +0100

Corrected expected result for test06(). Added a new testcase as test11(). The two tests show a bug in current implementation of method Pointset_Powerset<PSET>::relation_with(const Constraint& c) const