Skip to content
KeY-Hoare-0.1.7
default avatar
bubel@chalmers.se
3f6d9d67 · Several bugfixes, see below: · 
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