Skip to content

Releases: sysprog21/frama-c-mcp

Release list

latest

latest Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 26 Aug 11:19
latest
57f0ea9
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Automated build of 57f0ea9 on 2026-08-26. The ast-utils Frama-C plugin is not included; build it from source in your opam switch.

Assets 4
Loading