Electrum v1.2

• Several bug fixes on the interface, visualiser and evaluator.

Electrum v1.2 with Action Idiom

• Several bug fixes on the interface, visualiser and evaluator.

Electrum v1.2rc1

version v1.2 release candidate 1

Electrum v1.1 with Action Idiom

• Preliminary support for the action idiom syntactic sugar (accompanying the ABZ'18 submission)
• Initial support for symbolic bound extraction
• Repository of examples
• Many enhancements and bug fixes

Electrum v1.1

• Initial support for symbolic bound extraction
• Repository of examples
• Many enhancements and bug fixes

Electrum v1.0

• First stable public release (accompanying the ABZ'18 submission)
• Common interface for temporal relational model finding problems through Pardinus
• Bounded and unbounded model checking of Electrum models
• Uniform visualisation of trace instances
• Support for a decomposed solving strategy

Electrum v1.0 with Action Idiom

• Preliminary support for the action idiom syntactic sugar (accompanying the ABZ'18 submission)
• Common interface for temporal relational model finding problems through Pardinus
• Bounded and unbounded model checking of Electrum models
• Uniform visualisation of trace instances
• Support for a decomposed solving strategy

Electrum v0.2

• Direct embedding into a temporal extension to Kodkod (Pardinus)
• Visualizer natively supports temporal solutions

Electrum v0.1

• First release (accompanying the FSE'16 submission)
• Bounded model checking of Electrum models
• Electrum models expanded into Alloy models
• Expanded Alloy models returned to the visualizer