URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d65e137baca8... Merge: 641a5cd2eee688a9c93665ce3b3f03df13116f5a 872a6795e60fb3c7c45095ba35ea5598d5745327 Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Wed Jun 24 16:02:25 2020 +0200
Merge branch 'master' into devel.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=872a6795e60fb... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Wed Jan 22 09:31:07 2020 +0100
Copyright years bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7651c0de32408... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Tue Dec 10 15:35:01 2019 +0100
Avoid mixing build log with analysis results.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=360445d21d3dd... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Mon Dec 9 15:50:06 2019 +0100
Added sample analysis script.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26787291164ec... Author: Abramo Bagnara abramo.bagnara@bugseng.com Date: Wed Aug 14 18:09:51 2019 +0200
Removed pointless qualifier.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe66d8719af72... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Tue Aug 13 19:46:46 2019 +0200
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1948fb22f102a... Author: Abramo Bagnara abramo.bagnara@bugseng.com Date: Mon Feb 25 08:36:19 2019 +0100
Added suport for SWI-Prolog 8 in windows.