Skip to content
Snippets Groups Projects
Select Git revision
  • 2699-wp-region-plugin-division-by-0-with-empty-region-node
  • master default protected
  • stable/chromium
  • stable/cobalt
  • stable/copper
  • stable/iron
  • stable/manganese
  • stable/nickel
  • stable/scandium
  • stable/titanium
  • stable/titanium-backport
  • stable/vanadium
  • stable/zinc
  • 30.0 protected
  • 30.0-beta protected
  • MIEL-2024-10 protected
  • 29.0 protected
  • 29.0-beta protected
  • 28.1 protected
  • 28.0 protected
  • MIEL-2023-10 protected
  • 28.0-beta protected
  • 27.1 protected
  • 27.0 protected
  • 27.0-beta protected
  • 26.1 protected
  • 26.0 protected
  • 26.0-beta protected
  • 25.0-r1 protected
  • pre-dune protected
  • 25.0 protected
  • 25.0-beta protected
  • 2022-03-23 protected
33 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.019Jun181716151312111098543230May292827262520191815141312111098765432130Apr2928[Dive] Update README.md[Dive] Add mention to zmq[Dive] Fix headers[Dive] More input checks and use of Yojson[Dive] Update tests[Dive] Compute values for each cells composing a scattered node[Dive] Fix warnings during compilation[Dive] Scattered nodes can now be decomposed[Dive] Scattered nodes are identified by statement and can be explored[Dive] Fix the syntax of variables in the communication protocol[Dive] Fix floating points types lower bounds limit[Dive] Also compute integer intervals[Dive] Remove the Cluster Node_kind[Dive] Update tests[Dive] Add a show/hide feature[Dive] Add type information to each node[Dive] Reduce default depth to 2[Dive] Send information about updated nodes[Dive] Add a command to explore the graph and sends only the difference[Dive] Give more information about node values[Dive] Add precision_width field to json output[Dive] Add command dive.clear[Dive] Interface for Frama-C Server[Dive] Add README.md[Dive] Update Copyright[Dive] Hack to reduce the impact of loosing memexeced dependencies[Dive] Fix callstack computation for dependencies[Dive] Fix error message for wrong variable referencement from commandline[Dive] Compute dependencies per callstack[Dive] Fix temporary variables locations[Dive] Add an output to json format[Dive] Add debug information[Dive] Add an unevaluated precision type[Dive] Warn instead of fail[Dive] Also find static global variables[Dive] Fix error message for command line varinfo inputs[Dive] Generate nodes from alarms[Dive] Very basic testing[Dive] More detailed precision analysis, introducing singletons[Dive] Fix folded locations
Loading