August 2008 - PPL-devel - BUGSENG Mailman

ppl/src Pointset_Powerset.cc Pointset_Powerset ...
by Enea Zaffanella 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-16 13:20:16 Modified files: src : Pointset_Powerset.cc Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh Log message: Reimplemented method is_universe() so as to be faithful to the intended specification (also removed the no longer useful specialization for grids). Implemented method constrains(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat…

1 0

ppl ./NEWS ./configure.ac doc/devref.doxyconf- ...
by Roberto Bagnara 16 Aug '08

16 Aug '08

1 0

ppl/interfaces/OCaml/tests test1.ml
by Patricia Hill 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-16 12:04:37 Modified files: interfaces/OCaml/tests: test1.ml Log message: More small changes for its future generation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.…

1 0

ppl configure.ac
by Roberto Bagnara 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-16 11:47:34 Modified files: . : configure.ac Log message: Added a tentative set of default foreign interface instantiations: most of it is commented out until we implement separate compilation in the interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/OCaml/tests test1.ml
by Patricia Hill 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-16 11:43:07 Modified files: interfaces/OCaml/tests: test1.ml Log message: Small changes in preparation for generating the tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.…

1 0

ppl TODO
by Roberto Bagnara 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-16 11:02:37 Modified files: . : TODO Log message: Added an important item for PPL 0.10. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.25…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-16 11:01:39 Modified files: src : Polyhedron.defs.hh Log message: Drafted the declaration of new method void intersection_preserving_enlarge_assign(const Polyhedron& y). 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 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-16 11:00:54 Modified files: doc : definitions.dox Log message: Drafted a section about intersection-preserving enlargements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Polyhedron_chdims.cc
by Enea Zaffanella 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-16 10:00:00 Modified files: src : Polyhedron_chdims.cc Log message: Minor improvement to a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff…

1 0

ppl/src Partially_Reduced_Product.defs.hh
by Enea Zaffanella 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-16 09:59:18 Modified files: src : Partially_Reduced_Product.defs.hh Log message: Fixed typo in documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product…

1 0