Skip to content

Using Frama-C v29

Choose a tag to compare

View all tags
@woosh woosh released this 10 Sep 14:29
· 47 commits to master since this release
v0.3.0
3af01de
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This release is updated to use Frama-C version 29. This breaks backwards compatibility.

Assets 2
Loading