-
KeY-2.0.2
KeY 2.0 maintanance update, contains soundness fixes and improved SMT support
-
KeY-Creol-Dylla-MT
KeY-Creol version of Maximilians master thesis
-
KeY-Hoare-0.1.8
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-1.4.0
This version has been released as KeY 1.4.0.
-
KeY-Hoare-0.1.7
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_3
KeY-1.4.0 TP 3 release. Fixes broken RespectsModifiesPO
-
KeY-1.4.0_Technology_Preview_2
KeY-1.4.0 TP 2 release with fix for empty domain test of intersection sorts and a few other improvements.
-
KeY-1.2.1
Release of KeY 1.2.1 with backported bugfix for empty domain tests of intersection sorts.
-
KeYmaera-measurements
official KeYmaera measurements, performance assessment and evaluation, for version dbc824583e8ed39a3a0e0b98560f435575863c17
-
KeY-1.4.0_Technology_Preview
This version has been released as KeY 1.4.0 Technology Preview on Friday 5.9.2008
-
hscc_numbers
This version of KeYmaera was used to generate the numbers presented in HSCC'08 short paper.