Commits · 4067057ae5478ebc33f1f8088324c3b54f8ddddc · pub / frama-c · GitLab

Snippets Groups Projects

Feb 23, 2022
- [2022] file headers · 7b02c99c
  Patrick Baudin authored 3 years ago
  
  7b02c99c
Feb 18, 2022
- [wp] Migrate to frama-c indent · a767fdcb
  Allan Blanchard authored 3 years ago
  
  a767fdcb
Nov 24, 2021
- [kernel] removes byteSizeOfCache · fa4337b8
  Allan Blanchard authored 3 years ago
  
  fa4337b8
Feb 16, 2021
- [headers] 2021 headers · 5a58b23c
  Virgile Prevosto authored 4 years ago
  
  5a58b23c
Jan 21, 2021
- [Exlib] remove opt_bind; replace Extlib.the with Option.get when possible · 69efa5b2
  Andre Maroneze authored 4 years ago
  
  69efa5b2
- [Extlib] remove obsolete functions (now in OCaml's stdlib) · 256d6581
  Andre Maroneze authored 4 years ago
  
  256d6581
Oct 29, 2020
- [Cil] Extract Cil.fieldBitsOffset from Cil.bitsOffset · 0d74359a
  Valentin Perrelle authored 4 years ago
  
  0d74359a
Jul 27, 2020
- remove obsolete occurrences of Transitioning due to migration towards 4.08.1 · 22807efc
  Andre Maroneze authored 4 years ago
  
  22807efc
Mar 06, 2020
- update copyright to 2020 · 325661e6
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  325661e6
Jan 14, 2020
- Replaces Pervasives.compare by Transitioning.Stdlib.compare. · 10494aac
  David Bühler authored 5 years ago
  
  Avoids a compilation warning with ocaml >= 4.08.
  10494aac
Aug 20, 2019
- [wp/region] upgrading region analysis to potassium · 00851292
  Loïc Correnson authored 5 years ago
  
  00851292