September 2004 - PPL-devel - BUGSENG Mailman

ppl demos/ppl_lcdd/ppl_lcdd.cc interfaces/C/pp ...
by Abramo Bagnara 29 Sep '04

29 Sep '04

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 29 Sep '04

29 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-09-29 08:34:13 Modified files: interfaces/Prolog: pl_check.pl Log message: More tests added and improved structure for the tests for ppl_Polyhedron_topological_closure_assign/1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl ./NEWS ./TODO doc/definitions.dox
by Enea Zaffanella 28 Sep '04

28 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-09-28 17:55:54 Modified files: . : NEWS TODO doc : definitions.dox Log message: Announced the renaming of methods changing space dimensions. Added to the user manual the notion of affine independence, which is used to define the affine dimension of a polyhedron. Small reordering to the devref part of definitions.dox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.11… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.98… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl src/Polyhedron_widenings.cc tests/limitedh ...
by Enea Zaffanella 28 Sep '04

28 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-09-28 17:53:25 Modified files: src : Polyhedron_widenings.cc tests : limitedh79extrapolation3.cc Makefile.am Log message: The implementation of select_H79_constraints() changed so as to ignore trivially true constraints coming from homogenization or epsilon-polyhedra encoding. Thus, the H79 widening is now applied to the polyhedra and not their homogenized polyehdral cones. The known result of the test limitedh79extrapolation3 has been changed accordingly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests addgenerators11.cc polydifference1.c ...
by Patricia Hill 28 Sep '04

28 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-09-28 15:05:05 Modified files: tests : addgenerators11.cc polydifference1.cc Makefile.am Log message: Changes to tests so that addgenerators11, polydifference1 and nnc_polydifference1 tests succeed. The tests addgenerators11 and nnc_polydifference1 are no longer named as failing tests by Makefile. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators11.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
by Patricia Hill 27 Sep '04

27 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-09-27 22:24:49 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Added missing definition for ppl_Polyhedron_affine_dimension/2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog/XSB xsb_clpq.P xsb_clpq2 ...
by Roberto Bagnara 27 Sep '04

27 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-27 21:52:25 Modified files: interfaces/Prolog/XSB: xsb_clpq.P xsb_clpq2.P xsb_pl_check.P Log message: The names of all the methods changing the space dimension of a polyhedron now contain "space_dimension" as a substring, therefore avoiding ambiguity with the concept of affine dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Patricia Hill 27 Sep '04

27 Sep '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2004-09-27 18:23:43 Modified files: htdocs/Documentation: ppl.bib Log message: References added to abstract for the Granger 1997 paper. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl doc/definitions.dox interfaces/C/ppl_c.cc ...
by Enea Zaffanella 27 Sep '04

27 Sep '04

1 0

ppl/src conversion.cc
by Enea Zaffanella 27 Sep '04

27 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-09-27 17:20:54 Modified files: src : conversion.cc Log message: Improved the detailed documentation in a couple of places. Using a reference to avoid multiple access to dest[num_lines_or_equalities]. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0