Clafer Tools 0.4.4 Released

by Michał Antkiewicz, Sep 19, 2016

This is a simultaneous release of all Clafer Tools.

Binary builds are available from Clafer Tools - Binary Distributions.

Clafer compiler, release pull request (0.4.4).

• compatibility with GHC 8.0.1,
• added support for nested abstract clafers to Choco generator,
• fixed building with latest Alex and Happy,
• fixed an issue with setting references with a union, #49,
• add the synthetic "root", #57,
• added partial support for `parent` of top-level abstract clafers (the model now compiles but the generators must be fixed), #84.

Alloy-based instance generator, release pull request (0.4.4).

• compatibility with GHC 8.0.1.

Choco-based instance generator and multi-objective optimizer, release pull request (0.4.4).

• a massive update of 249 commits and 460 files changed!
• ported to the latest Choco version 4.0,
• added support for reference refinement, 
• improved support for nested abstract clafers: issues #23, #29, #30, #31.
• many performance improvements,
• implemented constructive disjunction optimization.

Claferwiki, release pull request (0.4.4).

• compatibility with GHC 8.0.1,
• compatibility with clafer-0.4.4 and the latest gitit-0.12.1.1

ClaferToolsUICommonPlatform, release pull request (0.4.4).

• fixed FQ matrix (fixed sorting, fixed references)
• fixed Clafer API

ClaferMOOVisualizer, release pull request (0.4.4).

• minor fixes

ClaferConfigurator, release diff (0.4.4).

ClaferIDE, release diff (0.4.4).

ClaferToolsST, release diff (0.4.4).

• updated version numbers and links.

ClaferMPS, release pull request (0.4.4).

• added ability to extend the reference model with arbitrary clafers and constraints
• added ability to add constraints to quality attributes
• fixed quality table