We have released a new version of CafeOBJ, which incorporates the following changes:
- improved memoization
- higher heap allocation on 64bit systems
- fixes to
.cafeobjfile handling - new switch ‘show every finding’
- optimization fixes and dead code removal
Please see the download page for the source release, binary packages, and installation instructions.
Please report bugs to our Github project issue page.