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

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=641a5cd2eee688a9c93665ce3b3f03df13116f5a
Merge: a89aece754be8d974be0c96a32a9f966ea8ee28c 9502d655c3406fd0e967fe236586877f12218337
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sat Jan 26 11:05:18 2019 +0100

    Merge branch 'master' into devel.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9502d655c3406fd0e967fe236586877f12218337
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sat Jan 26 11:04:37 2019 +0100

    Bumped copyright years.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9598fe1635cf3b8f964425ba0aba4a3bd2d496b
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Tue Nov 6 14:08:58 2018 +0100

    Updated.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35fa98086b2d5c0b4711b518a2cf8e4b2c995731
Author: Enea Zaffanella <enea.zaffanella at unipr.it>
Date:   Tue Jun 19 09:58:47 2018 +0200

    Fixed bug recently uncovered in method relation_with().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38fbbed4f7cdf34c032e7647419b5217aacce3b6
Author: Enea Zaffanella <enea.zaffanella at unipr.it>
Date:   Tue Jun 19 09:53:15 2018 +0200

    Fixed the expected result for test12:
    a generator can not be subsumed by an empty polyhedron.
    
    This fix uncovers a bug in the current implementation of method
      Polyhedron::relation_with(const Generator&) const;
    
    The bug was noted while developing the PPLite library.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35be89c9828198f1ab84cd52ce5f99b3bcb4cf1f
Author: Abramo Bagnara <abramo.bagnara at bugseng.com>
Date:   Mon Jun 18 20:22:31 2018 +0200

    Use --dump-runtime-variables.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=addd0535f36e4a2734b9b5321e2e0ad398c5e20c
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Fri May 4 09:26:25 2018 +0200

    Disable Kpathsea case-insensitive filename matching.
    Case-insensitive filename matching is done by default in non-system
    directories starting from TeX Live 2018.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f4acc5462c8c60fd216c0a98ae6b724ea12872a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Mar 28 08:20:46 2018 +0200

    Revert "Better support for dynamically-loadable modules."
    
    This reverts commit bc7ffae942e400c282f1e3abd06db6aa5d434035.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ad4d2017354a3331d1a6bc015c0be76c1a262a0
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar 27 22:17:33 2018 +0200

    Escape backslashes in PPL_CONFIGURE_OPTIONS.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc7ffae942e400c282f1e3abd06db6aa5d434035
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar 27 19:57:43 2018 +0200

    Better support for dynamically-loadable modules.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85b36accc826ec0a869e7fda61450136939d445
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar 27 12:39:08 2018 +0200

    Typo fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4afe707bbc8dccae4bc43a13eb8c09fb3dc9b37
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar 27 12:36:06 2018 +0200

    Install also the header files required for static linking.