March 2007 - PPL-devel - BUGSENG Mailman

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

10 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-10 23:23:53 Modified files: tests/Box : refine1.cc Log message: Expected results fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine1.cc.diff?cvs…

1 0

ppl/tests/Box Makefile.am refine3.cc
by Roberto Bagnara 10 Mar '07

10 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-10 23:09:45 Modified files: tests/Box : Makefile.am Added files: tests/Box : refine3.cc Log message: New test that triggers a bug in the Box class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine3.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

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

10 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-10 21:16:25 Modified files: tests/Box : refine2.cc Log message: test02() fails with 64-bit or smaller coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine2.cc.diff?cvs…

1 0

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

10 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-10 16:04:06 Modified files: src : Box.defs.hh Box.inlines.hh Log message: Assignment operator added. 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…

1 0

ppl/src conversion.cc
by Roberto Bagnara 10 Mar '07

10 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-10 12:25:40 Modified files: src : conversion.cc Log message: Fixed a couple of comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/tests ppl_test.hh
by Roberto Bagnara 10 Mar '07

10 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-10 12:17:32 Modified files: tests : ppl_test.hh Log message: For boxes, check_result_i() prints now more information in case containment does not hold. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

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

10 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-10 12:16:08 Modified files: tests/Box : refine2.cc Log message: Tests that do not require a watchdog timer moved to refine1.cc. Remaining tests improved: known_result computed precisely and reduced the compilation time by resorting to ascii_load() methods. 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 10 Mar '07

10 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-10 12:13:38 Modified files: tests/Box : refine1.cc Log message: Tests that do not require a watchdog timer moved from refine1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine1.cc.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Roberto Bagnara 10 Mar '07

10 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-10 08:06:33 Modified files: src : Interval.defs.hh Log message: Drafted bool ascii_load(std::istream&) and template <typename Boundary, typename Info> std::istream& operator>>(std::istream& Interval<Boundary, Info>&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

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

09 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-09 19:44:59 Modified files: src : Box.templates.hh Log message: Fixed Box<Interval>::Box(const Box<Other_Interval>&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0