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 for the source release, binary packages, and installation instructions. Please […]