[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=2d65e137baca897ad55eac343848e36f8f01af04
Merge: 641a5cd2eee688a9c93665ce3b3f03df13116f5a 872a6795e60fb3c7c45095ba35ea5598d5745327
Author: Roberto Bagnara <roberto.bagnara at 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=872a6795e60fb3c7c45095ba35ea5598d5745327
Author: Roberto Bagnara <roberto.bagnara at 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=7651c0de32408a5e15672cb6d5c51c84a2d5d369
Author: Roberto Bagnara <roberto.bagnara at 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=360445d21d3dd91818d3e4fa54c3ae202711c104
Author: Roberto Bagnara <roberto.bagnara at 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=26787291164ec3aef72c27b3dc6a40fc1dff17b0
Author: Abramo Bagnara <abramo.bagnara at 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=fe66d8719af728506b80f2d772c4e2cdd87f2a8e
Author: Roberto Bagnara <roberto.bagnara at 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=1948fb22f102a4a07d0b614b96fbddde60fc03f0
Author: Abramo Bagnara <abramo.bagnara at bugseng.com>
Date:   Mon Feb 25 08:36:19 2019 +0100

    Added suport for SWI-Prolog 8 in windows.