March 2007 - PPL-devel - BUGSENG Mailman

ppl ./configure.ac src/Any_Pointset.defs.hh sr ...
by Roberto Bagnara 02 Mar '07

02 Mar '07

1 0

ppl/tests/BD_Shape Makefile.am
by Enea Zaffanella 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 18:06:51 Modified files: tests/BD_Shape : Makefile.am Log message: Test relations3 temporarily disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/tests/BD_Shape relations3.cc
by Enea Zaffanella 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 17:52:52 Modified files: tests/BD_Shape : relations3.cc Log message: Test test16() shows a bug in BD_Shape::relation_with(const Constraint& c) when the BD_Shape is based on integer coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.…

1 0

ppl/src Box.defs.hh Box.templates.hh Octagonal ...
by Roberto Bagnara 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-02 17:44:02 Modified files: src : Box.defs.hh Box.templates.hh Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh Log message: Got rid of Octagonal_Shape::shrink_bounding_box() in favor of the constructor Box::Box(const Octagonal_Shape<T>&, Complexity_Class). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… 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 Box.templates.hh
by Enea Zaffanella 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 17:25:59 Modified files: src : Box.templates.hh Log message: Solved a few FIXMEs. Corrected implementation of max_min(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/tests/Box Makefile.am addconstraints1.cc
by Enea Zaffanella 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 16:22:37 Modified files: tests/Box : Makefile.am addconstraints1.cc Log message: Test addconstraints1.cc corrected and restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/addconstraints1.cc.…

1 0

ppl/tests/Box Makefile.am discrete1.cc
by Enea Zaffanella 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 16:17:34 Modified files: tests/Box : Makefile.am discrete1.cc Log message: Test discrete1 corrected and restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/discrete1.cc.diff?c…

1 0

ppl/src Box.inlines.hh Box.templates.hh
by Enea Zaffanella 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 16:11:14 Modified files: src : Box.inlines.hh Box.templates.hh Log message: Method constraints() no longer forces an emptyness check. Method minimized_constraints() forces an emptyness check and also detects equality constraints. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/tests/Box Makefile.am minconstraints1.cc
by Enea Zaffanella 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 16:09:47 Modified files: tests/Box : Makefile.am minconstraints1.cc Log message: Test minconstraints1.cc corrected and restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/minconstraints1.cc.…

1 0

ppl/src Boundary.defs.hh
by Abramo Bagnara 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-03-02 15:35:49 Modified files: src : Boundary.defs.hh Log message: Added missing argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0