Backend Compatibility Matrix

by Michał Antkiewicz

We usually first implement new language features in one backend (e.g., Alloy) and add support to the other backend later. The result is that different backends support different language features.

Therefore, we have created Backend Compatibility Matrix, which provides versions in which support for a given feature was added to Alloy-based and Choco-based backend.

Clafer Tools 0.4.2.1 Released

by Michał Antkiewicz, updated on Nov 03, 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.2), hotfix (0.4.2.1).

• added CheatSheet and generated syntax documentation clafer.pdf.
• Added minimum and maximum of a set operators min and max.
• Changed syntax of objectives to << minimize ... >> and << maximize ... >>. The old syntax << min ... >> and << max ... >> still works but it is now deprecated.
• Changed precedence of if/then/else so that nested expressions do not need to be in parens. See issue #73.
• Implemented ability for top-level abstract clafer to extend a nested abstract clafer #67. See test case.
• Added generation of assertions for Choco.
• Added validation with Choco and GraphVis to -v.
• Use Haskell stack.

Alloy-based instance generator, release pull request (0.4.2), hotfix (0.4.2.1).

• Use Haskell stack.

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

0.4.2

• Integrated and extended the CLI from ClaferChocoIG project. ClaferChocoIG is now discontinued.
• Added setStrategy.
• Ported to the latest Choco3/develop.
• Added minimum/maximum of a set with a default value.
• Added range/domain restriction.
• Added common subexpression elimination.
• Fixed group cardinality inheritance to match ClaferIG and semantics since 0.3.9.
• Use a ternary constraint for if/then/else.
• Improved symmetry breaking.
• Improved inverse relations.
• Improved sum propagator.
• Added assertions.
• Added continuous integration Travis CI.
• Fixed modulo operator.

0.4.2.1

• Many optimizations
• Improved symmetry breaking
• Restore strategies "smaller" and "larger"
• New command line options: time, noprint, dataFile
• Ported to the latest Choco3/develop

Claferwiki, release pull request (0.4.2), hotfix (0.4.2.1).

• Use Haskell stack.

ClaferToolsUICommonPlatform, release pull request (0.4.2).

• Added excluding variants in the feature and quality matrix, issue #23.

ClaferMOOVisualizer, release pull request (0.4.2).

• Added excluding variants in the feature and quality matrix, issue #23.

ClaferConfigurator, release diff (0.4.2).

• Added excluding variants in the feature and quality matrix, issue #23.

ClaferIDE, release diff (0.4.2).

ClaferToolsST, release diff (0.4.2), release commit 0.4.2.1.