This release contains only the Clafer compiler 0.5.0, which now includes support for modeling behavior. The release does not include reasoning capability; for structural modeling and reasoning keep using the previous release 0.4.5.
Binary builds are available from Clafer Tools - Binary Distributions.
Clafer compiler, release pull request (0.5.0).
- support for behavioral modeling,
- ability to compile, desugar, and render to HTML behavioral models,
- test suite of behavioral models,
- experimental Alloy code generator,
- compatibility with GHC 8.2.2.
The Clafer model wiki is currently running Clafer 0.5.0.
