History

Version History

Current release

v0.3 (November 2013)

• Eclipse Plugin Interface refurbished and stabilized.
• Robust resource and constraint management
• Full customization of the graph viewer theme generator.
• Rudimentary support for ATL specifications.
• Released for the presentation of the ASE'13 paper.

Past releases

v0.2 (June 2013)

• First deployment as an Eclipse plugin
• Support for metamodel conformity tests, model repair and model generation
• Support for operation-based distance
• Optimizations by the simplification of Alloy formulas
• Released for the submission of the ASE'13 paper.

v0.1 (March 2013)

• First distribution as a standalone CLI application
• Support for QVT-R bidirectional transformations in check and enforce (repair) mode
• Support for Ecore metamodels, OCL constraints and XMI models
• Support for graph-edit distance
• Released for the presentation of the FASE'13 paper.

Future releases

v0.4

• Major optimization by full re-embedding Echo in Kodkod
• Full support for ATL transformations
• Support for constraints over multiple models (n-directional)