Release of version 1.4.0 (2022-03-23):
- Minimized Version for the use with different KeY version
- Added support for writing out proof statistic file into a JSON file, see option
-s
.
If you want to gather statistics you can use script like this. - Bug-fix: Proof-path are now treated correctly and recursively.
- Bundled with KeY-2.10.0 from KeY's maven repository.