Skip to content

v4.2.0
Compare
Choose a tag to compare
@s0mark s0mark released this 18 Jul 14:52
· 1711 commits to master since this release
v4.2.0
065cb20
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This release adds basic function support to Theta, meaning it can now verify recursive programs. The previously used function inlining can be turned back on with the --inline ON flag.

Assets 8
Loading