Monday, September 19, 2016

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