March 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid congruencesystem1.cc
by Patricia Hill 12 Mar '06

12 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-12 20:48:36 Removed files: tests/Grid : congruencesystem1.cc Log message: Tests in congruencesystem1.cc now included in congruences2.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem1.…

1 0

w3ppl/htdocs/Download Download.raw
by Roberto Bagnara 12 Mar '06

12 Mar '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-03-12 20:23:22 Modified files: htdocs/Download: Download.raw Log message: Updated to reflect the new organization of the ftp site. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

Parma Polyhedra Library 0.9
by Roberto Bagnara 12 Mar '06

12 Mar '06

The core development team is very pleased to announce the availability of PPL 0.9, a new release of the Parma Polyhedra Library. The key feature of this release is complete support for the domain of rational grids. Roughly speaking, a grid is the solution of a finite system of congruence relations such as `x + y - 2*z = 3 (mod 6)'. Grids can encode information about the patterns of distribution of the values that program variables can take. The implementation offered in PPL 0.9 is, as far as we know, the first published one that is functionally complete (i.e., providing all the required operations, including a provably correct widening) for the purposes of program analysis and verification. The release includes also many portability improvement and a couple of bug fixes. The precise list of user-visible changes is below. For more information, please come and visit the PPL web site at http://www.cs.unipr.it/ppl/ On behalf of all the past and present developers listed at http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, Roberto Bagnara <bagnara(a)cs.unipr.it> Patricia M. Hill <hill(a)comp.leeds.ac.uk> Enea Zaffanella <zaffanella(a)cs.unipr.it> New and Changed Features ======================== o The class Grid provides a complete implementation of the relational domain of rational grids. This can represent all sets that can be expressed by the conjunction of a finite number of congruence relations. Operations provided include everything that is needed in the field of static analysis and verification, including affine images, preimages and their generalizations, grid-difference and widening operators. This is the first time such a complete domain is made freely available to the community. o Several important portability improvements. Among other things, it is now possible to build only the static libraries or only the shared libraries. (Notice that some interfaces depend on the availability of the shared libraries: these will not be built when shared libraries are disabled.) Bugfixes ======== o Fixed a bug whereby the SICStus Prolog interface could not be built on x86_64. o Fixed a bug in an internal method that, under some circumstances, could cause a wrong result to be computed. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/src Grid_widenings.cc
by Patricia Hill 12 Mar '06

12 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-12 10:45:08 Modified files: src : Grid_widenings.cc Log message: Typo in comment corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv…

1 0

ppl/tests/Grid Makefile.am congruences1.cc con ...
by Patricia Hill 12 Mar '06

12 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-12 10:43:29 Modified files: tests/Grid : Makefile.am congruences1.cc congruencesystem1.cc generator1.cc generators1.cc grid3.cc removespacedims1.cc Added files: tests/Grid : congruences2.cc removespacedims2.cc Log message: To improve coverage of testing added further tests. Test program congruences1 split into congruences1 and congruences2 to make room for extra tsets in congruences1. Tests in removespacedims1 check remove_space_dimensions while tests in removespacedims2 check remove_higher_space_dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruences2.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims2.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruences1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generator1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generators1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims1.c…

1 0

ppl configure.ac
by Roberto Bagnara 12 Mar '06

12 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2006-03-12 08:48:20 Modified files: . : configure.ac Log message: Update version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ChangeLog
by Roberto Bagnara 12 Mar '06

12 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2006-03-12 08:47:53 Modified files: . : ChangeLog Log message: Mark ChangeLog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&on…

1 0

ppl/Watchdog ChangeLog
by Roberto Bagnara 12 Mar '06

12 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara(a)cs.unipr.it 2006-03-12 08:46:29 Modified files: Watchdog : ChangeLog Log message: Mark ChangeLog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsro…

1 0

ppl/tests/Grid asciidumpload2.cc
by Patricia Hill 11 Mar '06

11 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-11 12:26:00 Added files: tests/Grid : asciidumpload2.cc Log message: Further tests for ascii_load() to improve coverage. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload2.cc?…

1 0

ppl/tests/Grid Makefile.am addconstraints1.cc ...
by Patricia Hill 11 Mar '06

11 Mar '06

1 0