Tags

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

ips4oTACAS

3b36996f · Comment lines in contract order · Apr 11, 2022
```
version of KeY used for the ips4o TACAS paper
```
KeY-2.12.2

edb9fb2e · change version number in gradle build script · Nov 10, 2023
KEY-2.12.1

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

96951d7a · repair POM generation using afterEvaluate · Aug 20, 2023
nightly

dd62d037 · Overhaul of the Configuration (#3031) · Apr 06, 2023
KeY-2.10.0

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

9849f7ba · change settings for gitlab repo · Dec 20, 2020
```
Version 2.8.0 of the KeY-System. Released in Dec, 2020
```
v2.8.0

9849f7ba · change settings for gitlab repo · Dec 20, 2020
```
Version 2.8.0 of the KeY-System. Released in Dec, 2020
```
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.8.0-rc1

45fd0e59 · set version to 2.8.0 · Nov 14, 2020
v2.8.0-rc1

45fd0e59 · set version to 2.8.0 · Nov 14, 2020
citool-v1.3.0-alpha

4d33de75 · incr version · Mar 10, 2020
citool-v1.2.0

9e503ada · fixes from mattias, new version · Feb 13, 2020
citool-v1.1.0

01730957 · version 1.1.0 released · Jan 31, 2020
key-ant

ca0cfd45 · Merge branch 'kueblerBsumTaclets' into 'master' · May 10, 2019
KeY-2.6.3

fe62903c · Fix endless loop on Oxygen (at least when using macOS) · Oct 11, 2017
```
This is the KeY 2.6.3 release
```
KeY-2.6.2

e1e05b61 · [Update] Change version number to KeY 2.6.2 · Apr 13, 2017
```
This version is KeY 2.6.2
```
KeY-2.6.1

5aaf3682 · Adding missing codebase entries to MANIFEST.MF files · Jan 31, 2017
KeY-2.6.0

f2101bb9 · Fixed version string and copyright · Dec 22, 2016

da-bpTeam10-KeY-NUI-Endabgabe

5ccc7956 · Merge branch 'da-bpTeam10' of ssh://i57git.iti.kit.edu/home/projekt/GIT_REPOS/key into da-bpTeam10 · Mar 31, 2016

Dies ist die Endabgabe im Bachelorpraktikum der Gruppe 10 im Wintersemester 2015/2016.
Matthias Schultheis
Patrick Jattke
Florian Breitfelder
Stefan Pilot