Tags

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

KeY-2.4.1

22bebe63 · [gui] changing the splash screen · Feb 18, 2015
KeY-2.4.0

b2094f3c · Minor bugfixes for test case generation. · Feb 17, 2015
KeY-2.2.3

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

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

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

7807e29d · Eclipse projects: Updated license headers · Apr 29, 2014
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.0.1

371ca72a · fix after cherry-pick · Jun 19, 2013
```
Some bugfixes to 2.0.0
```
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-1.6.5

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

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

c2ebc1c5 · Fix bug in pretty printer · Dec 02, 2009
```
release of KeY Hoare 0.1.9
```
KeY-Creol-Dylla-MT

f0bee48f · moved Position, PositionInfo and NameAbstractionTable to · Jun 22, 2009
```
KeY-Creol version of Maximilians master thesis
```

KeY-Hoare-0.1.8

a93b0b80 · Fixed Makefile (now really) · Apr 23, 2009

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

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

e99ceb92 · No commit message · Dec 24, 2008

KeY-Hoare-0.1.7

3f6d9d67 · Several bugfixes, see below: · Nov 21, 2008

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

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

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.2.1

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.