Commits · 6b44067235aa81fbb2b52f461c32e36e4418e517 · pub / frama-c · GitLab

Snippets Groups Projects

Mar 23, 2021
- [Tests] adds EXIT directives (updated oracles) · 6b440672
  Patrick Baudin authored 4 years ago
  
  6b440672
- [Tests] adds EXIT directives into test files · 36939fbd
  Patrick Baudin authored 4 years ago
  
  36939fbd
Mar 22, 2021
- [Tests] adds EXIT directive to ptests · dfa1e773
  Patrick Baudin authored 4 years ago
  
  dfa1e773
- [Ptests] Minor · c6a5b7bd
  Patrick Baudin authored 4 years ago
  
  c6a5b7bd
- [Ptests] minor · 8134c272
  Patrick Baudin authored 4 years ago
  
  8134c272
Mar 18, 2021
- Merge branch 'feature/andre/more-filepath-options' into 'master' · cdb00803
  Andre Maroneze authored 4 years ago
  
  Feature/andre/more filepath options See merge request frama-c/frama-c!3052
  cdb00803
- Merge branch 'fix/make/distclean' into 'master' · e428743c
  Andre Maroneze authored 4 years ago
  
  avoid error when distcleaning a disabled plugin See merge request frama-c/frama-c!3103
  e428743c
- Merge branch 'fix/wp/assigns-labels-normalization' into 'master' · 079d2247
  Loïc Correnson authored 4 years ago
  
  Fix old labels for called functions See merge request frama-c/frama-c!3098
  079d2247
- avoid error when distcleaning a disabled plugin · b4d012e9
  Virgile Prevosto authored 4 years ago
  
  b4d012e9
- [wp] Fix assigns labels for called functions · 1c45a4c9
  Allan Blanchard authored 4 years ago
  
  1c45a4c9
- Merge branch 'fix/wp/post-assigns' into 'master' · 8b6427f8
  Allan Blanchard authored 4 years ago
  
  [wp] fix post assigns See merge request frama-c/frama-c!3100
  8b6427f8
Mar 17, 2021
- [Kernel] rename Filepath.Normalized.[is_]unknown into [is_]empty · f7fbd6d9
  Andre Maroneze authored 4 years ago
  
  f7fbd6d9
Mar 16, 2021
- [Dive] use Filepath parameters for relevant options · 3c61af04
  Andre Maroneze authored 4 years ago
  
  3c61af04
- [Kernel] add Filepath.is_known and refactor to use it · d7aca2f8
  Andre Maroneze authored 4 years ago
  
  d7aca2f8
- [Metrics] use Filepath parameters for relevant options · 3c5ad4dc
  Andre Maroneze authored 4 years ago
  
  3c5ad4dc
- [Callgraph] use Filepath parameters for relevant options · c9107d65
  Andre Maroneze authored 4 years ago
  
  c9107d65
- [MdR] use Filepath parameters for relevant options · 9cbe7c82
  Andre Maroneze authored 4 years ago
  
  9cbe7c82
- [Server] use Filepath parameters for relevant options · 4345d330
  Andre Maroneze authored 4 years ago
  
  4345d330
- [Report] use Filepath parameters for relevant options · 4b9a1162
  Andre Maroneze authored 4 years ago
  
  4b9a1162
- [Eva] use Filepath parameters for relevant options · e43546f0
  Andre Maroneze authored 4 years ago
  
  e43546f0
- [wp] new test for post-assigns calls · f7f5aeda
  Loïc Correnson authored 4 years ago
  
  f7f5aeda
- [wp] updated oracles for complex init cases · c718cf07
  Loïc Correnson authored 4 years ago
  
  # Conflicts: # src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memvar.res.oracle
  c718cf07
- [wp] fix post-assigns region normalization · 702acd7c
  Loïc Correnson authored 4 years ago
  
  # Conflicts: # src/plugins/wp/wpStrategy.ml
  702acd7c
Mar 15, 2021
- Merge branch 'feature/eva/quantifiers' into 'master' · d695bbbe
  Andre Maroneze authored 4 years ago
  
  [Eva] Slightly better evaluation of ACSL quantifiers See merge request frama-c/frama-c!3097
  d695bbbe
Mar 12, 2021
- [Eva] Minor simplification in eval_terms. · 016ee13d
  David Bühler authored 4 years ago
  
  016ee13d
- [Eva] Updates test oracles. · 7ab6557c
  David Bühler authored 4 years ago
  
  7ab6557c
- [Eva] Improves the evaluation of ACSL quantifications. · deaf8115
  David Bühler authored 4 years ago
  
  deaf8115
- Merge branch 'feature/patrick/server-batch-json-with-final-eol' into 'master' · 033c5fb0
  Loïc Correnson authored 4 years ago
  
  [Server] adds a final eol to json output See merge request frama-c/frama-c!3096
  033c5fb0
Mar 10, 2021
- [Server] adds a final eol to json output · 942ee87a
  Patrick Baudin authored 4 years ago
  
  942ee87a
Mar 09, 2021
- Merge branch 'feature/wp/gallery' into 'master' · d2a072a8
  Patrick Baudin authored 4 years ago
  
  [wp] new tests in gallery See merge request frama-c/frama-c!3095
  d2a072a8
Mar 08, 2021
- [wp] added euclid to gallery · d94344bc
  Loïc Correnson authored 4 years ago
  
  d94344bc
- [wp] added bsearch to gallery · 35c88576
  Loïc Correnson authored 4 years ago
  
  35c88576
Mar 05, 2021
- Merge branch 'fix/libc/stdbool' into 'master' · d2507dcc
  Allan Blanchard authored 4 years ago
  
  [libc] ensure bool, true and false are not macros when in C++ mode See merge request frama-c/frama-c!3093
  d2507dcc
- Merge branch 'fix/makefile/thread-warning' into 'master' · 3bcbfc21
  Allan Blanchard authored 4 years ago
  
  [makefile] fixes ocamlfind warning about missing -thread See merge request frama-c/frama-c!3092
  3bcbfc21
- [libc] ensure bool, true and false are not macros when in C++ mode · c5d2f11e
  Virgile Prevosto authored 4 years ago
  
  c5d2f11e
- [makefile] fixes ocamlfind warning about missing -thread · 5a778c6b
  Virgile Prevosto authored 4 years ago
  
  5a778c6b
Mar 03, 2021
- Merge branch 'feature/kernel/acsl-extension-cleaning' into 'master' · 39ae9d57
  Andre Maroneze authored 4 years ago
  
  [kernel] Removed deprecated ACSL extension registration API See merge request frama-c/frama-c!3087
  39ae9d57
Mar 01, 2021
- Merge branch 'feature/eva/builtins' into 'master' · f32442be
  Andre Maroneze authored 4 years ago
  
  [Eva] Changes the type and registration of builtins See merge request frama-c/frama-c!3077
  22.0+r2
  
  f32442be
- [kernel] Removed deprecated API · 5013ab2f
  Allan Blanchard authored 4 years ago
  
  5013ab2f
- Merge branch 'feature/wp/test-cfg' into 'master' · db6a2244
  Allan Blanchard authored 4 years ago
  
  [wp] testing new cfg Closes pub/frama-c#49 and #259 See merge request frama-c/frama-c!3057
  db6a2244