-
-
-
-
-
-
-
KeY-2.0.2ccdb7ef1 · ·
KeY 2.0 maintanance update, contains soundness fixes and improved SMT support
-
-
-
-
-
-
-
KeY-Hoare-0.1.8a93b0b80 · ·
This version has been published as KeY-Hoare-0.1.8 * it contains a bug fix for the execution time calculus * it is up-to-date with the post 1.4.0 master branch
-
-
-
KeY-Hoare-0.1.73f6d9d67 · ·
KeY-Hoare Version 0.1.7 Features: * integer and boolean typed arrays * own parser for Hoare programs Fixes: * fixed line and column positions in error messages * fixed loading of a few left-over Java rules
-
-
KeY-1.4.0_Technology_Preview_2d316be18 · ·
KeY-1.4.0 TP 2 release with fix for empty domain test of intersection sorts and a few other improvements.
-
KeY-1.2.13f63b25c · ·
Release of KeY 1.2.1 with backported bugfix for empty domain tests of intersection sorts.