KeY 2.12

With a small delay after theĀ 19th KeY Symposium, we are very happy to present the new 2.12 release of KeY.

You can download it from GitHub.

KeY 2.12 contains many new features, most prominently support for floating points. In addition, KeY now fully supports JML assert/assume statements, JML math modifiers (spec_bigint_math, spec_java_math, …), and features a proof slicing extension which can be used to slice unnecessary rule applications from proofs.

Besides these, KeY contains many more improvements and bug fixes (see the release page for the full changelog).

Thanks to all developers and testers for your efforts!
The KeY Team