Commits · d9c0c9a84824f172c1f43132dce40362254eeca5 · pub / frama-c · GitLab

Snippets Groups Projects

Apr 22, 2022
- [Eva] multidim: prevent offsets to volatile fields to be taken · d9c0c9a8
  Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago
  
  d9c0c9a8
- [Eva] multidim: do not update segmentations that do not contain assigned variables · 876dcf7c
  Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago
  
  876dcf7c
- [Eva] multidim: fix more bugs · a8fd134d
  Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago
  
  a8fd134d
- [Eva] multidim: more readable bound pretty printing · 3fe455ce
  Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago
  
  3fe455ce
- [Eva] multidim: specialize the join between Raw and Array · ee55fd92
  Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago
  
  ee55fd92
- [Eva] multidim: fix several bugs · 6643a6eb
  Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago
  
  6643a6eb
- [Eva] multidim: implements array segmentation · df1b4a41
  Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago
  
  df1b4a41
- Merge branch 'fix/libc/stat-missing-errno-codes' into 'master' · dd09092a
  Andre Maroneze authored 2 years ago
  
  [Libc] add a few missing errno codes in stat.h See merge request frama-c/frama-c!3709
  dd09092a
- [Libc] add a few missing errno codes in stat.h · 17618aba
  Andre Maroneze authored 2 years ago
  
  17618aba
- Merge branch 'feature/libc/more-specs' into 'master' · 0073da3f
  Valentin Perrelle authored 2 years ago
  
  [Libc] add specs for sys/stat.h functions See merge request frama-c/frama-c!3587
  0073da3f
Apr 21, 2022
- Merge branch 'feature/ivette/acsl-evaluation' into 'master' · 0e98c502
  Valentin Perrelle authored 2 years ago
  
  [ivette] Evaluation mode for the modal action bar See merge request frama-c/frama-c!3676
  0e98c502
- Merge branch 'fix/andre/remove-plugin-dynamic-traces' into 'master' · 3180fa35
  Virgile Prevosto authored 2 years ago
  
  Remove last traces of PLUGIN_DYNAMIC See merge request frama-c/frama-c!3706
  3180fa35
- [doc] remove unused commented paragraph · 0eb4ef4a
  Virgile Prevosto authored 2 years ago and Andre Maroneze committed 2 years ago
  
  0eb4ef4a
- Merge branch 'fix/eva/configure' into 'master' · d1b4572b
  Andre Maroneze authored 2 years ago
  
  Fixes dependencies to Eva in the configure See merge request frama-c/frama-c!3705
  d1b4572b
Apr 20, 2022
- Remove last traces of PLUGIN_DYNAMIC · e426fa63
  Andre Maroneze authored 2 years ago
  
  e426fa63
- [ivette] Deactivation of Evaluation when Eva component is not visible · cacd74b9
  Maxime Jacquemin authored 2 years ago
  
  cacd74b9
- [ivette] Satisfying the linter · 2a8c2bf3
  Maxime Jacquemin authored 2 years ago
  
  2a8c2bf3
- [ivette] Improving the <markerFromTerm> request · ce3864bf
  Maxime Jacquemin authored 2 years ago
  
  ce3864bf
- Fixes Makefile for the reduc plugin. · 3bad48d8
  David Bühler authored 2 years ago
  
  3bad48d8
- Configure: fixes dependencies to Eva. · 60095ad0
  David Bühler authored 2 years ago
  
  60095ad0
- Merge branch 'feature/e-acsl/minimize-dune-diff' into 'master' · 112e611e
  Julien Signoles authored 2 years ago
  
  [e-acsl] prepare for Dune See merge request frama-c/frama-c!3674
  112e611e
- [ivette] Adding a cache system to the <markerFromTerm> request · 47f37743
  Maxime Jacquemin authored 2 years ago
  
  47f37743
- [ivette] Fix a detail in value table · df06146d
  Maxime Jacquemin authored 2 years ago
  
  df06146d
- [ivette] Mentionning Cmd+E shortcut on evaluation mode tooltip · 372d3c26
  Maxime Jacquemin authored 2 years ago
  
  372d3c26
Apr 19, 2022
- Merge branch 'feature/ci/remove-ce' into 'master' · 5c8a4f3d
  Virgile Prevosto authored 2 years ago
  
  [ci] remove counter-example from CI See merge request frama-c/frama-c!3702
  5c8a4f3d
- Merge branch 'fix/andre/cpp-error-show-pwd' into 'master' · 72b095fc
  Virgile Prevosto authored 2 years ago
  
  [Kernel] add PWD to preprocessing error message See merge request frama-c/frama-c!3693
  72b095fc
- [Filepath] add 'pwd' function · f3e11715
  Andre Maroneze authored 2 years ago
  
  f3e11715
- [Kernel] refactor cwd and add PWD to preprocessing error message · a735c806
  Andre Maroneze authored 2 years ago
  
  a735c806
- Merge branch 'feature/andre/distribute-more-tests' into 'master' · a3842e11
  Virgile Prevosto authored 2 years ago
  
  [several plugins] distribute tests See merge request frama-c/frama-c!3682
  a3842e11
Apr 15, 2022
- [ci] remove counter-example from CI · de95d9fa
  Allan Blanchard authored 2 years ago
  
  de95d9fa
- Merge branch 'fix/andre/e-acsl-tests-distrib' into 'master' · b7ce41a1
  Julien Signoles authored 2 years ago
  
  [e-acsl] fix distribution of symbolic dirs in tests See merge request frama-c/frama-c!3701
  b7ce41a1
- [e-acsl] fix distribution of symbolic dirs in tests · cefcfcb9
  Andre Maroneze authored 2 years ago
  
  cefcfcb9
Apr 14, 2022
- Merge branch 'fix/eva/calls' into 'master' · 38f3869e
  Valentin Perrelle authored 2 years ago
  
  [Eva] Fixes unwanted changes from !3660 See merge request frama-c/frama-c!3698
  38f3869e
- Merge branch 'feature/andre/libc-unistd-read' into 'master' · e5120ad7
  Allan Blanchard authored 2 years ago
  
  Feature/andre/libc unistd read See merge request frama-c/frama-c!3680
  e5120ad7
- [Eva] GUI: restores highlighting of dead statements in unreachable functions. · 5d0b6b89
  David Bühler authored 2 years ago
  
  5d0b6b89
- [Eva] Fixes API results on functions interpreted by a builtin or a specification. · 9e172424
  David Bühler authored 2 years ago
  
  Returns `Bottom instead of `Top at any statement of such functions. In particular, [is_reachable stmt] is false for these statements.
  9e172424
- update test oracles · 1649167a
  Andre Maroneze authored 3 years ago
  
  1649167a
- [Libc] improve spec of read · 48f052b2
  Andre Maroneze authored 3 years ago
  
  48f052b2
- [Eva] add wkey for 'ensures \false' check · 9260e22e
  Andre Maroneze authored 3 years ago
  
  9260e22e
Apr 13, 2022
- [ivette] Remove another useless comment · 77fd6598
  Maxime Jacquemin authored 2 years ago and Maxime Jacquemin committed 2 years ago
  
  77fd6598