Skip to content

Boogie

Compare
Choose a tag to compare
@github-actions github-actions released this 21 Nov 14:13
· 65 commits to master since this release
v3.0.7
7cf52a3
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode. 
More thorough checks for exceeding resource limit (#812)

Sometimes Z3 doesn't tell us that it exceeded its resource limit. So, if
it returns "unknown", with an unknown reason, and the reported resource
count exceeds the provided limit, report that it ran out of resources.

Fixes #803.

Addresses dafny-lang/dafny#4804
Assets 15