CafeOBJ 1.6.0 released
We have released version 1.6.0 of CafeOBJ, an algebraic specification and verification language.
This release 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
To quote from our README:
CafeOBJ is a new generation algebraic specification and programming language. As a direct successor of OBJ, it inherits all its features (flexible mix-fix syntax, powerful typing system with sub-types, and sophisticated module composition system featuring various kinds of imports, parameterised modules, views for instantiating the parameters, module expressions, etc.) but it also implements new paradigms such as rewriting logic and hidden algebra, as well as their combination.
Binary packages for Linux, MacOS, and Windows are already available, both in 32 and 64 bit and based on Allegro CL and SBCL. All downloads can be found at the CafeOBJ download page. The source code can also be found on the download page, or directly from here: cafeobj-1.6.0.tar.gz.
Macports file has also been updated and Homebrew formula update pull request sent, please see the above download/install page for details how to add our sources to your macport or use homebrew/linuxbrew to install CafeOBJ.
If you find a bug, have suggestions, or complains, please open an issue at the Github issue page.
For other inquiries, please use firstname.lastname@example.org