April 2006 - PPL-devel - BUGSENG Mailman

ppl/src OR_Matrix.defs.hh
by Barbara Quartieri 14 Apr '06

14 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-14 15:50:39 Modified files: src : OR_Matrix.defs.hh Log message: Corrected some wrong comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cv…

1 0

ppl/tests/Grid affineimage2.cc join1.cc
by Patricia Hill 13 Apr '06

13 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-04-13 15:32:24 Modified files: tests/Grid : affineimage2.cc join1.cc Log message: Added extra tests to match the running example in the Muller-Olm and Seidl 2005 ESOP paper. Small improvements to the tests using the example in the Muller-Olm and Seidl 2005 SAS paper Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage2.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsr…

1 0

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

12 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-12 13:05:43 Modified files: src : Octagon.inlines.hh Log message: Restored a missing '#ifdef' line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?c…

1 0

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

12 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-12 11:13:23 Modified files: src : Octagon.inlines.hh Log message: Removed the redundant definition of div_round_up: it is already in BD_Shape.inlines.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?c…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 12 Apr '06

12 Apr '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-04-12 08:12:37 Modified files: htdocs/Documentation: ppl_citations.bib Log message: FrehseKR06 fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl/src Octagon.defs.hh Octagon.inlines.hh Oct ...
by Barbara Quartieri 11 Apr '06

11 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-11 17:06:54 Modified files: src : Octagon.defs.hh Octagon.inlines.hh Octagon.templates.hh Log message: Removed the unnecessary algorithms of strong closure and incremental strong closure. 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.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 11 Apr '06

11 Apr '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-04-11 13:32:40 Modified files: htdocs/Documentation: ppl.bib Log message: BagnaraHZ05STTT renamed BagnaraHZ06STTT; year field changed to 2006. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

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

10 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-10 16:11:06 Modified files: src : Octagon.defs.hh Octagon.templates.hh tests/Octagon : Makefile.am Added files: tests/Octagon : affinedimension1.cc Log message: Added a new method `Octagon::affine_dimension()'. Defined a new function `Octagon::compute_leaders(leader)' that the above method uses. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinedimension… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif…

1 0

ppl/tests/Octagon octdifference1.cc octdiffere ...
by Elena Mazzi 10 Apr '06

10 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-10 14:01:12 Added files: tests/Octagon : octdifference1.cc octdifference2.cc octdifference3.cc Removed files: tests/Octagon : polydifference1.cc polydifference2.cc polydifference3.cc Log message: Tests polydifference* renamed octdifference*. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octdifference1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octdifference2.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octdifference3.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polydifference1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polydifference2… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polydifference3…

1 0

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

10 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-10 13:57:17 Modified files: src : Octagon.defs.hh Octagon.templates.hh tests/Octagon : Makefile.am exceptions1.cc Log message: Method Octagon::poly_difference_assign() renamed Octagon::oct_difference_assign(). Corrected a bug in Octagon::oct_difference_assign(). Improved Octagon::transitive_reduction_assign() using two new functions: Octagon::compute_nexts() and Octagon::compute_leaders(). 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions1.cc.…

1 0