March 2007 - PPL-devel - BUGSENG Mailman

ppl/doc devref-c-interface.doxyconf-html.in de ...
by Roberto Bagnara 16 Mar '07

16 Mar '07

1 0

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

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-13 17:43:49 Modified files: src : Box.defs.hh Box.templates.hh Log message: New implementation of Box<Interval>::refine_no_check(const Constraint&). Added declaration and fake definition for Box<Interval>::limited_CC76_extrapolation_assign(const Box&, const Constraint_System&, unsigned). 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/src Interval.defs.hh
by Roberto Bagnara 13 Mar '07

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-13 17:37:47 Modified files: src : Interval.defs.hh Log message: New template <typename Interval_Boundary_Type> struct Select_Temp_Boundary_Type is an helper class to select the appropriate numerical type to perform boundary computations so as to reduce the chances of overflow without incurring too much overhead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/tests/Box refine2.cc
by Roberto Bagnara 13 Mar '07

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-13 16:12:25 Modified files: tests/Box : refine2.cc Log message: Temporarily disabled test02(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine2.cc.diff?cvs…

1 0

ppl/tests/Box refine1.cc
by Roberto Bagnara 13 Mar '07

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-13 16:12:04 Modified files: tests/Box : refine1.cc Log message: Improved test01(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine1.cc.diff?cvs…

1 0

ppl/tests BD_Shape/relations1.cc BD_Shape/rela ...
by Roberto Bagnara 13 Mar '07

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-13 16:09:47 Modified files: tests/BD_Shape : relations1.cc relations2.cc relations3.cc tests/Octagonal_Shape: relatwithcons1.cc relatwithcons2.cc relatwithgen1.cc Log message: Output made consistent with the rest of the testsuite. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi…

1 0

ppl/src Pointset_Powerset.defs.hh Pointset_Pow ...
by Roberto Bagnara 13 Mar '07

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-13 16:06:31 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh Log message: Added void Pointset_Powerset<PS>::refine(const Constraint&) and void Pointset_Powerset<PS>::refine(const Constraint_System&). Patches: 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/src BD_Shape.templates.hh
by Elena Mazzi 13 Mar '07

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2007-03-13 15:52:17 Modified files: src : BD_Shape.templates.hh Log message: Corrected the method BD_Shape::relation_with(c) when the BD_Shape is based on integer coefficients and when the constraint `c' is `1 == 0'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/BD_Shape Makefile.am relations3.cc
by Elena Mazzi 13 Mar '07

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2007-03-13 15:49:42 Modified files: tests/BD_Shape : Makefile.am relations3.cc Log message: Test relations3 abled. Added test17() that shows a bug in BD_Shape::relation_with(const Constraint& c) when the constraint `c' is `1 == 0'. Patches: 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/BD_Shape/relations3.cc.…

1 0

ppl/src Octagonal_Shape_strong_closure4.hh
by Barbara Quartieri 13 Mar '07

13 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2007-03-13 14:57:12 Modified files: src : Octagonal_Shape_strong_closure4.hh Log message: Removed a useless code line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_strong_cl…

1 0