CafeOBJ 1.6.2 released
We have released version 1.6.2 of CafeOBJ, an algebraic specification and verification language.
It has been a long time since we made a formal release. There has been an internal release that really never got published, and just to rectify this, plus a few changes, a new release was made.
In this release, we also switched away from providing ACL based builds, since the SBCL based builds are more stable and completely open-source based. Furthermore, 32bit builds for Windows and Linux are also now stopped.
Detailed changes:
- make a public release of the internal version 1.6.1
- change grouping of operators.
- :init makes a new goal
- Optimize introduced axiom
- :init command behaves like :defined one
- Fix wrong contradiction check
- Fix :init as <Label> causes exception
- Fix diagnostic messages of regularity check.
Please see the download page for the source release, binary packages, and installation instructions.
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.
Availability
Binary packages for Linux, MacOS, and Windows are already available, in 64 bit and based on 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.2.tar.gz.
Homebrew already carries the most recent version, as does the Arch Linux AUR cafeobj package. Updates to the Macports will probably stop.
Bug reports
If you find a bug, have suggestions, or complains, please open an issue at the Github issue page.
For other inquiries, please use info@cafeobj.org
