March 2007 - PPL-devel - BUGSENG Mailman

ppl src/Box.templates.hh tests/Box/addconstrai ...
by Roberto Bagnara 06 Mar '07

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-06 22:32:35 Modified files: src : Box.templates.hh tests/Box : addconstraints1.cc Log message: Revised Box<Interval>::refine_no_check(const Constraint&). Patches: 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/tests/Box/addconstraints1.cc.…

1 0

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

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-03-06 21:15:58 Modified files: src : Boundary.defs.hh Log message: Moved assert to right place. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 06 Mar '07

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-06 19:26:58 Modified files: src : Box.templates.hh Log message: Revised void Box<Interval>::refine_no_check(const Constraint&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl src/Box.defs.hh src/Box.inlines.hh src/Box ...
by Roberto Bagnara 06 Mar '07

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-06 18:28:28 Modified files: src : Box.defs.hh Box.inlines.hh Box.templates.hh tests/Box : addconstraints1.cc Log message: Added the declarations for void Box<Interval>::refine(const Constraint&) and void Box<Interval>::refine(const Constraint_System&). Drafted an implementation for the former. Commented-out test06() in tests/Box/addconstraints1.cc is meant to test it (will be moved elsewhere when the final name of the method is decided). 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.inlines.hh.diff?cvsro… 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/tests/Box/addconstraints1.cc.…

1 0

ppl/tests/Box pointsetpowerset1.cc
by Roberto Bagnara 06 Mar '07

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-06 14:29:06 Modified files: tests/Box : pointsetpowerset1.cc Log message: Started drafting a couple of new tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/pointsetpowerset1.c…

1 0

ppl/tests/Box Makefile.am
by Enea Zaffanella 06 Mar '07

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-06 12:15:04 Modified files: tests/Box : Makefile.am Log message: Restored test timeelapse1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/src Box.defs.hh Box.templates.hh
by Enea Zaffanella 06 Mar '07

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-06 12:14:33 Modified files: src : Box.defs.hh Box.templates.hh Log message: Drafted implementation for time_elapse_assign(). 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…

1 0

ppl/tests/Polyhedron maxspacedim1.cc
by Roberto Bagnara 06 Mar '07

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-06 11:55:24 Modified files: tests/Polyhedron: maxspacedim1.cc Log message: Call Parma_Polyhedra_Library::max_space_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/maxspacedim1…

1 0

ppl/src max_space_dimension.hh
by Roberto Bagnara 06 Mar '07

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-06 11:54:25 Modified files: src : max_space_dimension.hh Log message: Take boxes into account (with FIXME). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/max_space_dimension.hh.di…

1 0

ppl/src OR_Matrix.defs.hh
by Roberto Bagnara 06 Mar '07

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2007-03-06 11:43:12 Modified files: src : OR_Matrix.defs.hh Log message: If EXTRA_ROW_DEBUG is not defined, define it to 0, not 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cv…

1 0