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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5525b05b000cfbcff748059f82e86e093c85407f
Merge: cc65f4c19ad8d6e8005e76605c4dd8f62679c0eb 1a50eab30f191ed0fd9963d4e90a2753d715a6be
Author: Roberto Bagnara <roberto.bagnara at 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=cc65f4c19ad8d6e8005e76605c4dd8f62679c0eb
Author: Enea Zaffanella <zaffanella at 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=34499fe653764da084bf7fa70b1bc012de08882d
Author: Enea Zaffanella <zaffanella at 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=44ae5b13d0584b4f3257d86b485d717a2c6dd540
Author: Enea Zaffanella <zaffanella at 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=55f9787ca9c51212ddcf34541d102a11652be9f9
Author: Enea Zaffanella <zaffanella at 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=f45c2558c69e3e906ac214b9f33c10813250d664
Author: Enea Zaffanella <zaffanella at 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=673343a9e22e99f6ecb9e1bdb2c733369047d9fc
Author: Enea Zaffanella <zaffanella at 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=e7cc925274945a76599d9601a24e001adfc534a1
Author: Enea Zaffanella <zaffanella at 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=bbf24268be1c2af275ee76f9eb790feb2a63cbc2
Author: Enea Zaffanella <zaffanella at 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=93b1fe4d63f7ea0cb9d515f5beeea595ca4d96d6
Author: Enea Zaffanella <zaffanella at 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=fd92d113b4b3a646573fbaa26d35f62701e3ac12
Author: Enea Zaffanella <zaffanella at 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