[PPL-devel] ppl src/Polyhedron.cc tests/Makefile.am tests/ ...
Elisa Ricci
ericci at spartacus.cs.unipr.it
Tue Oct 8 12:29:37 CEST 2002
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci at cs.unipr.it 2002-10-08 12:29:37
Modified files:
src : Polyhedron.cc
tests : Makefile.am
Added files:
tests : bbrz02widening16.cc bbrz02widening17.cc
Log message:
Improved the third technique: the rays that we want to add are modified
so that they satisfy the constraints of "common_con_sys".
Added to test to verify these changes.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.245&r2=1.246
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening16.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening17.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&r1=1.129&r2=1.130
More information about the PPL-devel
mailing list