CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara@cs.unipr.it 2006-04-06 21:15:29
Modified files: src : Makefile.am Octagon.templates.hh Og_Status.inlines.hh tests/Octagon : chinainit.cc generalizedaffineimage6.cc mapspacedims1.cc
Log message: Several corrections.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... 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/src/Og_Status.inlines.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/chinainit.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/mapspacedims1.cc...