Skip to content

Formal

Choose a tag to compare

View all tags
@ilvn ilvn released this 10 Jul 20:24
· 9 commits to main since this release
v6.0
b4f5779

What's Changed

  • Support formal verification with CBMC;
  • Update signatures for public functions to return call results.
Assets 2
Loading