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