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