September 2006 - PPL-devel - BUGSENG Mailman

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-09-21 14:04:32 Modified files: src : Octagonal_Shape.templates.hh Log message: Removed a redundant assertion 'assert(OK())' from the method void Octagonal_Shape<T>::limited_CC76_extrapolation_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Polyhedron membytes1.cc
by Andrea Cimino 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-21 13:50:27 Modified files: tests/Polyhedron: membytes1.cc Log message: Modified to be compliant to the new standards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/membytes1.cc…

1 0

ppl/src LP_Problem.defs.hh
by Andrea Cimino 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-21 13:44:52 Modified files: src : LP_Problem.defs.hh Log message: Fixed some typos in the documentation, thanks to Sebastian Pop. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c…

1 0

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-09-21 13:28:10 Modified files: src : Octagonal_Shape.templates.hh Log message: Removed a redundant assertion 'assert(OK())' from the method void Octagonal_Shape<T>::map_space_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Polyhedron maxspacedim1.cc
by Andrea Cimino 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-21 13:19:58 Modified files: tests/Polyhedron: maxspacedim1.cc Log message: Modified to be compliant to the new standards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/maxspacedim1…

1 0

ppl/tests/Polyhedron matrix1.cc
by Andrea Cimino 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-21 13:16:40 Modified files: tests/Polyhedron: matrix1.cc Log message: Modified to be compliant to the new standards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/matrix1.cc.d…

1 0

ppl/tests/Polyhedron limitedbhrz03extrapolatio ...
by Andrea Cimino 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-21 13:11:54 Modified files: tests/Polyhedron: limitedbhrz03extrapolation1.cc Log message: Modified to be compliant to the new standards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/limitedbhrz0…

1 0

ppl/tests/Polyhedron append2.cc
by Andrea Cimino 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-21 13:08:25 Modified files: tests/Polyhedron: append2.cc Log message: Modified to be compliant to the new standards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/append2.cc.d…

1 0

ppl/src BD_Shape.inlines.hh BD_Shape.templates.hh
by Elena Mazzi 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-09-21 13:04:55 Modified files: src : BD_Shape.inlines.hh BD_Shape.templates.hh Log message: Removed some redundant assertions `assert(OK())' from: - concatenate_assign(); - map_space_dimensions(); - limited_CC76_extrapolation_assign(); - limited_BHMZ05_extrapolation_assign(); - generalized_affine_image(); - generalized_affine_preimage(); - BD_Shape(const Generator_System& gs); - BD_Shape(const Constraint_System& cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/Polyhedron append1.cc
by Andrea Cimino 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-21 12:55:19 Modified files: tests/Polyhedron: append1.cc Log message: Modified to be compliant to the new standards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/append1.cc.d…

1 0