March 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Box Makefile.am pointsetpowerset1.cc
by Roberto Bagnara 04 Mar '07

04 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-04 13:20:56 Modified files: tests/Box : Makefile.am Added files: tests/Box : pointsetpowerset1.cc Log message: New program to test Pointset_Powerset<PH> with boxes. Temporarily disable testing with intervals with long double boundaries. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/pointsetpowerset1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl ./TODO src/Pointset_Powerset.defs.hh src/P ...
by Roberto Bagnara 04 Mar '07

04 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-04 10:51:47 Modified files: . : TODO src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh Log message: Added Pointset_Powerset<PH>::affine_image(Variable, const Linear_Expression&, Coefficient_traits::const_reference). Many other methods of Pointset_Powerset are missing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.21… 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/Box.templates.hh tests/Box/intersectio ...
by Roberto Bagnara 04 Mar '07

04 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-04 10:33:06 Modified files: src : Box.templates.hh tests/Box : intersection1.cc Log message: Fixed Box<Interval>::intersection_assign(const Box&): it was not dealing properly with the emptiness flags. 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/intersection1.cc.di…

1 0

ppl/tests/Box frompolyhedron1.cc
by Enea Zaffanella 03 Mar '07

03 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-03 23:39:52 Modified files: tests/Box : frompolyhedron1.cc Log message: Test test14() fails with all bounded integer types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frompolyhedron1.cc.…

1 0

ppl/tests/Box Makefile.am max_min1.cc
by Enea Zaffanella 03 Mar '07

03 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-03 22:36:11 Modified files: tests/Box : Makefile.am max_min1.cc Log message: Restored max_min1.cc after disabling some of the tests that necessarily fail on floating point datatypes (to be improved so as to allow for approximations). 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/max_min1.cc.diff?cv…

1 0

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

03 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-03 22:32:41 Modified files: src : Box.templates.hh Log message: Corrected method is_universe(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

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

03 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-03 21:53:50 Modified files: src : Box.templates.hh Log message: Added a few missing interval initializations; marked by FIXMEs so as to be improved when we will have a richer set of intervals' constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/tests/Box Makefile.am relations2.cc
by Enea Zaffanella 03 Mar '07

03 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-03 21:06:47 Modified files: tests/Box : Makefile.am Added files: tests/Box : relations2.cc Log message: Testing methods relation_with(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/relations2.cc?cvsro… 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 03 Mar '07

03 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-03 21:05:51 Modified files: src : Box.defs.hh Box.templates.hh Log message: Drafted implementations of methods relation_with(). 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 TODO
by Roberto Bagnara 03 Mar '07

03 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-03 20:11:02 Modified files: . : TODO Log message: New item added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.21…

1 0