Tags

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

KeYmaera-measurements

dbc82458 · (comment) · Aug 20, 2008

official KeYmaera measurements, performance assessment and evaluation, for version dbc824583e8ed39a3a0e0b98560f435575863c17

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-Hoare-0.1.6

dc7d75be · Small fix in pp · Jan 29, 2008
statistics-fpdi

df337f58 · Fixed assertion tests when disabled. · Jan 27, 2008

6fe02742 · removed the anonymous update invariant rule · Nov 08, 2007

This version of KeYmaera was used to generate the numbers presented in HSCC'08 short paper.

39ceb52c · Added a patch to sync git with prcs and apply changes that have been brought... · Jan 17, 2008

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-Hoare-0.1.5

c5ac5393 · Fix proof loading · Jan 16, 2008

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

038e6a46 · Fixed a pretty printer bug · Dec 05, 2007
```
This version has been released as KeY-Hoare-0.1.4
```
KeY-Hoare-0.1.3

fdc15774 · * fixed branding · Dec 03, 2007
```
This version has been released as KeY-Hoare 0.1.3
```
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
```

Prev
1
2
3
Next