Monday, March 13, 2017

Clafer, ClaferIG, ClaferWiki 0.4.5 Released

by Michał Antkiewicz, Mar 13, 2017

This is mainly a maintenance release.


Clafer compiler, release pull request (0.4.5).
  • compatibility with GHC 8.0.2,
  • fixed an issue with references to singleton clafers in Choco generator.
Alloy-based instance generator, release pull request (0.4.5).
  • compatibility with GHC 8.0.2,
  • compatibility with clafer-0.4.5.
Claferwiki, release pull request (0.4.5).
  • compatibility with GHC 8.0.2,
  • compatibility with clafer-0.4.5 and the latest gitit-0.12.2.1
ClaferToolsST, release commit (0.4.5).
  • updated Package Control installation instructions for the latest SublimeText3.

All other tools work with 0.4.5.

No comments:

Post a Comment