March 2007 - PPL-devel - BUGSENG Mailman

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

17 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-17 12:14:31 Modified files: tests/Box : refine1.cc Log message: test01(), test03() and test04() will fail with 8-bit coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine1.cc.diff?cvs…

1 0

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

16 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-16 21:19:09 Modified files: tests/Box : refine2.cc Log message: Restored 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 16 Mar '07

16 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-16 20:44:28 Modified files: tests/Box : refine1.cc Log message: Completed test07(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine1.cc.diff?cvs…

1 0

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

16 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-16 20:43:55 Modified files: src : Box.templates.hh Log message: Removed spurious assignment `t_bound = 0' from 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/tests/Box refine1.cc
by Enea Zaffanella 16 Mar '07

16 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-16 19:40:20 Modified files: tests/Box : refine1.cc Log message: Test test07() shows a bug in refine() when handling an equality constraint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine1.cc.diff?cvs…

1 0

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

16 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-16 18:35:20 Modified files: tests/Box : refine1.cc Log message: Fixed test06(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine1.cc.diff?cvs…

1 0

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

16 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-16 15:04:14 Modified files: doc : devref.doxyconf-html.in devref.doxyconf-latex.in Log message: Updated the list of files from which to harvest the documentation for developers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.…

1 0

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

16 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-16 15:03:05 Modified files: tests/Box : refine1.cc Log message: New test added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine1.cc.diff?cvs…

1 0

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

16 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-16 15:02:25 Modified files: src : Box.defs.hh Box.templates.hh Log message: Comment with the implementation details of Box<Interval>::refine_no_check(const Constraint&) adapted to Doxygen and moved before the declaration in Box.defs.hh. 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 Octagonal_Shape.defs.hh
by Roberto Bagnara 16 Mar '07

16 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-16 15:01:08 Modified files: src : Octagonal_Shape.defs.hh Log message: Fixed some Doxygen references. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0