PPL-devel

Download

ppl-devel@bugseng.com

January 2019

1 participants
2 discussions

[GIT] ppl/ppl(devel): New commits
by Roberto Bagnara 26 Jan '19

26 Jan '19

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=641a5cd2eee6… Merge: a89aece754be8d974be0c96a32a9f966ea8ee28c 9502d655c3406fd0e967fe236586877f12218337 Author: Roberto Bagnara <roberto.bagnara(a)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=9502d655c340… Author: Roberto Bagnara <roberto.bagnara(a)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=f9598fe1635c… Author: Roberto Bagnara <roberto.bagnara(a)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=35fa98086b2d… Author: Enea Zaffanella <enea.zaffanella(a)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=38fbbed4f7cd… Author: Enea Zaffanella <enea.zaffanella(a)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=35be89c98281… Author: Abramo Bagnara <abramo.bagnara(a)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=addd0535f36e… Author: Roberto Bagnara <roberto.bagnara(a)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=5f4acc5462c8… Author: Roberto Bagnara <bagnara(a)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=2ad4d2017354… Author: Roberto Bagnara <bagnara(a)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=bc7ffae942e4… Author: Roberto Bagnara <bagnara(a)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=f85b36accc82… Author: Roberto Bagnara <bagnara(a)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=e4afe707bbc8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 12:36:06 2018 +0200 Install also the header files required for static linking.

1 0

[GIT] ppl/ppl(master): Bumped copyright years.
by Roberto Bagnara 26 Jan '19

26 Jan '19

1 0