April 2006 - PPL-devel - BUGSENG Mailman

ppl/src Octagonal_Shape.defs.hh
by Enea Zaffanella 30 Apr '06

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-30 19:26:43 Modified files: src : Octagonal_Shape.defs.hh Log message: Removed declarations for no longer used alternative implementations of (incremental) strong closure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 30 Apr '06

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-30 18:46:13 Modified files: src : Octagonal_Shape.templates.hh Log message: Corrected a bug in Octagonal_Shape<T>::affine_preimage(). Erased some duplicated code lines and corrected the insertion of constraints in Octagonal_Shape<T>::generalized_affine_preimage(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Octagon generalizedaffinepreimage1.c ...
by Barbara Quartieri 30 Apr '06

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-30 18:39:14 Modified files: tests/Octagon : generalizedaffinepreimage1.cc generalizedaffinepreimage2.cc Log message: Adjusted the number of tests in both files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi…

1 0

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

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-30 18:13:23 Modified files: tests/Octagon : addspacedims1.cc generalizedaffineimage1.cc generalizedaffinepreimage2.cc mapspacedims1.cc relatwithcons1.cc relatwithcons2.cc relatwithgen1.cc Log message: Corrected some inaccuracies. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/mapspacedims1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relatwithcons1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relatwithcons2.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relatwithgen1.c…

1 0

ppl/src Octagonal_Shape.inlines.hh
by Enea Zaffanella 30 Apr '06

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-30 15:16:23 Modified files: src : Octagonal_Shape.inlines.hh Log message: Avoid useless inclusions of iostream, sstream and stdexcept. Avoid a few useless braces. Deleted useless function strong_coherence_local_step(). Deleted functions get_matrix_element() (use OR_Matrix<T>::at() instead). Some improvements (in particular, in assertion checking) in methods add_octagonal_constraint() and forget_octagonal_constraints(). A few documentation improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h…

1 0

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

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-30 15:11:33 Modified files: src : OR_Matrix.defs.hh OR_Matrix.inlines.hh Log message: Added methods at(dimension_type, dimension_type) that provide controlled access to the matrix as if it was a square matrix. Corrected method clear(). 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

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 30 Apr '06

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-30 15:09:28 Modified files: src : Octagonal_Shape.templates.hh Log message: Corrected a bug in affine_dimension() regarding the identification of the singular zero-equivalence class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Octagon Makefile.am
by Enea Zaffanella 30 Apr '06

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-30 10:57:18 Modified files: tests/Octagon : Makefile.am Log message: Added support for testing with several types of coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 30 Apr '06

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-30 10:56:27 Modified files: doc : definitions.dox Log message: Drafted a common section for describing both BDSs and OSs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Octagonal_Shape.defs.hh
by Enea Zaffanella 30 Apr '06

30 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-30 10:55:33 Modified files: src : Octagonal_Shape.defs.hh Log message: Corrected a LaTeX error in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0