-
-
-
KeY-2.6.3
This is the KeY 2.6.3 release
-
KeY-2.8.0
Version 2.8.0 of the KeY-System. Released in Dec, 2020
-
-
KeY-C-prcs
This version of KeY-C is the same as the last one on the prcs branch which had an additional checkin after the move to git.
-
KeY-Creol-Dylla-MT
KeY-Creol version of Maximilians master thesis
-
-
KeY-Hoare-0.1.4
This version has been released as KeY-Hoare-0.1.4
-
KeY-Hoare-0.1.5
This version has been published as KeY-Hoare-0.1.5. The only change was a fix to for proof loading.
-
-
KeY-Hoare-0.1.7
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-Hoare-0.1.8
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
-
-
KeYmaera-measurements
official KeYmaera measurements, performance assessment and evaluation, for version dbc824583e8ed39a3a0e0b98560f435575863c17
-
-
-
-
da-bpTeam10-KeY-NUI-Endabgabe
Dies ist die Endabgabe im Bachelorpraktikum der Gruppe 10 im Wintersemester 2015/2016. Matthias Schultheis Patrick Jattke Florian Breitfelder Stefan Pilot
-
hscc_numbers
This version of KeYmaera was used to generate the numbers presented in HSCC'08 short paper.