[PPL-devel] ppl/tests/Polyhedron Makefile.am boundedbhrz03 ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at 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/boundedbhrz03extrapolation1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.diff?cvsroot=ppl&r1=1.11&r2=1.12