CafeOBJ 1.5.9 released

We have released a new version of CafeOBJ, which incorporates the following changes:

  • improved memoization
  • higher heap allocation on 64bit systems
  • fixes to .cafeobj file 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.

Leave a comment

Your email address will not be published. Required fields are marked *