April 2008 - PPL-devel - BUGSENG Mailman

ppl/src Pointset_Powerset.defs.hh
by Enea Zaffanella 17 Apr '08

17 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-17 15:51:26 Modified files: src : Pointset_Powerset.defs.hh Log message: Fixed indentation and grouping of methods. Declared new methods unconstrain(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 17 Apr '08

17 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-17 15:38:58 Modified files: doc : definitions.dox Log message: Added a subsection about cylindrification of polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Enea Zaffanella 17 Apr '08

17 Apr '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-17 15:29:51 Modified files: htdocs/Documentation: ppl.bib Log message: Added bibliographic entry HenkinMT71 (to be double checked). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 17 Apr '08

17 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-17 13:48:41 Modified files: src : Polyhedron_public.cc Log message: In the implementation of affine images/preimages, use new methods unconstrain() when appropriate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests BD_Shape/Makefile.am Octagonal_Shape ...
by Enea Zaffanella 17 Apr '08

17 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-17 13:46:54 Modified files: tests/BD_Shape : Makefile.am tests/Octagonal_Shape: Makefile.am Added files: tests/BD_Shape : unconstrain1.cc tests/Octagonal_Shape: unconstrain1.cc Log message: Added tests for the unconstrain() methods for BD_Shape and Octagonal_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/unconstrain1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/unconst… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh ...
by Enea Zaffanella 17 Apr '08

17 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-17 13:45:43 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh Log message: Added methods unconstrain() for BD_Shape and Octagonal_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.template ...
by Patricia Hill 17 Apr '08

17 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-04-17 13:10:18 Modified files: src : Polyhedron.defs.hh Polyhedron.templates.hh Polyhedron_public.cc Log message: Replaced common code in add_constraint() and refine_with_constraint() with a call to a private method refine_no_check() that does the same thing as the common code. Added an extra complexity parameter for the constructor of a polyhedron from a box. This is ignored (as algorithm is polynomial). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.templates.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests/Polyhedron Makefile.am unconstrain1.cc
by Enea Zaffanella 17 Apr '08

17 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-17 12:56:28 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: unconstrain1.cc Log message: Added some tests for new methods unconstrain(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/unconstrain1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 17 Apr '08

17 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-17 11:34:01 Modified files: src : Polyhedron_public.cc Log message: Corrected cut&paste error in the implementation of unconstrain(vs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Polyhedron.defs.hh Polyhedron_public.cc
by Enea Zaffanella 17 Apr '08

17 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-17 11:05:53 Modified files: src : Polyhedron.defs.hh Polyhedron_public.cc Log message: Added new methods void unconstrain(Variable var); void unconstrain(const Variable_Set& to_be_unconstrained); that modify the polyhedron by computing the cylindrification on the specified space dimensions. In the documentation, moved the static methods can_recycle_constraints and can_recycle_congruences to a better place. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0