Tuesday, December 22, 2015

Clafer Tools 0.4.3 Released

by MichaƂ Antkiewicz, Dec 22, 2015

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.3).
  • added language feature with backend compatibility table,
  • added support for nested abstract clafers to Choco generator,
  • added checks for loops in inheritance hierarchy, issue 77,
  • fixed an issue with inheritance from a nested abstract clafer which itself has a superclafer, issue 78,
  • added min/max to Alloy generator, issue 79,
  • removed the unused and outdated python mode -m python,
  • fixed handling paths containing spaces in validation.
Alloy-based instance generator, release pull request (0.4.3).
  • revised help messages, issue 28,
  • fix instance output to look like the original model to allow copy/paste from instance to the model for example-driven modeling.
Choco-based instance generator and multi-objective optimizer, release pull request (0.4.3).
  • ported to the latest Choco3 version 3.3.3,
  • added support for nested abstract clafers,
  • added API for specifying ordering of clafers by giving priority branchingPriority([[a,b], [c,d], [e]]);,
  • improved performance, decreased solving time on a model from 247 minutes down to 9, see user's comment,
  • improved pretty printing of instances to harmonize with ClaferIG,
  • fixed multiplication/division and overflows handling,
  • fixed handling of zeroes in division.
      Claferwiki, release pull request (0.4.3).

      ClaferToolsUICommonPlatform.

      ClaferMOOVisualizer.

      ClaferConfigurator.

      ClaferIDE.

      ClaferToolsST, release diff (0.4.3).
      • fixed the problem with double quotes in tool path,
      • added a workaround for 32bit Java requirement on Windows for AlloyIG.