APRON 0.9.10: APRON PPL standard options

[Index]

APRON PPL standard options

Currently, the only options available are related to the widening operators.

Function algo Comments

widening <=0 CH78 standard widening (Cousot & Halbwachs, POPL'1978).

>0 BHRZ03 widening (Bagnara, Hill, Ricci & Zafanella, SAS'2003)

widening_threshold <=0 standard widening with threshold

=1 standard widening with threshold, intersected by the bounding box of the convex hull pof the two arguments

<=0 standard widening with threshold

=1 standard widening with threshold, intersected by the bounding box of the convex hull of the second argument. This is actually an extrapolation rather than a widening (termination is not guaranteed)

=2 BHRZ03 widening with threshold

=3 BHRZ03 widening with threshold, intersected by the bounding box of the convex hull of the second argument. This is actually an extrapolation rather than a widening (termination is not guaranteed)

This document was generated by Bertrand Jeannet on December, 22 2009 using texi2html

Function	algo	Comments

widening	<=0	CH78 standard widening (Cousot & Halbwachs, POPL'1978).
	>0	BHRZ03 widening (Bagnara, Hill, Ricci & Zafanella, SAS'2003)

widening_threshold	<=0	standard widening with threshold
	=1	standard widening with threshold, intersected by the bounding box of the convex hull pof the two arguments
	<=0	standard widening with threshold
	=1	standard widening with threshold, intersected by the bounding box of the convex hull of the second argument. This is actually an extrapolation rather than a widening (termination is not guaranteed)
	=2	BHRZ03 widening with threshold
	=3	BHRZ03 widening with threshold, intersected by the bounding box of the convex hull of the second argument. This is actually an extrapolation rather than a widening (termination is not guaranteed)