Commits · d607cbe77b4b656ed2722b52a776ef37e042defd · pub / frama-c · GitLab

Snippets Groups Projects

Sep 17, 2020
- [wp] Memoisation for hypotheses · d607cbe7
  Allan Blanchard authored 4 years ago
  
  d607cbe7
Sep 07, 2020
- [wp] Clarifies some functions in MemoryContext · 34a2b354
  Allan Blanchard authored 4 years ago
  
  34a2b354
- [wp] check-model-hypotheses only on selected functions · 78c55ade
  Allan Blanchard authored 4 years ago
  
  78c55ade
- [wp] Prepare ChangeLog for hypotheses · c29df182
  Allan Blanchard authored 4 years ago
  
  c29df182
- [wp] Moves some MemoryContext features · 6742ab98
  Allan Blanchard authored 4 years ago
  
  6742ab98
- [wp] Hypotheses: fixes assigned via pointer · f1a60164
  Allan Blanchard authored 4 years ago
  
  f1a60164
- [wp] Option: insert model hypotheses in contracts · 656e89b2
  Allan Blanchard authored 4 years ago
  
  656e89b2
- [wp] Avoid separation hypotheses duplication · efd4c806
  Allan Blanchard authored 4 years ago
  
  efd4c806
- [wp] Generate ACSL predicates for model hypotheses · f71d1a0e
  Allan Blanchard authored 4 years ago
  
  f71d1a0e
- [wp] Changes hypotheses signature · e1c474de
  Allan Blanchard authored 4 years ago
  
  e1c474de
- [wp] Collect assigns separation hypotheses · ea139609
  Allan Blanchard authored 4 years ago
  
  ea139609
- [wp] Moves VarUsage hypotheses computation to MemVar · 7f1ef607
  Allan Blanchard authored 4 years ago
  
  7f1ef607
- [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
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
Aug 31, 2020
- [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
- [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
- [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