-
v1.1.5 Release: Simplifier, unroll bound, MapMerge for z3 maps, error reporting, sbt and java versions
-
-
v1.0.2
Version 1.0.2 sets up for git hashed versions
-
-
v1.0
Version 1.0 of Inox. Subsumes solving capabilities of Leon 3.0.
Version 1.0.2 sets up for git hashed versions
Version 1.0 of Inox. Subsumes solving capabilities of Leon 3.0.