- PPL-devel - BUGSENG Mailman

ppl doc/devref-browse.doxyconf-latex.in doc/de ...
by Roberto Bagnara 24 Feb '03

24 Feb '03

1 0

ppl/src Init.cc Makefile.am Polyhedron.cc glob ...
by Enea Zaffanella 24 Feb '03

24 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-24 16:59:34 Modified files: src : Init.cc Makefile.am Polyhedron.cc globals.cc globals.hh Added files: src : Statistics.hh Log message: Removed from globals.hh and globals.cc all the stuff related to statistics and placed into Statistics.hh; modified Polyhedron.cc and Init.cc accordingly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Statistics.hh?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/tests bhrz03widening2.cc limitedbhrz03wide ...
by Enea Zaffanella 23 Feb '03

23 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-23 21:52:14 Modified files: tests : bhrz03widening2.cc limitedbhrz03widening1.cc Log message: Restored expected result after correction on evolving points technique. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening2.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbhrz03widening1.…

1 0

ppl src/Polyhedron.cc tests/Makefile.am tests/ ...
by Enea Zaffanella 23 Feb '03

23 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-23 20:01:23 Modified files: src : Polyhedron.cc tests : Makefile.am bhrz03widening3.cc Log message: Improved is_BHRZ03_stabilizing to always avoid considering the low-level constraints when comparing the number of constraints. As a consequence, changed back the known result of test bhrz03widening3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening3.cc.diff…

1 0

ppl TODO
by Roberto Bagnara 23 Feb '03

23 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-23 16:49:55 Modified files: . : TODO Log message: Remember to comment uncommented classes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.30…

1 0

ppl/doc devref.tex user.tex
by Roberto Bagnara 23 Feb '03

23 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-23 09:28:03 Modified files: doc : devref.tex user.tex Log message: Thank the CoVer project. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl…

1 0

ppl/src conversion.cc
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 22:06:28 Modified files: src : conversion.cc Log message: Two FIXMEs dealt with and removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 22:05:21 Modified files: htdocs/Download: requirements.raw Log message: Make it clear that versions of GCC prior to 3.0 cannot be used to build the PPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl/src Row.inlines.hh SatRow.inlines.hh
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 21:57:28 Modified files: src : Row.inlines.hh SatRow.inlines.hh Log message: Redundant comment removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv…

1 0

ppl/src Row.inlines.hh SatRow.inlines.hh
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 21:42:24 Modified files: src : Row.inlines.hh SatRow.inlines.hh Log message: FIXMEs related to Doxygen's bugs removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv…

1 0