-
1st_Provably_Correct_Commit_by_Mattias_Ulbrich
First time code in KeY proven with KeY by Mattias Ulbrich
-
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
This version has been released as KeY 1.4.0.
-
KeY-1.4.0_Technology_Preview65a71d18 · Fixed typo ·
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-2.0.2
KeY 2.0 maintanance update, contains soundness fixes and improved SMT support