CafeOBJ 1.6.0 released

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
    • :init defined by :def is evaluated in the proof node to which it is applied
    • :init can be without substitution
  • Search predicate enhancements
    • nested search is properly handled
    • show path accepts state specifier of the form depth-state
  • 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.

Leave a comment

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