Popular repositories Loading

1. Frama-C-Mutation Frama-C-Mutation Public archive

   Generation of mutant programs

   OCaml 20

2. Frama-C-StaDy Frama-C-StaDy Public archive

   Static & Dynamic Verification of C programs

   OCaml 9 3

3. Frama-C-Inline Frama-C-Inline Public archive

   Inlining of ACSL predicates and logic functions

   OCaml 3

4. ocaml-weather ocaml-weather Public archive

   An OCaml library to access current weather data from OpenWeather

   OCaml 2

5. sexp-parse sexp-parse Public archive

   S-expression parsing library (without base dependency)

   OCaml 2

6. StaDy-benchmarks StaDy-benchmarks Public archive

   Programs used for benchmarking the StaDy plugin for Frama-C

   C 1 1