Monday, September 21, 2015

Clafer Web Tools 0.4.1 Released

by Michał Antkiewicz

The release 0.4.1 of the web tools is the first major release since!

This release wouldn't be possible without the hard work of Eldar Khalilov who took on a difficult task of switching the tools from the old XML format to the new JSON format of the compiler's intermediate representation.

The release includes compatibility with Clafer 0.4.1 and the new features of the language since and many functional and performance improvements (by both Alexandr Murashkin and Eldar Khalilov).

Tuesday, September 1, 2015

Clafer, ClaferIG, and ClaferWiki 0.4.1 Released

by Michał Antkiewicz

Clafer compiler, Alloy-based instance generator, and wiki 0.4.1 are released on Hackage (claferclaferIGclaferwiki). The release also includes the Choco3-based instance generator and optimizer 0.4.0, which; however, does not yet support the new features of the language.

Binary builds are available from Clafer Tools - Binary Distributions.

See the corresponding release 0.4.1 of the web tools.

Major changes include:
  • Fixed problems with automatic dereferencing, see leftAssocDeref.cfr, navAndDeref.cfr, and navAndDeref.als.reg.
  • Fixed type system problems. 
  • Added Alloy and Choco escapes, see escapes.cfr. Code in Alloy escapes is included at the beginning of the Alloy output, whereas, Choco escapes are included at the end of Choco output. 
  • Changed ref to dref. 
  • Added handling and deprecation warnings for deprecated ref and &; instead dref and ** should be used, see deprecated.cfr
  • Fixed bugs with incorrect addition of .drefs in arithmetic, see arithmetic.cfr
  • Fixed missing links bugs in HTML output. 
  • Added continuous integration with TravisCI.
For details, see Clafer Release 0.4.1 Pull Request.

Previous release Clafer, ClaferIG, ClaferWiki, ChocoSolver, and ClaferChocoIG 0.4.0 Released.