Commits · e2be093e3b7129e00b238de3ab85c9b3817526b1 · pub / frama-c · GitLab

Snippets Groups Projects

Nov 23, 2021
- Merge branch 'feature/qed/subst-map' into 'master' · e2be093e
  Allan Blanchard authored 3 years ago
  
  [wp] remove incremental sigma construction See merge request frama-c/frama-c!3447
  e2be093e
- Merge branch 'fix/wp/filter-drops-too-many-init-hyps' into 'master' · 88abec1b
  Allan Blanchard authored 3 years ago
  
  Smarter filter heuristic See merge request frama-c/frama-c!3389
  88abec1b
- [wp] Smarter heuristic for filter · 693a7396
  Allan Blanchard authored 3 years ago
  
  693a7396
- [wp] Typing predicates are coloring predicates · 38d46cea
  Allan Blanchard authored 3 years ago
  
  38d46cea
- [wp] Introduce a notion of coloring predicate · dc9fadac
  Allan Blanchard authored 3 years ago
  
  dc9fadac
Nov 22, 2021
- Merge branch 'bugfix/basile/eacsl-gcc-error-msg' into 'master' · 5d5b442d
  Basile Desloges authored 3 years ago
  
  [eacsl] Fix e-acsl-gcc.sh detection of failures in subcommands See merge request frama-c/frama-c!3450
  5d5b442d
- [eacsl] Update changelog · 58849965
  Basile Desloges authored 3 years ago
  
  58849965
- [eacsl] Bump version in manual and changelog · 061eb041
  Basile Desloges authored 3 years ago
  
  061eb041
- [eacsl] Fix error detection in e-acsl-gcc.sh subcommands · aec6e73a
  Basile Desloges authored 3 years ago
  
  aec6e73a
- [eacsl] Remove sh -e option from e-acsl-gcc.sh · 52374941
  Basile Desloges authored 3 years ago
  
  52374941
- Merge branch 'feature/ivette/pointed_value' into 'master' · cb17bb52
  David Bühler authored 3 years ago
  
  [ivette] Display lvalues through pointers and pretty offsetmaps See merge request frama-c/frama-c!3436
  cb17bb52
Nov 19, 2021
- [ivette] Updates API documentation. · c25ae7bb
  David Bühler authored 3 years ago
  
  c25ae7bb
- [ivette] Eva values: fixes the height of multi-lines rows. · 87a47e2f
  David Bühler authored 3 years ago
  
  87a47e2f
Nov 18, 2021
- [qed] remove Subst.add_map · 05bb46ee
  Loïc Correnson authored 3 years ago
  
  05bb46ee
- [wp] unused Ground.singleton · a56ee38b
  Loïc Correnson authored 3 years ago
  
  a56ee38b
- [wp] use subst for ground analysis · a73db19f
  Loïc Correnson authored 3 years ago
  
  a73db19f
- [qed] forking sigma · 1cd86e73
  Loïc Correnson authored 3 years ago
  
  1cd86e73
- [qed] Subst.find is better · cb20ed6b
  Loïc Correnson authored 3 years ago
  
  cb20ed6b
- [wp] direct lookup in ConstantFolder · 5ce723d9
  Loïc Correnson authored 3 years ago
  
  5ce723d9
- [wp] removed unused diagonal ground simplifier · 0284c594
  Loïc Correnson authored 3 years ago
  
  Diagonal simplification is far too incomplete
  0284c594
- [wp] use sigma for parallel var subst · e12361cf
  Loïc Correnson authored 3 years ago
  
  e12361cf
- [wp] letify lookup v-subst · 2a9cd45e
  Loïc Correnson authored 3 years ago
  
  2a9cd45e
Nov 17, 2021
- [Eva] Values_request: rewrites some functions in the hope of making them clearer. · 77bc2659
  David Bühler authored 3 years ago
  
  77bc2659
- [Eva] Removes unused function [default] in bottom.ml. · 116fdd88
  David Bühler authored 3 years ago
  
  116fdd88
- [Eva] Values_request: minor rewriting of function [lval_to_offsetmap]. · 8a33fdcb
  David Bühler authored 3 years ago
  
  8a33fdcb
- [Eva] Values_request: minor fix. · 89ab73e9
  David Bühler authored 3 years ago
  
  89ab73e9
- [Eva] Values_request: minor style changes. · 6ce15612
  David Bühler authored 3 years ago
  
  6ce15612
- [ivette] Displaying Offsetmap for structures and arrays · c8c45ee9
  Maxime Jacquemin authored 3 years ago and David Bühler committed 3 years ago
  
  We have the same behavior as in the previous GUI. We are going to discuss about potential improvements.
  c8c45ee9
- [ivette] Descriptions for the GetPointedLvalues request · 786e4247
  Maxime Jacquemin authored 3 years ago and David Bühler committed 3 years ago
  
  786e4247
- [ivette] Satisfying Frama-C's linter · 1a8cb554
  Maxime Jacquemin authored 3 years ago and David Bühler committed 3 years ago
  
  1a8cb554
- [ivette] Context Menu to add pointed lvalues to the Eva Component · 02bd49b4
  Maxime Jacquemin authored 3 years ago and David Bühler committed 3 years ago
  
  02bd49b4
- [ivette][WIP] Triggering the context menu only on pointers · 4cd2be4a
  Maxime Jacquemin authored 3 years ago and David Bühler committed 3 years ago
  
  4cd2be4a
- [ivette][WIP] First steps to be able to show pointed values · 6bfa6d79
  Maxime Jacquemin authored 3 years ago and David Bühler committed 3 years ago
  
  We have a request that returns all the lvalues pointed by a pointer.
  6bfa6d79
Nov 08, 2021
- Merge branch 'feature/wp/remove-legacy-engine' into 'master' · ea345863
  Allan Blanchard authored 3 years ago
  
  Remove legacy WP engine See merge request frama-c/frama-c!3438
  ea345863
Nov 05, 2021
- [wp] Removes legacy engine · c9834997
  Allan Blanchard authored 3 years ago
  
  c9834997
- [kernel] New predicate to know if a varinfo is a const global · 53577ac9
  Allan Blanchard authored 3 years ago
  
  53577ac9
- [kernel] Query to know if a kf is the entry point · 6676f750
  Allan Blanchard authored 3 years ago
  
  6676f750
- Merge branch 'feature/ivette/expression_visualization' into 'master' · 365ae9ac
  David Bühler authored 3 years ago
  
  [ivette] Better visualization of the selected expressions See merge request frama-c/frama-c!3413
  365ae9ac
- [Eva] Updates alternative test oracles. · a1cd8b99
  David Bühler authored 3 years ago
  
  a1cd8b99
- [ivette] Eva values: minor simplification. · a85dfd76
  David Bühler authored 3 years ago
  
  a85dfd76