Commits · 5a58b23c6d7ff41d1f2ac2aeaa7a75249e9b262a · Charles Southerland / frama-c · GitLab

Snippets Groups Projects

Oct 08, 2020
- [kernel] reference config with alt-ergo 2.2.0 · bdd7dd37
  Loïc Correnson authored 4 years ago
  
  bdd7dd37
Sep 21, 2020
- [wp] upgrade referenced versions · 94eaa6e7
  Loïc Correnson authored 4 years ago
  
  94eaa6e7
Jul 09, 2020
- [ivette] merge with master · 5e9ed98e
  Loïc Correnson authored 4 years ago
  
  5e9ed98e
Jun 26, 2020
- [ref-config] Less differences between gcc<10 and gcc==10 · b0e20a5e
  Virgile Prevosto authored 4 years ago
  
  b0e20a5e
- [Dev] add ppx_deriving_yojson to reference configuration; sort and update list · 695da98a
  Andre Maroneze authored 4 years ago
  
  695da98a
Jun 03, 2020
- [refconf] footnote for gcc-10 users · 6d4f140a
  Virgile Prevosto authored 4 years ago
  
  6d4f140a
- [Dev] rename and improve check for reference configuration · 06539502
  Andre Maroneze authored 4 years ago
  
  06539502
- [Dev] script to check known working configuration · eec3cb36
  Andre Maroneze authored 4 years ago
  
  eec3cb36