Roadmap Why3 1.2.0
-
support for counterexamples: instrument new WP calculi, fix issue #133 (closed) -
fix issue #206 (closed) on effect interference during extraction -
support for new Z3 issue #250 (closed) -
support LablGTK3 -
document counterexamples -
document the let ref
, cf commit 23 october 10e54f43 -
fix issue #239 (closed) about extraction of named lambdas