We have released a new version of CafeOBJ, which incorporates the following changes:
- CITP is officially renamed to PTcalc
- documents are not updated yet
- PTcalc (CITP) enhancements
:defis evaluated in the proof node to which it is applied
:initcan be without substitution
- Search predicate enhancements
- nested search is properly handled
show pathaccepts state specifier of the form
- Several bug fixes
Please see the download page for the source release, binary packages, and installation instructions.
Please report bugs to our Github project issue page.