Commits · 9b68391bc40e29ab1149fb1d5c5ff371deb76ac4 · pub / frama-c · GitLab

Snippets Groups Projects

Sep 07, 2020
- [Eva] Removes state_import.ml and options -eva-[save|load]-fun-state. · 9b68391b
  David Bühler authored 4 years ago
  
  9b68391b
- [Eva] hide experimental and deprecated options · 99132c9e
  Andre Maroneze authored 4 years ago and David Bühler committed 4 years ago
  
  99132c9e
- [Eva] Deprecates the legacy aliases of Eva parameters. · b53894ef
  David Bühler authored 4 years ago
  
  These aliases will not be printed in the help message of Eva, and will emit a warning when used.
  b53894ef
- [cmdline] Supports invisible and deprecated aliases for command line parameters. · c69097ff
  David Bühler authored 4 years ago
  
  Invisible aliases are not printed in the help message of the plugin or kernel. Deprecated aliases emit a warning when used.
  c69097ff
Sep 04, 2020
- In tests, uses the current Eva parameters name instead of legacy aliases. · 4ed9c09e
  David Bühler authored 4 years ago
  
  4ed9c09e
- [Eva] Removes deprecated and invisible parameters. · 72332617
  David Bühler authored 4 years ago
  
  72332617
Sep 02, 2020
- [Kernel] remove obsolete and unused Cmdline.String_list · 0adac834
  Andre Maroneze authored 4 years ago
  
  0adac834
Aug 31, 2020
- [Ival] Improves the precision of bitwise operators on small sets. · ff0b8e6d
  David Bühler authored 4 years ago
  
  Applies the concrete operator on all possible pairs of integers. This is maximally precise.
  ff0b8e6d
- [ival] improve the precision of the computed small sets for bitwise operators · 7efda0af
  Valentin Perrelle authored 4 years ago and David Bühler committed 4 years ago
  
  7efda0af
- [Eva] Fixes the automatic loop unrolling on loops with no counter increment. · 9a6d9a9a
  David Bühler authored 4 years ago
  
  9a6d9a9a
Aug 28, 2020
- [eacsl] Remove TAB from changelog · 79b2f0b8
  Basile Desloges authored 4 years ago
  
  79b2f0b8
- [eacsl] Update call sites of Constructor to use the new functions · a1367e77
  Basile Desloges authored 4 years ago
  
  a1367e77
- [eacsl] Breakup `Constructor` into smaller files · 5b3963ba
  Basile Desloges authored 4 years ago
  
  5b3963ba
- [eacsl] Fix file indentations · 7da89554
  Basile Desloges authored 4 years ago
  
  7da89554
- sample program results passes Sarif 2.1.0 validation · 726be74c
  Virgile Prevosto authored 4 years ago
  
  726be74c
Aug 27, 2020
- lint · ce371426
  Virgile Prevosto authored 4 years ago
  
  ce371426
- [sarif] continue upgrade to SARIF 2.1 · 9890f9d7
  Virgile Prevosto authored 4 years ago
  
  9890f9d7
- [sarif] on the road to sarif 2.1.0 migration · dd888597
  Virgile Prevosto authored 4 years ago
  
  dd888597
- [MdR] update to SARIF 2.1.0 · eeef90a4
  Andre Maroneze authored 4 years ago and Virgile Prevosto committed 4 years ago
  
  eeef90a4
- [MdR] do not emit location in SARIF if unknown · 446b2246
  Andre Maroneze authored 4 years ago and Virgile Prevosto committed 4 years ago
  
  446b2246
- [MdR] use report kind to set output extension · 490ec6c7
  Andre Maroneze authored 4 years ago and Virgile Prevosto committed 4 years ago
  
  490ec6c7
- [MdR] fix minor typos in SARIF output · 52d32d5c
  Andre Maroneze authored 4 years ago and Virgile Prevosto committed 4 years ago
  
  52d32d5c
- fix indentation · abe63e69
  Virgile Prevosto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  abe63e69
- [e-acsl] update man page · 518f80e0
  Julien Signoles authored 4 years ago
  
  518f80e0
- [e-acsl] add a Changelog's entry · fe852747
  Julien Signoles authored 4 years ago
  
  fe852747
- [e-acsl] update user manual · 76a4a9a9
  Julien Signoles authored 4 years ago
  
  76a4a9a9
- [e-acsl] changelog · 52556928
  Julien Signoles authored 4 years ago
  
  52556928
- lint · d4a172f3
  Julien Signoles authored 4 years ago
  
  d4a172f3
- [e-acsl] improves/fixes a fewTODOs · 8b037136
  Julien Signoles authored 4 years ago
  
  8b037136
- [e-acsl:script] remove useless line · 1e16d444
  Julien Signoles authored 4 years ago
  
  1e16d444
- [e-acsl] change the name of the RTL temp project · 73f89c9c
  Julien Signoles authored 4 years ago
  
  73f89c9c
- [kernel] export membership functions from Globals.Functions · 93fc8ec7
  Julien Signoles authored 4 years ago
  
  93fc8ec7
- [kernel] export membership functions in Globals.Types · c58cba8a
  Julien Signoles authored 4 years ago
  
  c58cba8a
- [e-acsl] fix headers · 5e57c9b9
  Julien Signoles authored 4 years ago
  
  5e57c9b9
- [e-acsl] remove the main visitor in Prepare_ast in order to propagate property statuses soundly · f5b131fe
  Julien Signoles authored 4 years ago
  
  [e-acsl] simplify and document Prepare_ast a bit more
  f5b131fe
- [e-acsl:tests] update tests · 9acdf608
  Julien Signoles authored 4 years ago
  
  9acdf608
- [e-acsl:tests] remove -e-acsl-prepare from tests · 62a52871
  Julien Signoles authored 4 years ago
  
  62a52871
- [e-acsl] monitor neither *alloc nor free · 87f6b633
  Julien Signoles authored 4 years ago
  
  87f6b633
- [e-acsl] restore -remove-unused-specified-functions · 038715b8
  Julien Signoles authored 4 years ago
  
  038715b8
- [e-acsl] move Misc.pred_or_term to Lscope.pred_or_term · 415fd3ae
  Julien Signoles authored 4 years ago
  
  415fd3ae