Dear colleagues,
on behalf of the AlloyTools development team, it is my pleasure to announce the release of Alloy 6.2.0.
This version adds in particular the following features:
- many usability improvements in the editor and the Visualizer
- a brand new command-line interface that should be useful for automation, benchmarks…
- an update of the Electrod backend addressing all the language
- an improvement to the meta layer allowing to select static and mutable elements of a model
I would particularly like to thank Nuno Macedo and Peter Kriens for the large amount of work they have done (bug fixes, architectural adaptations, build and deployment infrastructure…), most of which is not visible to the end-user.
Main contributors: Nuno Macedo and Peter Kriens.
Electrod developers: Julien Brunel and David Chemouil.
Happy modeling!
David Chemouil