April 2003 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron_widenings.cc
by Roberto Bagnara 27 Apr '03

27 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-27 09:01:17 Modified files: src : Polyhedron_widenings.cc Log message: Some debugging output removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0

ppl/src Polyhedron_widenings.cc
by Roberto Bagnara 27 Apr '03

27 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-27 08:59:51 Modified files: src : Polyhedron_widenings.cc Log message: Declare variables `const' whenever possible or desirable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0

ppl/src Polyhedron_public.cc
by Roberto Bagnara 26 Apr '03

26 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-26 20:56:45 Modified files: src : Polyhedron_public.cc Log message: Declare variables `const' whenever possible or desirable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Polyhedron_nonpublic.cc
by Roberto Bagnara 26 Apr '03

26 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-26 19:31:46 Modified files: src : Polyhedron_nonpublic.cc Log message: Declare variables `const' whenever possible or desirable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl README
by Roberto Bagnara 26 Apr '03

26 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-26 19:30:50 Modified files: . : README Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

ppl NEWS
by Roberto Bagnara 26 Apr '03

26 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-26 19:20:19 Modified files: . : NEWS Log message: Tentative release date for PPL 0.5 is April 28, 2003. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.74…

1 0

ppl/src SatMatrix.cc SatMatrix.inlines.hh
by Roberto Bagnara 26 Apr '03

26 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-26 15:58:00 Modified files: src : SatMatrix.cc SatMatrix.inlines.hh Log message: Declare variables `const' whenever possible or desirable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff…

1 0

ppl/src SatRow.cc SatRow.inlines.hh
by Roberto Bagnara 26 Apr '03

26 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-26 15:52:38 Modified files: src : SatRow.cc SatRow.inlines.hh Log message: Declare variables `const' whenever possible or desirable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv…

1 0

ppl/src Matrix.cc
by Enea Zaffanella 26 Apr '03

26 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-26 14:24:31 Modified files: src : Matrix.cc Log message: Added comments to Matrix::sort_rows(first, last). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl NEWS TODO
by Roberto Bagnara 26 Apr '03

26 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-26 14:21:57 Modified files: . : NEWS TODO Log message: Widening with tokens announced in the NEWS file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.73… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.51…

1 0