Commits · a4cb465d843a2445bda034a795b9020cd7e0cfbd · pub / frama-c · GitLab

Snippets Groups Projects

Feb 23, 2022
- [2022] file headers · 7b02c99c
  Patrick Baudin authored 3 years ago
  
  7b02c99c
Feb 17, 2022
- In plugins using Eva, uses [Eva.Analysis.self] instead of [Db.Value.self]. · 97d53f96
  David Bühler authored 3 years ago
  
  97d53f96
Feb 16, 2022
- [Eva] Renames value_perf to eva_perf. · 48dd0768
  David Bühler authored 3 years ago
  
  48dd0768
- [Eva] Renames value_results to eva_results. · 429869aa
  David Bühler authored 3 years ago
  
  429869aa
- [Eva] Renames value_util to eva_utils. · 5cd57d21
  David Bühler authored 3 years ago
  
  5cd57d21
- [analysis-scripts] remove make-template and update documentation · 0dcc48a5
  Andre Maroneze authored 3 years ago
  
  0dcc48a5
Feb 15, 2022
- [analysis-scripts] add source_filter, to improve regex-based heuristics · a504b1e2
  Andre Maroneze authored 3 years ago
  
  a504b1e2
- [analysis-scripts] add 'build' command · 1a999076
  Andre Maroneze authored 3 years ago
  
  1a999076
- [Eva] Splits and renames file value_parameters into self and parameters. · 6c8da42c
  David Bühler authored 3 years ago and Valentin Perrelle committed 3 years ago
  
  6c8da42c
- [Eva] Reorders modules exported in Eva.mli, and adds an introduction. · 10536328
  David Bühler authored 3 years ago
  
  10536328
- [Eva] api: Add Analysis.{compute,is_computed} · ff54f551
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  ff54f551
- [Eva] api: Do not insert header into Eva.mli · 2705efe2
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  2705efe2
- [Eva] api: Fix the distribution of eva-api.sh · 15990951
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  15990951
- [Eva] api: Automatically generates Eva.mli · ab3a5831
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  ab3a5831
- [Eva] api: Sketches of a new API for Eva · f87dfdaa
  Valentin Perrelle authored 4 years ago and David Bühler committed 3 years ago
  
  f87dfdaa
Feb 14, 2022
- [Metrics] compute data for a pivot table · 6874b8e1
  Andre Maroneze authored 3 years ago
  
  6874b8e1
Feb 08, 2022
- [Kernel] store contents of source files in a datatype · d1f8e4eb
  Andre Maroneze authored 3 years ago
  
  d1f8e4eb
Jan 17, 2022
- [Eva] Makefile and configure: removes unnecessary dependency to other plugins. · b7f2779f
  David Bühler authored 3 years ago
  
  b7f2779f
- [Eva] Uses the plugins callgraph, rtegen and scope via the dynamic API. · 793b7f20
  David Bühler authored 3 years ago
  
  The new file eva_dynamic contains all accesses via the dynamic API.
  793b7f20
- [Eva] Makefile: removes useless dependency to LoopAnalysis. · 728e8c21
  David Bühler authored 3 years ago
  
  728e8c21
Jan 14, 2022
- [Makefile] avoid issue with rectypes in some configurations · d93bf26c
  Andre Maroneze authored 3 years ago
  
  d93bf26c
Oct 20, 2021

[Eva] Export Eva summary statistics by function · 791befb7

Valentin Perrelle authored 3 years ago and

David Bühler committed 3 years ago

- Whole program statistics are aggregated from function by function
  statistics
- Also ordered the alarms output by count by category, except for
  the Other category

791befb7

Oct 19, 2021
- [Eva] Do not use partition key for calls, only use them for recombination after return. · b67d9965
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  b67d9965
Oct 06, 2021
- [Makefile] Do not warn about missing .mli files on test files. · fe290f3e
  David Bühler authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  fe290f3e
Oct 05, 2021
- [eacsl] Add E-ACSL specific linting · 090251ba
  Basile Desloges authored 3 years ago
  
  090251ba
Sep 15, 2021
- [makefile] Fixes `make doc`. · 0fb11177
  David Bühler authored 3 years ago
  
  0fb11177
Sep 06, 2021
- [makefile] Removes useless variable NO_MLI. · 73221e7f
  David Bühler authored 3 years ago
  
  73221e7f
- [kernel] Moves cabs.ml into cabs.mli. · cdc4f7ed
  David Bühler authored 3 years ago
  
  cdc4f7ed
Aug 24, 2021
- [Makefile] minor fixes · db1fc2c7
  Andre Maroneze authored 3 years ago
  
  db1fc2c7
Aug 23, 2021
- [Makefile] remove generated binaries when distcleaning · 9ca7a5d7
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  9ca7a5d7
- [distrib] redistribute test files · 660055ef
  Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago
  
  660055ef
Jul 29, 2021
- [Makefile] another usage of $(file ...) · 4c77178d
  Virgile Prevosto authored 3 years ago
  
  4c77178d
- [Makefile] binary files should not be checked for final newline · 7aa191ca
  Virgile Prevosto authored 3 years ago
  
  No need to duplicate filenames in two variables.
  7aa191ca
- [helpers] check_newline and isutf8 assume the names they are given aren't quoted · f985ef63
  Virgile Prevosto authored 3 years ago
  
  f985ef63
- [Makefile] properly quote input. · 3eaaa3d6
  Virgile Prevosto authored 3 years ago
  
  3eaaa3d6
- [Makefile] DISTRIB_TESTS without git ls-files · c8a48e9c
  Virgile Prevosto authored 3 years ago
  
  c8a48e9c
- [Makefile] fix handling of quoted filenames in check_newlines/isutf8 · c36ca79e
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  c36ca79e
- [Makefile] use OCaml-based, more efficient, tool to check for non-UTF-8 files · 1e912a30
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  1e912a30
- [Makefile] more efficient, OCaml-based, tool to check for trailing newlines · 68742159
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  68742159
- [Makefile] test using modern Make 'file' function · 123af596
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  123af596