Commits · 70dbf036ffa35da8f803b7c03015f3b38b6ad27d · pub / frama-c · GitLab

Snippets Groups Projects

Feb 15, 2022
- [Reduc] Minor changes. · 32566403
  David Bühler authored 3 years ago
  
  32566403
- [Reduc] Use the new Eva API · 64264c61
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  64264c61
Jan 11, 2022
- [kernel] refine `LenOfArray` exception · 2d619a2d
  Virgile Prevosto authored 3 years ago
  
  2d619a2d
Jan 07, 2022
- [Reduction] fix help messages · c9868042
  Julien Signoles authored 3 years ago and David Bühler committed 3 years ago
  
  c9868042
Nov 24, 2021
- [kernel] removes byteSizeOfCache · fa4337b8
  Allan Blanchard authored 3 years ago
  
  fa4337b8
Oct 06, 2021
- [lint] ensures empty files with header pass linter · c0232f49
  Virgile Prevosto authored 3 years ago
  
  c0232f49
- [aorai] add missing mli and do some slight refactoring. · b142a947
  Virgile Prevosto authored 3 years ago
  
  all lexers now aborts in the same way in case of lexing/parsing error.
  b142a947
- Creates .mli interface files for plugins registration. · 01973abc
  David Bühler authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  Removes unused declarations in plugins registration files.
  01973abc
Aug 31, 2021
- [wp] Plugin reduc: removes unused option -reduc-gen-vars. · 5b187fde
  David Bühler authored 3 years ago
  
  Also removes unused type varh in collect.ml.
  5b187fde
- [wp] Plugin reduc: removes an unused field to avoid a warning with ocaml 4.13. · 425edab4
  David Bühler authored 3 years ago
  
  425edab4
Jun 15, 2021
- [wp] Please the linter · c305e2f4
  Allan Blanchard authored 3 years ago
  
  c305e2f4
- [wp] MemVal compilable with current WP · 93cbc74b
  Allan Blanchard authored 3 years ago
  
  93cbc74b
Sep 24, 2020
- [WP] Add MemValue memory model and reduc plugin · f8ea59e1
  Bouillaguet Quentin authored 7 years ago and François Bobot committed 4 years ago
  
  f8ea59e1