April 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Octagon Makefile.am addspacedims1.cc ...
by Enea Zaffanella 28 Apr '06

28 Apr '06

1 0

ppl/doc devref.doxyconf-html.in devref.doxycon ...
by Enea Zaffanella 28 Apr '06

28 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-28 23:32:39 Modified files: doc : devref.doxyconf-html.in devref.doxyconf-latex.in Log message: Class template Octagon renamed to Octagonal_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.…

1 0

ppl/src Makefile.am Og_Status.idefs.hh Og_Stat ...
by Enea Zaffanella 28 Apr '06

28 Apr '06

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Enea Zaffanella 28 Apr '06

28 Apr '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2006-04-28 21:50:18 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Corrected a spelling error. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

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

28 Apr '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-04-28 19:50:34 Modified files: htdocs/Documentation: ppl.bib Log message: Fixed Ancourt91th. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

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

28 Apr '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-04-28 19:50:16 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added DooseM05. 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 28 Apr '06

28 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-28 17:27:28 Modified files: src : Octagon.defs.hh Octagon.inlines.hh Octagon.templates.hh Log message: Improved the private methods Octagon<T>::forget_all_octagonal_constraints() and Octagon<T>::forget_binary_octagonal_constraints(). 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

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

28 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-28 16:46:18 Modified files: src : Octagon.defs.hh Octagon.inlines.hh Octagon.templates.hh Log message: Improved the private methods Octagon<T>::add_octagonal_constraint(). 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

ppl src/Octagon.templates.hh tests/Octagon/gen ...
by Barbara Quartieri 28 Apr '06

28 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-28 16:18:26 Modified files: src : Octagon.templates.hh tests/Octagon : generalizedaffinepreimage2.cc Log message: Corrected a bug in Octagon<T>::generalized_affine_preimage() and added some tests for it. Patches: 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/generalizedaffi…

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 28 Apr '06

28 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-04-28 14:48:35 Modified files: src : BD_Shape.templates.hh Log message: Corrected a couple of typos in the (optional) output produced by OK() when invarinats are violated. Renamed iterators in BD_Shape(const Generator_System&) so as to avoid misleading name clash with space dimension indices. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0