Skip to content

Version 1.3.0
Compare
Choose a tag to compare
@zpcertik zpcertik released this 28 Jan 20:47
v1.3.0
25a3636
  • Support for calling external contracts
  • coq option for generating Coq specifications for formal verification
  • minicc compiler and MiniC unit tests
Assets 2
Loading