Commits · 477d5b5e4b45811ee97eb5f9c6b115acf66b16cf · pub / frama-c · GitLab

Snippets Groups Projects

Oct 16, 2023
- [dev] extend set-version.sh · 477d5b5e
  Allan Blanchard authored 1 year ago
  
  - also update Frama-C build script
  477d5b5e
Oct 12, 2023
- Merge branch 'feature/eva/ival-comparisons' into 'master' · dccdd7c7
  Valentin Perrelle authored 1 year ago
  
  [Eva] Moves integer comparison functions from ival to int_val. See merge request frama-c/frama-c!4334
  dccdd7c7
- [Eva] Moves integer comparison functions from ival to int_val. · e049abbf
  David Bühler authored 1 year ago
  
  e049abbf
Oct 11, 2023
- Merge branch 'feature/ivette/dive-further-improvements' into 'master' · 64a60ff2
  David Bühler authored 1 year ago
  
  Dive further improvements See merge request frama-c/frama-c!4322
  64a60ff2
- [Ivette] Dive graph: fixes buttons PIN and LOCK. · fb63109d
  David Bühler authored 1 year ago
  
  Improves tooltip of the pin button.
  fb63109d
- [Ivette] Dive graph: adds a generic name to multiple selections. · 44fc89ee
  David Bühler authored 1 year ago
  
  Avoids status messages about "undefined".
  44fc89ee
- [Ivette] Dive graph: changes the position and color of the legend button. · 45988c57
  David Bühler authored 1 year ago
  
  45988c57
- [Ivette] Dive: add statement visualization in the tree view · 34794beb
  Valentin Perrelle authored 1 year ago and David Bühler committed 1 year ago
  
  34794beb
- [Ivette] Dive: allow panning through parent nodes and allow toggling grabbing for other nodes · c5463bac
  Valentin Perrelle authored 1 year ago and David Bühler committed 1 year ago
  
  c5463bac
- [Ivette] Dive: add an experimental Tree view · 22dd54c3
  Valentin Perrelle authored 1 year ago and David Bühler committed 1 year ago
  
  22dd54c3
- [Ivette] Dive: add a legend · 673ca196
  Valentin Perrelle authored 1 year ago and David Bühler committed 1 year ago
  
  673ca196
- [Ivette] Dive: edge selection · bb295a58
  Valentin Perrelle authored 1 year ago and David Bühler committed 1 year ago
  
  bb295a58
- Merge branch 'fix/eva/multidim-memexec-perf' into 'master' · 5c2c038d
  Valentin Perrelle authored 1 year ago
  
  [Eva] Optimizations of the multidim domain. See merge request frama-c/frama-c!4259
  5c2c038d
- Merge branch '1258-ivette-name-of-lvalues-and-expressions-in-inspector' into 'master' · e7139443
  David Bühler authored 1 year ago
  
  Resolve "[Ivette] Name of lvalues and expressions in Inspector" Closes #1258 See merge request frama-c/frama-c!4361
  e7139443
- [ivette] print descr in ASTview · cca981d3
  Loïc Correnson authored 1 year ago and David Bühler committed 1 year ago
  
  cca981d3
- Merge branch 'feature/martin/tests/more-coverage-options' into 'master' · e7af8e05
  Allan Blanchard authored 1 year ago
  
  Add option to produce xml and json reports See merge request frama-c/frama-c!4360
  e7af8e05
- Specify output format in script usage · d14dbe9d
  Allan Blanchard authored 1 year ago and Thibault Martin committed 1 year ago
  
  d14dbe9d
- Add option to produce xml and json reports · f0fc5a3d
  Thibault Martin authored 1 year ago
  
  f0fc5a3d
- Merge branch 'fix/michele/encapsulate-local-vars' into 'master' · 7686917c
  Virgile Prevosto authored 1 year ago
  
  Ensure oneret always filter retvar out its original declaring block See merge request frama-c/frama-c!4358
  7686917c
Oct 10, 2023
- [oneret] Small refactoring. · 1e5f69bd
  Virgile Prevosto authored 1 year ago and Michele Alberti committed 1 year ago
  
  1e5f69bd
- [oneret] Find the original declaration block of retvar. · f39c6968
  Michele Alberti authored 1 year ago
  
  f39c6968
- [oneret] Remove useless module in favor of a local exception. · 8da46541
  Michele Alberti authored 1 year ago
  
  8da46541
- [oneret] More explanations of the problem we try to solve. · 96cddc05
  Michele Alberti authored 1 year ago
  
  96cddc05
- [oneret] Ensure to filter retvar out the function's body. · 4b424be4
  Michele Alberti authored 1 year ago
  
  4b424be4
- Merge branch 'feature/ivette/packaging' into 'master' · 4c88bdef
  Loïc Correnson authored 1 year ago
  
  Packaging Ivette See merge request frama-c/frama-c!4278
  4c88bdef
- Packaging Ivette · 7ece0b63
  Damien IRIBERRY authored 1 year ago and Loïc Correnson committed 1 year ago
  
  7ece0b63
- Merge branch 'fix/dev/build-script' into 'master' · 5ac9fa8b
  Andre Maroneze authored 1 year ago
  
  [dev] more bump constraints on dune files generated by build-scripts See merge request frama-c/frama-c!4346
  5ac9fa8b
- Merge branch 'feature/andre/refactor-sys-file' into 'master' · e90ad96c
  Loïc Correnson authored 1 year ago
  
  Refactor some file-related functions See merge request frama-c/frama-c!4044
  e90ad96c
- Convert remaining occurrences of Sys.file_exists · 61032ee5
  Andre Maroneze authored 1 year ago
  
  61032ee5
- Convert a few more WP files · 874499ae
  Andre Maroneze authored 2 years ago
  
  874499ae
- use new Filepath functions in more places · 64dfb1e7
  Andre Maroneze authored 1 year ago
  
  64dfb1e7
Oct 09, 2023
- start using new Filepath functions · 3d07a979
  Andre Maroneze authored 1 year ago
  
  3d07a979
- [Filepath] add Normalized.concats · 9e2f1e93
  Andre Maroneze authored 1 year ago
  
  9e2f1e93
- [Filepath] prepare Filepath as wrapper for calls to Filename/Sys · 7979b5b9
  Andre Maroneze authored 1 year ago
  
  7979b5b9
- [Extlib] change return type and behavior of mkdir · f8fab095
  Andre Maroneze authored 1 year ago
  
  f8fab095
- [Datatype] export filepath type · 3795e146
  Andre Maroneze authored 1 year ago
  
  3795e146
- [Filepath] remove dependency on Extlib · 6f02b005
  Andre Maroneze authored 1 year ago
  
  6f02b005
- Merge branch 'update/blanchard/nix/combinetura' into 'master' · 0da5b24c
  Allan Blanchard authored 1 year ago
  
  [nix] update combinetura See merge request frama-c/frama-c!4356
  0da5b24c
- [nix] update combinetura · 146ae38e
  Allan Blanchard authored 1 year ago
  
  146ae38e
- Merge branch 'feature/martin/kernel/add-loc-argument-for-populate-spec' into 'master' · 23520ac2
  Allan Blanchard authored 1 year ago
  
  Add loc argument for populate spec See merge request frama-c/frama-c!4342
  23520ac2