March 2007 - PPL-devel - BUGSENG Mailman

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

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 12:49:46 Modified files: src : Box.templates.hh Log message: Added a fast-fail test to Box::contains_integer_point(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-03-02 12:44:22 Modified files: src : Interval.defs.hh Log message: Fixed typos. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl interfaces/C/ppl_interface_generator_c_cc_ ...
by Roberto Bagnara 02 Mar '07

02 Mar '07

1 0

ppl/tests/Box containsintegerpoint1.cc
by Enea Zaffanella 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 10:55:34 Modified files: tests/Box : containsintegerpoint1.cc Log message: Test test04() shows a bug in Interval::contains_integer_point(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/containsintegerpoin…

1 0

ppl/tests/Box Makefile.am affinedimension1.cc
by Enea Zaffanella 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 10:21:20 Modified files: tests/Box : Makefile.am affinedimension1.cc Log message: Restored test affinedimension1. 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/affinedimension1.cc…

1 0

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

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 10:08:57 Modified files: tests/Box : Makefile.am Log message: Disabled some tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/tests/Box boxdifference1.cc
by Enea Zaffanella 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 10:01:37 Modified files: tests/Box : boxdifference1.cc Log message: Temporarily commented out test07. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxdifference1.cc.d…

1 0

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

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 09:59:39 Modified files: tests : Makefile.am Log message: Enable checks in the Box directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests/Box Makefile.am affinedimension1.cc ...
by Enea Zaffanella 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-02 09:58:52 Modified files: tests/Box : Makefile.am affinedimension1.cc Added files: tests/Box : max_min1.cc run_tests Log message: A first attempt at distinguishing tests that compile, fail and succeed so as to enable automatic checks. Work still in progress. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/max_min1.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/run_tests?cvsroot=p… 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/affinedimension1.cc…

1 0

ppl/tests/Polyhedron boundedbhrz03extrapolatio ...
by Enea Zaffanella 01 Mar '07

01 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-01 14:57:55 Modified files: tests/Polyhedron: boundedbhrz03extrapolation1.cc Log message: Test no longer fails with 8-bit checked integers and assertions disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedbhrz0…

1 0