March 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Box Makefile.am expandspacedim1.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 15:27:33 Modified files: tests/Box : Makefile.am expandspacedim1.cc Log message: Test expandspacedim1.cc corrected and restored. 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/expandspacedim1.cc.…

1 0

ppl/src Interval.defs.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 15:26:24 Modified files: src : Interval.defs.hh Log message: Drafted Interval::ascii_dump() to help in debugging. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Box.templates.hh Box.inlines.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 15:25:37 Modified files: src : Box.templates.hh Box.inlines.hh Log message: Corrected a bug in Box::add_constraint() whereby a Box flagged as empty had the flag removed after adding a new constraint. 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/src/Box.inlines.hh.diff?cvsro…

1 0

ppl src/Box.templates.hh tests/Box/Makefile.am ...
by Roberto Bagnara 02 Mar '07

02 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-02 15:07:45 Modified files: src : Box.templates.hh tests/Box : Makefile.am fromgrid1.cc Log message: Constructor Box<Interval>::Box(const Grid&, Complexity_Class) corrected. Notice that this constructor is much less precise than it could be in case the box is made of modulo intervals. Test program fromgrid1.cc revised and activated. 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/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/fromgrid1.cc.diff?c…

1 0

ppl/tests/Box Makefile.am equality1.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 14:39:51 Modified files: tests/Box : Makefile.am equality1.cc Log message: Test equality1.cc corrected and restored. 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/equality1.cc.diff?c…

1 0

ppl/tests/Box boxhull1.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 14:28:21 Modified files: tests/Box : boxhull1.cc Log message: Test test08() shows a bug when calling join_assign() on Interval. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxhull1.cc.diff?cv…

1 0

ppl/tests/Box Makefile.am intersection1.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 14:15:52 Modified files: tests/Box : Makefile.am intersection1.cc Log message: Test intersection1.cc corrected and restored. 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/intersection1.cc.di…

1 0

ppl/tests/Box max_min1.cc 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 14:10:43 Modified files: tests/Box : max_min1.cc Makefile.am Log message: Test max_min1.cc corrected and restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/max_min1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/tests/Box Makefile.am 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 12:52:53 Modified files: tests/Box : Makefile.am containsintegerpoint1.cc Log message: Improved and restored test on Box::contains_integer_points(). 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/containsintegerpoin…

1 0

ppl/src Interval.defs.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:52:06 Modified files: src : Interval.defs.hh Log message: Fixed Interval::contains_integer_points() so as to correctly handle the case of unbounded intervals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0