August 2004 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 15 Aug '04

15 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-15 19:43:57 Modified files: src : Polyhedron.defs.hh Log message: Completed the documentation of Polyhedron::fold_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/doc definitions.dox
by Roberto Bagnara 15 Aug '04

15 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-15 19:31:58 Modified files: doc : definitions.dox Log message: Set-cardinality notation explained. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 15 Aug '04

15 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-15 17:54:04 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Do not mix extern "C" pointers and extern "C++" pointers: they are different types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/doc definitions.dox
by Roberto Bagnara 15 Aug '04

15 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-15 17:43:19 Modified files: doc : definitions.dox Log message: Drafted a formal definition of the "fold_dimensions" operation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc ppl.sty
by Roberto Bagnara 15 Aug '04

15 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-15 17:40:14 Modified files: doc : ppl.sty Log message: Added the definition of the set-cardinality operator `\card'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

ppl doc/definitions.dox src/Polyhedron.defs.hh
by Roberto Bagnara 15 Aug '04

15 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-15 11:54:57 Modified files: doc : definitions.dox src : Polyhedron.defs.hh Log message: Added placeholder and reference to the (yet to be written) section on folding dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/tests boundingbox1.cc boundingbox3.cc boun ...
by Roberto Bagnara 15 Aug '04

15 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-15 11:29:00 Modified files: tests : boundingbox1.cc boundingbox3.cc boundingbox4.cc Log message: Comments corrected/revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox3.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox4.cc.diff?cv…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 15 Aug '04

15 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-15 10:55:55 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Documentation for the ppl_Polyhedron_expand_dimension/3 and ppl_Polyhedron_fold_dimensions/3 predicates, added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 15 Aug '04

15 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-15 10:13:54 Modified files: interfaces/Prolog: pl_check.pl Log message: A bug has been fixed. The tests for the bounding box predicates improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/tests boundingbox1.cc boundingbox2.cc boun ...
by Patricia Hill 15 Aug '04

15 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-15 10:11:57 Modified files: tests : boundingbox1.cc boundingbox2.cc boundingbox3.cc boundingbox4.cc Log message: The tests for shrink_bounding_box() and building polyhedra from boxes have been revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox3.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox4.cc.diff?cv…

1 0