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

Snippets Groups Projects

Nov 17, 2021
- [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] 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
Oct 20, 2021
- [Eva] export computation state through server API · f073186a
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  f073186a
Feb 16, 2021
- [headers] 2021 headers · 5a58b23c
  Virgile Prevosto authored 4 years ago
  
  5a58b23c
Jan 20, 2021
- [ivette/eva] group callstacks by function · d06e50c2
  Loïc Correnson authored 4 years ago and David Bühler committed 4 years ago
  
  d06e50c2
Dec 18, 2020
- [ivette/eva] diffed values in cells · c478c1c9
  Loïc Correnson authored 4 years ago
  
  c478c1c9
- [ivette/eva] display callstack infos · 0acd1a60
  Loïc Correnson authored 4 years ago
  
  0acd1a60
Dec 16, 2020
- [ivette/eva] EVA value cache & sizing · c3fc2b81
  Loïc Correnson authored 4 years ago
  
  c3fc2b81
Dec 14, 2020
- [ivette/eva] output rank of probes · fa5c7bbf
  Loïc Correnson authored 4 years ago
  
  fa5c7bbf
- [eva/server] stmt ranking · 6e6bd0db
  Loïc Correnson authored 4 years ago
  
  6e6bd0db
- [eva/server] computed hook · a321788c
  Loïc Correnson authored 4 years ago
  
  a321788c
- [eva/server] getProbeInfo · 377c8a3c
  Loïc Correnson authored 4 years ago
  
  377c8a3c
- [eva/server] getValues request · bfe79e77
  Loïc Correnson authored 4 years ago
  
  bfe79e77
- [eva/server] merging callstacks · c2fed1b9
  Loïc Correnson authored 4 years ago
  
  c2fed1b9
- [eva/api] EVA proxies · f1592187
  Loïc Correnson authored 4 years ago
  
  f1592187
Jul 24, 2020
- [ivette] Values panel: orders table rows according to the full callstacks. · 0c39c545
  David Bühler authored 4 years ago
  
  0c39c545
- [Eva] Values request hides the consolidated value when there is only one callstack. · 655f69e3
  David Bühler authored 4 years ago
  
  655f69e3
- [Eva] Values request: evaluates lvalues using Eva.copy_lvalues. · 7703145e
  David Bühler authored 4 years ago
  
  7703145e
Jul 21, 2020
- [ivette] Update to generated server API. · 926ffa08
  Michele Alberti authored 4 years ago
  
  926ffa08
- [Eva] Rename registered data and services. · 50eab52e
  Michele Alberti authored 4 years ago
  
  50eab52e
- [Eva] Again on rebasing on new server API. · 44196c3c
  Michele Alberti authored 4 years ago
  
  44196c3c
- [Eva] Update to server API changes. · 602f9624
  Michele Alberti authored 4 years ago
  
  602f9624
- [Eva] New request returning the values inferred by the analysis. · fba51f48
  David Bühler authored 4 years ago and Michele Alberti committed 4 years ago
  
  fba51f48