April 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Octagon ascii_dump_load1.cc
by Barbara Quartieri 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-27 12:53:07 Modified files: tests/Octagon : ascii_dump_load1.cc Log message: Tests for Octagon::affine_image() rewritten according to the new guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ascii_dump_load…

1 0

ppl/tests/Octagon affinepreimage1.cc affinepre ...
by Barbara Quartieri 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-27 12:49:14 Modified files: tests/Octagon : affinepreimage1.cc affinepreimage2.cc Log message: Tests for Octagon::affine_preimage() rewritten according to the new guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage2…

1 0

ppl/tests/Octagon affineimage1.cc affineimage2.cc
by Barbara Quartieri 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-27 12:41:29 Modified files: tests/Octagon : affineimage1.cc affineimage2.cc Log message: Tests for Octagon::affine_image() rewritten according to the new guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affineimage2.cc…

1 0

ppl/src Octagon.templates.hh
by Enea Zaffanella 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-27 12:32:15 Modified files: src : Octagon.templates.hh Log message: Committed an improved version of the inner loop of strong_closure_assign(), avoiding repeated conditional tests and coherent indexes computations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff…

1 0

ppl/tests/Octagon addspacedims1.cc
by Barbara Quartieri 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-27 12:31:13 Modified files: tests/Octagon : addspacedims1.cc Log message: Tests for Octagon::add_space_dimensions_and_embed() and Octagon::add_space_dimensions_and_project() rewritten according to the new guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims1.c…

1 0

ppl/src Octagon.templates.hh
by Barbara Quartieri 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-27 12:23:23 Modified files: src : Octagon.templates.hh Log message: Corrected the functions Octagon<T>::affine_image(), Octagon<T>::affine_preimage(), Octagon<T>::generalized_affine_image(const Variable var, const Relation_Symbol relsym, const Linear_Expression& expr , Coefficient_traits::const_reference denominator), Octagon<T>::generalized_affine_image(const Linear_Expression& lhs, const Relation_Symbol relsym, const Linear_Expression& rhs). Added the function Octagon<T>::generalized_affine_preimage(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff…

1 0

ppl/src Octagon.inlines.hh
by Barbara Quartieri 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-27 12:04:33 Modified files: src : Octagon.inlines.hh Log message: Defined the function Octagon<T>::forget_binary_octagonal_constraints(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?c…

1 0

ppl/src Octagon.defs.hh
by Barbara Quartieri 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-27 12:00:08 Modified files: src : Octagon.defs.hh Log message: Added the new functions void forget_binary_octagonal_constraints() and void generalized_affine_preimage(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.defs.hh.diff?cvsr…

1 0

ppl/src Octagon.defs.hh Octagon.templates.hh
by Elena Mazzi 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-27 10:38:21 Modified files: src : Octagon.defs.hh Octagon.templates.hh Log message: Renamed `compute_nexts()' with `compute_successors()'. Replaced the word `next' with `successor'. Removed an obsolete line in Octagon::strong_reduction_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff…

1 0

ppl/src OR_Matrix.defs.hh OR_Matrix.inlines.hh
by Enea Zaffanella 26 Apr '06

26 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-26 14:48:51 Modified files: src : OR_Matrix.defs.hh OR_Matrix.inlines.hh Log message: Removed unused method OR_Matrix::erase_to_end(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.inlines.hh.diff…

1 0