CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2005-03-05 14:11:16

Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: boundedbhrz03extrapolation1.cc

Log message: A new, very interesting, test program showing an analysis of linear invariants divided into phases: a first propagation phase (without widening), followed by a widening phase employing the "widening up to" technique and further preserving interval constraints. Notice that neither the H79 nor the BHRZ03 limited extrapolations (used as widenings here) allow to obtain the desired postfixpoint for this example (since they lose the crucial constraint `k <= 1'). Both the H79 and the BHRZ03 bounded extrapolation operators do achieve this result.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedbhrz03... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.d...