March 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron Makefile.am writeconsys1.cc
by Roberto Bagnara 06 Mar '07

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-06 09:56:05 Modified files: tests/Polyhedron: Makefile.am writeconsys1.cc Log message: Test completed and FIXME resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writeconsys1…

1 0

ppl/tests/Polyhedron variablesset1.cc
by Roberto Bagnara 06 Mar '07

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-06 08:13:09 Modified files: tests/Polyhedron: variablesset1.cc Log message: FIXME resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/variablesset…

1 0

ppl/tests/Polyhedron writerelation1.cc
by Roberto Bagnara 06 Mar '07

06 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-06 07:47:20 Modified files: tests/Polyhedron: writerelation1.cc Log message: This test program was not testing anything: fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/writerelatio…

1 0

ppl/tests/Octagonal_Shape maxspacedim1.cc
by Roberto Bagnara 05 Mar '07

05 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-05 21:46:18 Modified files: tests/Octagonal_Shape: maxspacedim1.cc Log message: This test program was not testing anything: fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/maxspac…

1 0

ppl/tests/BD_Shape maxspacedim1.cc
by Roberto Bagnara 05 Mar '07

05 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-05 21:41:19 Modified files: tests/BD_Shape : maxspacedim1.cc Log message: This test program was not testing anything: fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/maxspacedim1.c…

1 0

ppl/tests/BD_Shape writebdshape1.cc
by Roberto Bagnara 05 Mar '07

05 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-05 21:01:53 Modified files: tests/BD_Shape : writebdshape1.cc Log message: This test program was not testing anything: fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/writebdshape1.…

1 0

ppl/src Direct_Product.inlines.hh Grid.defs.hh ...
by Roberto Bagnara 05 Mar '07

05 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-05 18:17:25 Modified files: src : Direct_Product.inlines.hh Grid.defs.hh Grid.templates.hh Log message: Method Grid::get_covering_box() now takes as parameter a reference to an object of class Parma_Polyhedra_Library::Box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Roberto Bagnara 05 Mar '07

05 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-05 18:05:42 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 Log message: No longer use private Box methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

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

05 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-05 18:01:36 Modified files: src : Box.defs.hh Box.inlines.hh Grid.defs.hh Log message: Got rid of methods Box::raise_lower_bound() and Box::lower_upper_bound(). 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

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

05 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-05 17:55:51 Modified files: src : Box.defs.hh Box.inlines.hh Log message: Privatized const Interval& Box<Interval>::operator[](dimension_type k) const. Drafted const Interval& Box<Interval>::get_interval(Variable) const and void Box<Interval>::set_interval(Variable, const Interval&). 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