March 2007 - PPL-devel - BUGSENG Mailman

ppl ./NEWS interfaces/C/ppl_interface_generato ...
by Roberto Bagnara 04 Mar '07

04 Mar '07

1 0

ppl src/Grid.templates.hh tests/Grid/boundingb ...
by Patricia Hill 04 Mar '07

04 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-03-04 18:44:45 Modified files: src : Grid.templates.hh tests/Grid : boundingbox1.cc Log message: Use add_constraint() instead of raise_lower_bound() and lower_upper_bound() Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox1.cc.di…

1 0

ppl/tests/Box Makefile.am
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 18:21:45 Modified files: tests/Box : Makefile.am Log message: Testing with intervals with long double boundaries enabled again. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/src Box.templates.hh
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 18:21:30 Modified files: src : Box.templates.hh Log message: Fixed Box<Interval>::max_min(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Boundary.defs.hh Checked_Number.defs.h ...
by Abramo Bagnara 04 Mar '07

04 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-03-04 17:43:09 Modified files: src : Boundary.defs.hh Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Added more versatile comparison functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src Direct_Product.defs.hh
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 17:18:11 Modified files: src : Direct_Product.defs.hh Log message: Removed declaration for void get_covering_box(Box&) const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di…

1 0

ppl/tests/Polyhedron frombox2.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 17:14:57 Modified files: tests/Polyhedron: frombox2.cc Log message: No longer use Box::raise_lower_bound() and Box::lower_upper_bound(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/frombox2.cc.…

1 0

ppl/tests/Box empty1.cc fromdirectproduct1.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 16:46:24 Modified files: tests/Box : empty1.cc fromdirectproduct1.cc fromgrid1.cc frompolyhedron2.cc Log message: No longer use Box::raise_lower_bound() and Box::lower_upper_bound(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/empty1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/fromdirectproduct1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/fromgrid1.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frompolyhedron2.cc.…

1 0

ppl/tests/Polyhedron frombox1.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 16:30:36 Modified files: tests/Polyhedron: frombox1.cc Log message: No longer use Box::raise_lower_bound() and Box::lower_upper_bound(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/frombox1.cc.…

1 0

ppl/src Determinate.defs.hh Determinate.inline ...
by Roberto Bagnara 04 Mar '07

04 Mar '07

1 0