Yearly Archives: 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 […]


CafeOBJ 1.5.8 released

We have released a new version of CafeOBJ, which incorporates new commands and fixes for CITP. Please see the for the source release, binary packages, and installation instructions. For the moment Windows builds are only available based on Allegro CL due to incompatibilities between Windows SBCL and CafeOBJ. CafeOBJ 1.5.8 […]


CafeOBJ 1.5.7 released

We have released a new version of CafeOBJ, which incorporates mostly fixes for CITP as well as updates to work with newer versions of SBCL. Please see the for the source release, binary packages, and installation instructions. For the moment Windows builds are only available based on Allegro CL due […]