Skip to content
GitLab

frama-clang 0.0.10

Merged Virgile Prevosto requested to merge feature/frama-clang-0.0.10-release into master

Announce new Frama-Clang release (compatibility with Frama-C 22.0)