Tags give the ability to mark specific points in history as being important
-
1st_Provably_Correct_Commit_by_Mattias_Ulbrich
6b5d0f36 · ·First time code in KeY proven with KeY by Mattias Ulbrich
-
KEY-2.12.1
05635afb · · -
-
KeY-1.2.1
3f63b25c · ·Release of KeY 1.2.1 with backported bugfix for empty domain tests of intersection sorts.
-
-
KeY-1.4.0_Technology_Preview
65a71d18 · ·This version has been released as KeY 1.4.0 Technology Preview on Friday 5.9.2008
-
KeY-1.4.0_Technology_Preview_2
d316be18 · ·KeY-1.4.0 TP 2 release with fix for empty domain test of intersection sorts and a few other improvements.
-
-
-
-
-
-
KeY-2.0.2
ccdb7ef1 · ·KeY 2.0 maintanance update, contains soundness fixes and improved SMT support
-
KeY-2.10.0
abd930a0 · · -
KeY-2.12.0
96951d7a · · -
KeY-2.12.2
edb9fb2e · · -
-
-
-