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

No comments:

Post a Comment