Monday, March 30, 2015

Clafer, ClaferIG, ClaferWiki, ChocoSolver, and ClaferChocoIG 0.3.9 Released

by Michał Antkiewicz

The Clafer compiler, Alloy-based instance generator, and wiki 0.3.9 are released on Hackage (clafer, claferIG, claferwiki). The Choco-based instance generator and multi-objective optimizer 0.3.9 is also released. Binary builds are available from Clafer Tools - Binary Distributions.

We also updated the plugin for Sublime Text 2/3.

For details of changes see

UPDATE: On Mar 30, 2015, we have updated the release of the chocosolver and ClaferChocoIG projects and uploaded new binaries. The chocosolver now implements the modulo division (reminder) function. Both now produce output consistent with ClaferIG --useuids --addtypes. The option --prettify is equivalent to having --useuids and not having --addtypes in ClaferIG.

    Saturday, March 7, 2015

    Clafer Tools in Sublime Text 2/3

    by Michał Antkiewicz

    Clafer Tools get new and improved integration with Sublime Text 2/3 (release 0.3.9), providing the following features:
    • Syntax highlighting of keywords, operators, comments, and integer and string literals
      • including the behavioral Clafer extension
    • Compilation <CTRL>+b
    • Instance generation (with simple scope inference) using
      • Alloy-based instance generator <CTRL>+i, g, a
      • Choco-based instance generator <CTRL>+i, g, c
      • Z3 SMT-based instance generator <CTRL>+i, g, s
    • Clafer binaries are now in a separate folder Packages/Clafer-Bin, so that they are not removed with every update of the Clafer Tools Sublime package.
    The package Clafer Tools 0.3.9 is now an official Sublime Text package available from the central package repository.  To install, follow the instructions in the README.