Commits · 960082ea4e7b91ba418dcdc11794dc38a9f421c9 · pub / frama-c

Jun 07, 2022
- [analysis-scripts] add mention about tool unavailability · a942bf26
  Andre Maroneze authored 2 years ago
  
  a942bf26
Jun 01, 2022
- [Analysis Scripts] Increase ncurses window height · 1307a91e
  Valentin Perrelle authored 2 years ago and Andre Maroneze committed 2 years ago
  
  1307a91e
- [Analysis Scripts] add dump to CSV · 8db03da6
  Valentin Perrelle authored 2 years ago and Andre Maroneze committed 2 years ago
  
  8db03da6
- [Analysis Scripts] remove obsolete benchmark.sh · d9528b9d
  Valentin Perrelle authored 2 years ago and Andre Maroneze committed 2 years ago
  
  d9528b9d
- [Analysis Scripts] fix summary · 6dc23786
  Valentin Perrelle authored 2 years ago and Andre Maroneze committed 2 years ago
  
  6dc23786
May 30, 2022
- [tests] update tests according to removed journal · e9aad683
  Allan Blanchard authored 2 years ago
  
  e9aad683
May 03, 2022
- [kernel] toying with ppx to generate trivial equalities · c2d19ba6
  Virgile Prevosto authored 3 years ago and David Bühler committed 2 years ago
  
  it looks like ppx_import and ppx_deriving could be useful
  c2d19ba6
Apr 22, 2022
- [Libc] add a few missing errno codes in stat.h · 17618aba
  Andre Maroneze authored 2 years ago
  
  17618aba
Apr 20, 2022
- [configure] Accept packages with symbol '.' in the name. · 4eb36871
  Michele Alberti authored 2 years ago
  
  4eb36871
- Fixes Makefile for the reduc plugin. · 3bad48d8
  David Bühler authored 2 years ago
  
  3bad48d8
Apr 14, 2022
- [Libc] improve spec of read · 48f052b2
  Andre Maroneze authored 3 years ago
  
  48f052b2
Mar 25, 2022
- [analysis-scripts] add pyproject.toml to manage linting of Python scripts · 44dc6be3
  Andre Maroneze authored 3 years ago
  
  44dc6be3
- [analysis-scripts] avoid breaking strings using backslashes · 369aad22
  Andre Maroneze authored 3 years ago
  
  369aad22
- [analysis-scripts] add support for pyinstaller bundle in source_filter · 1882e0de
  Andre Maroneze authored 3 years ago
  
  1882e0de
- [analysis-scripts] avoid encoding errors in other locales · 5d8501d2
  Andre Maroneze authored 3 years ago
  
  5d8501d2
- [analysis-scripts] estimate-difficulty: add 'no-Frama-C mode' · ff5d2870
  Andre Maroneze authored 3 years ago
  
  ff5d2870
- [analysis-scripts] remove obsolete code · d7cffbc3
  Andre Maroneze authored 3 years ago
  
  d7cffbc3
- [analysis-scripts] apply several pyflakes, pylint, black suggestions · 698a0551
  Andre Maroneze authored 3 years ago
  
  698a0551
- [analysis-scripts] finalize removal of make-template · 71d7a842
  Andre Maroneze authored 3 years ago
  
  71d7a842
- [analysis-scripts] changes related to blug; reformat long lines · b9d43e23
  Andre Maroneze authored 3 years ago
  
  b9d43e23
Mar 11, 2022
- [Eva] add spec and builtin for reallocarray (GNU libc) · 2cca8a49
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  2cca8a49
- Fix warning 50 · 4130bab7
  Allan Blanchard authored 3 years ago
  
  4130bab7
Mar 10, 2022
- [Libc] add C stubs for getpwnam_r and getpwuid_r · c79a8b94
  Andre Maroneze authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  c79a8b94
- [Libc] add (imprecise) specs for getpwnam_r and getpwuid_r · 9bcb9481
  Andre Maroneze authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  9bcb9481
- [Libc] fix missing initializer; rename variables · ee3c4417
  Andre Maroneze authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  ee3c4417
- [Libc] add more interval function C stubs; add test · cbc9dd3a
  Andre Maroneze authored 3 years ago and Maxime Jacquemin committed 3 years ago
  
  cbc9dd3a
Mar 04, 2022
- [kernel] move comment about gcc builtins to JSON file and add comment on types · d302363e
  Andre Maroneze authored 3 years ago
  
  d302363e
- [compliance] add comments and references to hard-coded type list of GCC builtins · 7836d10a
  Andre Maroneze authored 3 years ago
  
  7836d10a
- [Kernel] split GCC builtins JSON file for performance reasons · 695a2d8d
  Andre Maroneze authored 3 years ago
  
  695a2d8d
- [Kernel] move Cil_builtins declarations to JSON file and export as table · eaa0741d
  Andre Maroneze authored 3 years ago
  
  eaa0741d
Mar 03, 2022
- enable warning 6 (labels-omitted) by default · 45dc49cf
  Andre Maroneze authored 3 years ago
  
  45dc49cf
Feb 23, 2022
- [2022] file headers · 7b02c99c
  Patrick Baudin authored 3 years ago
  
  7b02c99c
Feb 21, 2022
- [compliance] fix key uniqueness in posix_identifiers.json · 3943d230
  Andre Maroneze authored 3 years ago
  
  3943d230
Feb 18, 2022

[Libc] add all remaining POSIX headers · 9d2d98c6

Andre Maroneze authored 3 years ago

There are still many missing specifications, but at least parsing should
succeed for strictly POSIX-compliant code.

9d2d98c6

Feb 16, 2022
- [analysis-scripts] follow some linter recommendations · 0345f7d2
  Andre Maroneze authored 3 years ago
  
  0345f7d2
- [analysis-scripts] fixes and improvements following review · ece979a5
  Andre Maroneze authored 3 years ago
  
  ece979a5
Feb 15, 2022
- [analysis-scripts] find-fun: better handling of broken symlinks · a2961af3
  Andre Maroneze authored 3 years ago
  
  a2961af3
- [analysis-scripts] estimate-difficulty: add a few more keywords · 8843aa88
  Andre Maroneze authored 3 years ago
  
  8843aa88
- [compliance] add information about problematic functions · af462ca5
  Andre Maroneze authored 3 years ago
  
  af462ca5
- [analysis-scripts] estimate-difficulty: improve estimation and warnings · 9e882764
  Andre Maroneze authored 3 years ago
  
  9e882764