May 2006 - PPL-devel - BUGSENG Mailman

ppl/src OR_Matrix.defs.hh OR_Matrix.inlines.hh ...
by Enea Zaffanella 02 May '06

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-02 10:29:04 Modified files: src : OR_Matrix.defs.hh OR_Matrix.inlines.hh Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Log message: OR_Matrix should know nothing about coherence. Methods at() moved in Octagonal_Shape and named matrix_at(). 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h…

1 0

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 02 May '06

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-02 10:27:38 Modified files: src : Octagonal_Shape.templates.hh Log message: Corrected a bug in is_strongly_reduced(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 02 May '06

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-02 09:31:55 Modified files: src : Octagonal_Shape.templates.hh Log message: A few improvements to comments. Added some missing const qualifiers; removed redundant parentheses. Some improvements to the incremental strong closure procedure (mainly in readability). Corrected strong_coherence_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Octagon bhmz05widening1.cc limitedbh ...
by Barbara Quartieri 01 May '06

01 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-01 12:00:19 Modified files: tests/Octagon : bhmz05widening1.cc limitedbhmz05extrapolation1.cc Log message: Corrected some wrong tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/bhmz05widening1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedbhmz05ex…

1 0