Commits · f9270e93049e3c79e74fcae0322f1c40526cf058 · pub / frama-c · GitLab

Snippets Groups Projects

Aug 25, 2020
- [kernel] lock only log listeners on rec · f9270e93
  Loïc Correnson authored 4 years ago
  
  f9270e93
- [kernel] fix log recursion · 8a29480c
  Loïc Correnson authored 4 years ago
  
  8a29480c
- [kernel] log self recursion tests · 5dd2be83
  Loïc Correnson authored 4 years ago
  
  5dd2be83
- [kernel] linting log · 8cf44f78
  Loïc Correnson authored 4 years ago
  
  8cf44f78
- Merge branch 'fix/wp/why3-opt-error-msg' into 'master' · 2b9db1a5
  Loïc Correnson authored 4 years ago
  
  [WP] fix exception raised by invalid option in -wp-why3-opt See merge request frama-c/frama-c!2795
  2b9db1a5
- [WP] fix exception raised by invalid option in -wp-why3-opt · 4f02ced6
  Andre Maroneze authored 4 years ago
  
  4f02ced6
- Merge branch 'fix/andre/server-batch-json-error' into 'master' · 40d63be2
  Loïc Correnson authored 4 years ago
  
  [Server] fail more gracefully with invalid JSON files See merge request frama-c/frama-c!2794
  40d63be2
- [CI] Fix internal · c0c0e17e
  François Bobot authored 4 years ago
  
  c0c0e17e
- [CI] Fix internal · 7c74bbc4
  François Bobot authored 4 years ago
  
  7c74bbc4
- [Server] fail more gracefully with invalid JSON files · ee8bf048
  Andre Maroneze authored 4 years ago
  
  ee8bf048
Aug 24, 2020
- Merge branch 'fix/andre/tests-fc-script' into 'master' · 38296d70
  Andre Maroneze authored 4 years ago
  
  [tests] Stabilize fc_script oracle when Frama-C is in the path See merge request frama-c/frama-c!2790
  38296d70
- [tests] Stabilize fc_script oracle when Frama-C is in the path · 35b50156
  Andre Maroneze authored 4 years ago
  
  35b50156
Aug 21, 2020
- Merge branch 'feature/fix_ci2' into 'master' · d28cc92b
  François Bobot authored 4 years ago
  
  Fix frama-clang CI See merge request frama-c/frama-c!2791
  d28cc92b
- Try to update version used by frama-c-clang · c395c61c
  François Bobot authored 4 years ago
  
  c395c61c
- [CI] Fix frama-clang in internal · 07211ca8
  François Bobot authored 4 years ago
  
  07211ca8
Aug 07, 2020
- Update nix/frama-ci.* · a9a5eeca
  Virgile Prevosto authored 4 years ago
  
  a9a5eeca
- Merge branch 'feature/frama-clang-ci' into 'master' · fb27ad8e
  Virgile Prevosto authored 4 years ago
  
  Update Frama-CI data See merge request frama-c/frama-c!2785
  fb27ad8e
- Merge branch 'bugfix/basile/reverse-mk-runtime-check' into 'master' · 2b43aabf
  Julien Signoles authored 4 years ago
  
  [eacsl] Fix `reverse` parameter of `mk_runtime_check` Closes e-acsl#122 See merge request frama-c/frama-c!2774
  2b43aabf
Aug 06, 2020
- [eacsl] Remove `reverse` parameter of `mk_runtime_check` · 7cf1420c
  Basile Desloges authored 4 years ago
  
  7cf1420c
- [eacsl] Update div by zero guard to not use `~reverse:true` · 57a28d88
  Basile Desloges authored 4 years ago
  
  57a28d88
- [eacsl] Update call sites of `mk_runtime_check` · b71b9727
  Basile Desloges authored 4 years ago
  
  b71b9727
- [eacsl] Fix `reverse` parameter of `mk_runtime_check` · 95b03c27
  Basile Desloges authored 4 years ago
  
  95b03c27
- [Nix] Use hatrick to overcome old nix version. · 6f53923b
  Michele Alberti authored 4 years ago
  
  6f53923b
- [Nix] Update rev. · c30c6cff
  Michele Alberti authored 4 years ago
  
  c30c6cff
- CI file updates for frama-clang. · 711bb913
  Michele Alberti authored 4 years ago
  
  711bb913
Aug 05, 2020
- Update nix/frama-ci.* · ec46e248
  François Bobot authored 5 years ago and Virgile Prevosto committed 4 years ago
  
  ec46e248
Aug 04, 2020
- Merge branch 'feature/andre/remove-slevel-tweaker' into 'master' · dfe59074
  Valentin Perrelle authored 4 years ago
  
  [analysis-scripts] remove obsolete slevel tweaker See merge request frama-c/frama-c!2628
  dfe59074
- [analysis-scripts] remove obsolete slevel tweaker · 24f9d294
  Andre Maroneze authored 4 years ago and Andre Maroneze committed 4 years ago
  
  24f9d294
Jul 30, 2020
- Merge branch 'feature/andre/choc-simplification-analysis-scripts' into 'master' · 82ccc1c0
  Valentin Perrelle authored 4 years ago
  
  [analysis-scripts] Revamp analysis Makefile and scripts See merge request frama-c/frama-c!2682
  82ccc1c0
- [analysis-scripts] fix summary.py environment definition · 1ed0fa82
  Valentin Perrelle authored 4 years ago
  
  1ed0fa82
- Merge branch 'fix/dive' into 'master' · 1e864817
  Valentin Perrelle authored 4 years ago
  
  [Dive] Server interface: if Eva has not been computed, emit an error. See merge request frama-c/frama-c!2777
  1e864817
- [analysis-scripts] remove unused summary.sh · e96d4943
  Valentin Perrelle authored 4 years ago
  
  e96d4943
- [analysis-scripts] ignore python compiled files · 5aa3c4b7
  Valentin Perrelle authored 4 years ago
  
  5aa3c4b7
- [analysis-scripts] check if the target is a directory before listing sub-targets · d150e86d
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  d150e86d
- [analysis-scripts] several fixes after review · 45002bc7
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  45002bc7
- [Analysis-scripts] use short frama-c-config options · 2715322c
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  2715322c
- [Analysis-scripts] update summary.py and display-targets to new architecture · 49abb055
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  49abb055
- [Analysis-scripts] improve template, make-template, make-path; refactor find-fun · 801d2ae6
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  801d2ae6
- [Analysis-scripts] update help message · a3117685
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  a3117685
- [Analysis-scripts] update make-path · f0949d57
  Andre Maroneze authored 4 years ago and Valentin Perrelle committed 4 years ago
  
  f0949d57