Commits · e1e3cdb2f2834efbfba6b40eb46adc17f7734be3 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 09, 2020
- [Kernel] add documentation for option -print-config-json · e1e3cdb2
  Andre Maroneze authored 4 years ago
  
  e1e3cdb2
- [kernel] change option name to -print-config-json · 0427f750
  Valentin Perrelle authored 4 years ago and Andre Maroneze committed 4 years ago
  
  0427f750
- [kernel] sort fields of dumped configuration · d964dc8e
  Valentin Perrelle authored 4 years ago and Andre Maroneze committed 4 years ago
  
  d964dc8e
- [kernel] fix function name · 61964854
  Valentin Perrelle authored 4 years ago and Andre Maroneze committed 4 years ago
  
  61964854
- [kernel] allow -dump-config to also dump the list of options and values · c81c4028
  Valentin Perrelle authored 4 years ago and Andre Maroneze committed 4 years ago
  
  c81c4028
- [kernel] allow the Frama-C configuration to be dumped to stdout · f2206c1a
  Valentin Perrelle authored 4 years ago and Andre Maroneze committed 4 years ago
  
  f2206c1a
- [fc-script] use Frama-C new -dump-config option · a36937b7
  Valentin Perrelle authored 4 years ago and Andre Maroneze committed 4 years ago
  
  a36937b7
- [kernel] add an option to dump the current configuration into a Json object · 6e91fa95
  Valentin Perrelle authored 5 years ago and Andre Maroneze committed 4 years ago
  
  6e91fa95
Oct 08, 2020
- Merge branch '964-wp-provers-in-gui' into 'master' · 3d327d85
  Allan Blanchard authored 4 years ago
  
  Resolve "[wp] Provers in GUI" Closes #964 See merge request frama-c/frama-c!2879
  3d327d85
- Merge branch 'fix/andre/frama-c-config-no-aliases' into 'master' · 51a4c4e0
  Allan Blanchard authored 4 years ago
  
  [fc-config] no longer use frama-c-config aliases See merge request frama-c/frama-c!2881
  51a4c4e0
- [fc-config] no longer use frama-c-config aliases · 86deea7f
  Andre Maroneze authored 4 years ago
  
  86deea7f
Oct 07, 2020
- Merge branch 'feature/andre/filepath-all-symbolic-dirs' into 'master' · bd860f19
  Andre Maroneze authored 4 years ago
  
  [Filepath] add all_symbolic_dirs and base_to_uri, for SARIF See merge request frama-c/frama-c!2874
  bd860f19
- Merge branch 'fix/romain/doc/developer/typo' into 'master' · bd2acb08
  Virgile Prevosto authored 4 years ago
  
  Developer doc: tiny typos See merge request frama-c/frama-c!2835
  bd2acb08
- Developer doc: tiny typos · a8ae6822
  Roma Auguste authored 4 years ago and Virgile Prevosto committed 4 years ago
  
  a8ae6822
- Merge branch 'fix/syntax/redef-local-func' into 'master' · aedcc9b1
  Andre Maroneze authored 4 years ago
  
  [typing] fix issue when renaming local function Closes #946 See merge request frama-c/frama-c!2878
  aedcc9b1
- Merge branch 'feature/basile/misc-factorize' into 'master' · d613928b
  Julien Signoles authored 4 years ago
  
  [eacsl] Déplace des fonctions de Misc See merge request frama-c/frama-c!2880
  d613928b
Oct 06, 2020
- Merge branch 'feature/basile/eacsl-rtl-misc' into 'master' · f500331c
  Basile Desloges authored 4 years ago
  
  [eacsl] Miscellaneous modifications to the RTL See merge request frama-c/frama-c!2875
  f500331c
- [eacsl:runtime] Factorize segment indexes in `validate_shadow_layout()` · 0a6bb3d7
  Basile Desloges authored 4 years ago
  
  0a6bb3d7
- [eacsl:runtime] Use address conversion specifier for the messages when validating the shadow layout · af701914
  Basile Desloges authored 4 years ago
  
  af701914
- [eacsl:runtime] Add `eacsl` prefix to C defines · 82788932
  Basile Desloges authored 4 years ago
  
  82788932
- [eacsl:runtime] Merge RTL pragmas into the user's AST · e5faf939
  Basile Desloges authored 4 years ago
  
  e5faf939
- [eacsl:runtime] Add segment name in the message for failed validation · 620fc8b2
  Basile Desloges authored 4 years ago
  
  620fc8b2
- [eacsl:runtime] Print layout in debug verbose · 1041de0a
  Basile Desloges authored 4 years ago
  
  1041de0a
- [eacsl:codegen] Move `Memory_translate.exp_to_base_and_baseaddr` to `Misc.ptr_base` · c3a9599d
  Basile Desloges authored 4 years ago
  
  c3a9599d
- [eacsl:codegen] Move `Misc.mk_ptr_sizeof` to `Smart_exp.ptr_sizeof` · c9e1c224
  Basile Desloges authored 4 years ago
  
  c9e1c224
- Merge branch 'fix/andre/fc-script-simplify-make-template' into 'master' · b8516599
  Valentin Perrelle authored 4 years ago
  
  [analysis-scripts] simplify make-template using FRAMAC_BIN See merge request frama-c/frama-c!2870
  b8516599
- [wp/gui] filter mainstream provers · 6342c482
  Loïc Correnson authored 4 years ago
  
  6342c482
- Merge branch 'feature/basile/eacsl-31-disjoint-separated' into 'master' · 699cfed4
  Basile Desloges authored 4 years ago
  
  [eacsl] Add support of `\separated` See merge request frama-c/frama-c!2767
  699cfed4
- [wp/gui] use only command line for provers · f9a9ad0d
  Loïc Correnson authored 4 years ago
  
  f9a9ad0d
- [eacsl:doc] Update changelog · 86b4dbeb
  Basile Desloges authored 4 years ago
  
  86b4dbeb
- [eacsl:doc] Update reference and implementation manual · ad6228ad
  Basile Desloges authored 4 years ago
  
  ad6228ad
- [eacsl:doc] Update comments · 3a59ad27
  Basile Desloges authored 4 years ago
  
  3a59ad27
- [eacsl] Update tests · a8fe2b10
  Basile Desloges authored 4 years ago
  
  a8fe2b10
- [eacsl:codegen] Fix soundness bug when translating a range with a logic variable · 35d900fa
  Basile Desloges authored 4 years ago
  
  35d900fa
- [eacsl:runtime] Fix `\valid` and `\valid_read` when the memory location is an empty set · 4ad7247c
  Basile Desloges authored 4 years ago
  
  4ad7247c
- [eacsl:tests] Add tests for `\separated` · e27b38d2
  Basile Desloges authored 4 years ago
  
  e27b38d2
- [eacsl:codegen] Add support of `\separated` for non-explicit range · 7b0eea9f
  Basile Desloges authored 4 years ago
  
  7b0eea9f
- [eacsl:codegen] Add support of `\separated` for explicit range · 9bde4b5d
  Basile Desloges authored 4 years ago
  
  9bde4b5d
- [eacsl:runtime] Add a C function for the `separated` predicate · 8f5e8808
  Basile Desloges authored 4 years ago
  
  8f5e8808
- Merge branch 'feature/andre/printer-fieldinfo-bits' into 'master' · fa2aad26
  Valentin Perrelle authored 4 years ago
  
  Feature/andre/printer fieldinfo bits See merge request frama-c/frama-c!2876
  fa2aad26