Thursday, October 23, 2014

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

Wednesday, October 22, 2014

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.