GitHub repository: Frama-C/Frama-C-snapshot
Primary language: OCaml
Created: 2016-04-15T13:39:48Z
Description: Release snapshots of the Frama-C platform for source code analysis