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.017Jun107654330May2927242321171615141311632130Apr2926252423221918171615121110987543229Mar28272625222120[Eva] evast: add mem smart constructor[Eva] evast: fix a bug in constant folding[Eva] evast: export conversion to constants[Eva] evast: remove origin_* functions[Eva] evast: improve public interface[Eva] evast: memoize cil conversions[Eva] evast: add conversion back to Cil[Eva] evast: add cast and comparison smart constructors[Eva] evast: add addr smart constructor[Eva] evast: add some offset utility functions[Eva] evast: add condition normalization[Eva] evast: code factorization[Eva] evast: use ppx deriving[Eva] evast: more general visitors[Eva] evast: store expression and lvalue computed C types[Eva] evast: add functions to iterate on the lvalues of an expression[Eva] evast: add zone_of_lval[Eva] evast: add constructor and export more translation functions[Eva] evast: export more printers[Eva] evast: add conversion of evast binop to Abstract_interp.Comp.t[Eva] evast: add a more complete constant folding[Eva] evast: store the size of sizeof/aligneof expressions[Eva] evast: add some smart constructors[Eva] evast: add variables lookup and location query on expressions[Eva] evast: store wto in nodes[Eva] evast: add an interpreted automata specialization[Eva] evast: add dependencies computation[Eva] evast: rename translate_expr into translate_exp[Eva] evast: separate rewrite_exp and rewrite_lval[Eva] evast: a few more utils about AST[Eva] evast: group CStr and CWstr to CString of base[Eva] evast: reuse Eva_utils.height*[Eva] evast: implements type_of_exp for every origin[Eva] evast: add rewriting utility[Eva] evast: add a third origin for built nodes[Eva] evast: add origin functions for lvalues and offsets[Eva] evast: implements datatypes[Eva] evast: implements type_of_lval[Eva] evast: Printer[Eva] evast: remove IndexPI
Loading