Skip to content

Electrum v1.1 with Action Idiom

Pre-release
Pre-release
Compare
Choose a tag to compare
@nmacedo nmacedo released this 15 Jun 08:30
· 79 commits to master since this release
  • 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