Skip to content

Boogie

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 14 Nov 13:40
· 6 commits to master since this release
v3.4.2
6450474
This commit was created on github.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode. 
v3.4.2

Provide more flexibility in configuring which return statements get s…
Assets 16
Loading