Tags

Tags give the ability to mark specific points in history as being important

1st_Provably_Correct_Commit_by_Mattias_Ulbrich

6b5d0f36 · adding a KeY-proven line wrapping method. · Mar 22, 2021
```
First time code in KeY proven with KeY by Mattias Ulbrich
```
KEY-2.12.1

05635afb · Misc. UI fixes (#3258) · Oct 13, 2023
KeY-1.2

0723d1db · * fixed sound play in bytecode and webstart version · Nov 30, 2007
```
This is the version released as KeY-1.2.0
```

3f63b25c · Backport enhanced for loop to Java2 comptible while loop · Sep 28, 2008

Release of KeY 1.2.1 with backported bugfix for empty domain tests of intersection sorts.

KeY-1.4.0

68b8149d · removed lib dependency from jnlp file · Mar 25, 2009
```
This version has been released as KeY 1.4.0.
```

KeY-1.4.0_Technology_Preview

65a71d18 · Fixed typo · Sep 04, 2008

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 · Fix email address · Sep 28, 2008

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

dd5c5891 · Fixed version strings · Oct 06, 2008
```
KeY-1.4.0 TP 3 release. Fixes broken RespectsModifiesPO
```
KeY-1.6.0

8f17586b · removed usage of log4j · Oct 06, 2010
```
This is KeY 1.6.0 released 6th Oct. 2010.
```
KeY-1.6.5

f1f77fb1 · cherry-pick 34a0b58f bugfix #1267 · Jan 23, 2013
KeY-2.0.0

04e0b5e7 · Merge branch 'master' of ssh://i12cvs.ira.uka.de/home/projekt/GIT_REPOS/key into KeY2.0 · Apr 18, 2013
KeY-2.0.1

371ca72a · fix after cherry-pick · Jun 19, 2013
```
Some bugfixes to 2.0.0
```
KeY-2.0.2

ccdb7ef1 · [bugfix] let \fresh imply non-null (bug #1364) · Sep 19, 2013
```
KeY 2.0 maintanance update, contains soundness fixes and improved SMT support
```
KeY-2.10.0

abd930a0 · Fix version information in README.md · Dec 23, 2021
KeY-2.12.0

96951d7a · repair POM generation using afterEvaluate · Aug 20, 2023
KeY-2.12.2

edb9fb2e · change version number in gradle build script · Nov 10, 2023
KeY-2.2.0

7807e29d · Eclipse projects: Updated license headers · Apr 29, 2014
KeY-2.2.1

2cff144e · Fixed Copyright in Main Window · May 27, 2014
KeY-2.2.2

756f0bd6 · Minor updates to readme files · Jul 11, 2014
KeY-2.2.3

22a0aa71 · [doc] changelog for 2.2.3 · Oct 06, 2014

Prev
1
2
3
Next