Skip to content

Electrum v2.1.2
Compare
Choose a tag to compare
@nmacedo nmacedo released this 27 Jan 15:38
· 68 commits to master since this release
v2.1.2
9fa0aec
  • Support for trace visualisation other than graph (tree, text, table)
  • Updated electrod to 1.0
  • Added electrod windows binary
  • Fixed importing of .md modules
  • Fixed formula simplifier for temporal operators
  • Fixed export instance to formula for static instances
  • Fixed export instance to formula for empty universes
  • Code cleaned up and documented in preparation of Alloy6 PR
Assets 3
Loading