Daily Archives: December 27, 2018

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 […]