Commits · c40c026f14b228f5e3e5b6f70c34422bc4858798 · pub / frama-c · GitLab

Snippets Groups Projects

Sep 16, 2020
- [report] allows updating property status · c40c026f
  Loïc Correnson authored 4 years ago
  
  c40c026f
- [wp] cleaning goal iterations · aa73ade5
  Loïc Correnson authored 4 years ago
  
  aa73ade5
- [wp] fix simplification callback in prover script · 23d62745
  Loïc Correnson authored 4 years ago
  
  23d62745
- [wp] fixed incorrect count of proved goals · aa11a58f
  Loïc Correnson authored 4 years ago
  
  aa11a58f
- [wp] refine GUI proof status for smoke tests · d6364ca4
  Loïc Correnson authored 4 years ago
  
  d6364ca4
- [wp] run all provers for smoke tests · ac3706ff
  Loïc Correnson authored 4 years ago
  
  ac3706ff
- [kernel] fix inconsistency status exception · e7433ce1
  Loïc Correnson authored 4 years ago
  
  e7433ce1
Sep 15, 2020
- Merge branch 'feature/basile/eacsl-110-cleanup-rtl' into 'master' · e244a88c
  Basile Desloges authored 4 years ago
  
  [eacsl] Cleanup runtime library Closes e-acsl#126 and e-acsl#110 See merge request frama-c/frama-c!2814
  e244a88c
- [eacsl] Update changelog · c38ab1d5
  Basile Desloges authored 4 years ago
  
  c38ab1d5
- [eacsl:runtime] Fix lint · e4e6e7ac
  Basile Desloges authored 4 years ago
  
  e4e6e7ac
- [eacsl:runtime] Fix stack size handling · f2643727
  Basile Desloges authored 4 years ago
  
  f2643727
- [eacsl:runtime] Remove unused extern definition · 77fa4678
  Basile Desloges authored 4 years ago
  
  77fa4678
- [eacsl] Update tests · d3a6265c
  Basile Desloges authored 4 years ago
  
  d3a6265c
- [eacsl] Update E-ACSL to use the new organisation of RTL files · a3a64c43
  Basile Desloges authored 4 years ago
  
  a3a64c43
- [eacsl:runtime] Update rtl to separate header and source files · 05be80b9
  Basile Desloges authored 4 years ago
  
  05be80b9
- [eacsl:runtime] Move files to thematic folders · 62f96fde
  Basile Desloges authored 4 years ago
  
  62f96fde
- Merge branch 'feature/basile/rename-mmodel' into 'master' · 5efcefec
  Basile Desloges authored 4 years ago
  
  [eacsl] Rename "mmodel" occurrences to "mtracking" See merge request frama-c/frama-c!2829
  5efcefec
- [eacsl] Update changelog · 3747bf6c
  Basile Desloges authored 4 years ago
  
  3747bf6c
- Merge branch 'fix/wp/issue_745' into 'master' · ac67c372
  François Bobot authored 4 years ago
  
  Do not fail when using step limit option with a prover that does not support it Closes #745 See merge request frama-c/frama-c!2823
  ac67c372
- Merge branch 'feature/ACSL/empty-extension' into 'master' · f8ec3fe3
  Michele Alberti authored 4 years ago
  
  [logic] allow empty list of arguments after an extension keyword. See merge request frama-c/frama-c!2831
  f8ec3fe3
- [logic] allow empty list of arguments after an extension keyword. · bd9be0d6
  Virgile Prevosto authored 4 years ago
  
  bd9be0d6
Sep 14, 2020
- [eacsl] Update tests · be960328
  Basile Desloges authored 4 years ago
  
  be960328
- [eacsl] Rename `full-mmodel` option to `full-mtracking` · e385bffe
  Basile Desloges authored 4 years ago
  
  - Deprecate old `full-mmodel` option in E-ACSL plugin and in `e-acsl-gcc.sh` - Create new `full-mtracking` option - Update documentation to use the new option
  e385bffe
- [eacsl] Propagate renaming changes · 815fd4cf
  Basile Desloges authored 4 years ago
  
  815fd4cf
- [eacsl] Rename `mmodel_translate` to `memory_translate` · 597a77f5
  Basile Desloges authored 4 years ago
  
  597a77f5
- [eacsl] Rename `mmodel_analysis` to `memory_tracking` · d41e9698
  Basile Desloges authored 4 years ago
  
  The functions `must_model` have also been renamed to `must_monitor`.
  d41e9698
- [headers] remove non-existing files · 876a96c4
  Andre Maroneze authored 4 years ago
  
  876a96c4
Sep 11, 2020
- Merge branch 'feature/ACSL/generalized-check' into 'master' · 58f3a9dd
  Allan Blanchard authored 4 years ago
  
  Generalized check-only annotations See merge request frama-c/frama-c!2824
  58f3a9dd
- Update ChangeLog · 6db33b9e
  Allan Blanchard authored 4 years ago
  
  6db33b9e
- [wp] ignore check loop when searching for dead annot · 1699baad
  Allan Blanchard authored 4 years ago
  
  1699baad
- Merge branch 'master' into feature/ACSL/generalized-check · da629511
  Allan Blanchard authored 4 years ago
  
  da629511
- [GUI] Correctly prints check requires in precond at call site · 9b64abde
  Allan Blanchard authored 4 years ago
  
  9b64abde
Sep 10, 2020
- Merge branch 'fix/andre/dockerfiles' into 'master' · 9c3455df
  Andre Maroneze authored 4 years ago
  
  [Dev] improve Docker files with best practices See merge request frama-c/frama-c!2753
  9c3455df
- Update nix/frama-ci.* · 4df7a8d6
  Virgile Prevosto authored 4 years ago
  
  4df7a8d6
- [wp] update to new WP API after rebase · 0052e04e
  Virgile Prevosto authored 4 years ago
  
  0052e04e
- [tests] update to new WP msg keys · a85ed511
  Virgile Prevosto authored 4 years ago
  
  a85ed511
- [wp] fix check lemma category · 628bfb5d
  Loïc Correnson authored 4 years ago and Virgile Prevosto committed 4 years ago
  
  628bfb5d
- [wp] fix help for -wp-prop · 1ce69a31
  Loïc Correnson authored 4 years ago and Virgile Prevosto committed 4 years ago
  
  1ce69a31
- [wp-qualif] update oracles · 38bef5b1
  Virgile Prevosto authored 4 years ago
  
  38bef5b1
- [kernel] refine names of properties related to check annotations · b73effbd
  Virgile Prevosto authored 4 years ago
  
  b73effbd