-
KeY-1.2 This is the version released as KeY-1.2.0
-
KeY-1.2.1 Release of KeY 1.2.1 with backported bugfix for empty domain tests of intersection sorts.
-
KeY-1.4.0_Technology_Preview This version has been released as KeY 1.4.0 Technology Preview on Friday 5.9.2008
-
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.4.0_Technology_Preview_3 KeY-1.4.0 TP 3 release. Fixes broken RespectsModifiesPO
-
KeY-1.4.0 This version has been released as KeY 1.4.0.
-
KeY-1.6.0 This is KeY 1.6.0 released 6th Oct. 2010.
-
KeY-2.0.1 Some bugfixes to 2.0.0
-
KeY-2.0.2 KeY 2.0 maintanance update, contains soundness fixes and improved SMT support
-
KeY-2.6.2 This version is KeY 2.6.2