Module Apron_domain

Experimental binding for the numerical abstract domains provided by the APRON library: http://apron.cri.ensmp.fr/library For now, this binding only processes scalar integer variables.

val octagon : Eva__.Abstractions.flag
val box : Eva__.Abstractions.flag
val polka_loose : Eva__.Abstractions.flag
val polka_strict : Eva__.Abstractions.flag
val polka_equality : Eva__.Abstractions.flag