Clafer, ClaferIG, and ClaferWiki 0.3.7 Released

by Michał Antkiewicz

Clafer compiler, Alloy-based instance generator, and wiki 0.3.7 are released on Hackage (clafer, claferIG, claferwiki).

Major changes include:

• added support for real numbers [clafer]
• added not as a synonym to the quantifier no [clafer]
• moved to the latest Alloy 4.2_2014-05-16 build by default. The .als files are Alloy 4.2 whereas the .als41 files are Alloy 4.1. [clafer, claferIG]
• added integration with SublimeText 2/3 and VIM.
• moved to the latest Gitit and Pandoc [claferwiki]
• many technical improvements

For detailed changes see pull requests: Clafer, ClaferIG, ClaferWiki

Clafer syntax highlighter for VIM

by Michał Antkiewicz

Andrzej Wąsowski has contributed an integration of Clafer into VIM featuring

• syntax highlighting for structural and behavioral Clafer, including marking simple errors
• indentation based folding for collapsing parts of the model (experimental)

To install, follow the instructions in the README.