URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=641a5cd2eee68... Merge: a89aece754be8d974be0c96a32a9f966ea8ee28c 9502d655c3406fd0e967fe236586877f12218337 Author: Roberto Bagnara roberto.bagnara@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=9502d655c3406... Author: Roberto Bagnara roberto.bagnara@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=f9598fe1635cf... Author: Roberto Bagnara roberto.bagnara@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=35fa98086b2d5... Author: Enea Zaffanella enea.zaffanella@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=38fbbed4f7cdf... Author: Enea Zaffanella enea.zaffanella@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=35be89c982819... Author: Abramo Bagnara abramo.bagnara@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=addd0535f36e4... Author: Roberto Bagnara roberto.bagnara@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=5f4acc5462c8c... Author: Roberto Bagnara bagnara@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=2ad4d2017354a... Author: Roberto Bagnara bagnara@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=bc7ffae942e40... Author: Roberto Bagnara bagnara@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=f85b36accc826... Author: Roberto Bagnara bagnara@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=e4afe707bbc8d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 27 12:36:06 2018 +0200
Install also the header files required for static linking.