Clafer compiler, IG, wiki, chocosolver, and VS Code extension 0.5.2 released

by Michał Antkiewicz, Oct 9, 2026

This is mostly a maintenance release bringing compatibility with the current Haskell compiler, Java, tools, and dependencies. It also brings the first release of Clafer support for Visual Studio Code. Binaries for Linux x86_64 are available from the Clafer tools binary distributions page.

• clafer compiler, release pull request (0.5.2).
  • compatibility with GHC 9.6.7 (Stackage LTS-22.44).
• claferIG Alloy-based instance generator, release pull request (0.5.2).
  • uses clafer-0.5.2
  • compatibility with GHC 9.6.7.
• claferwiki, release pull request (0.5.2).
  • uses clafer-0.5.2
  • compatibility with GHC 9.6.7.
  • gitit-0.16.0.2
• chocosolver Choco-based instance generator, release pull request (0.5.2).
• version aligned with the other Clafer tools (previous release: 0.4.4)
• requires Java 21 or newer
• updated build plugins and dependencies, fixing known vulnerabilities in Rhino and JUnit
• Clafer for Visual Studio Code 0.5.2, first release.
• syntax highlighting for .cfr files following the Clafer 0.5.2 grammar, including embedded Alloy and Choco blocks
• comment toggling, bracket matching, folding of nested clafers, and snippets
• ported from Clafer Tools for Sublime Text
• install the .vsix file from the GitHub release with code --install-extension clafer-syntax-0.5.2.vsix

The Linux binary bundle contains clafer, claferIG, chocosolver.jar and the Alloy jars. It runs on Linux x86_64 with glibc 2.39 or newer (Ubuntu 24.04, Debian 13, Arch Linux, Fedora) and needs Java 21 or newer. On Windows, use it through WSL.

Note: while the compiler can compile behavioral Clafer models to html, reasoning (instance generation, optimization) is currently not supported. Reasoning works for the static subset of Clafer as for 0.4.5.