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.015Feb14111098732131Jan282726252422212019181714131211107654321Dec20171615141310987632130Nov292625242322[Doc] Update wrt the new Eva API[Aorai] Do not use Db, but directly find the current state value in the cvalue model[Studia] Use the new Eva API[Dive] Use the new Eva API[LoopAnalysis] Use the new EVA API[Nonterm] Use the new Eva API[Constant Propagation] Use the new Eva API[Eva] api: document the Results API[Eva] api: separate lval_deps and address_deps[Eva] api: fix a bug in the computation of callsites[Eva] api: miror Db.Value.self in Analysis[Eva] api: Add a result conversion helper[Eva] api: Add is_reachable_kinstr[Eva] api: Callsites are always retrieved by caller[Eva] api: Add evaluation of callee directly from call statements[Eva] api: Add access specification to zone conversion queries[Eva] api: Add dependencies calculus[Eva] api: Add Analysis.{compute,is_computed}[Eva] api Add Eva.Results.callsites_per_caller[Eva] api: Add iter_callstacks and is_empty[Eva] api: unites types [evaluation] and [lvaluation] into a GADT.[Eva] api: Add callers and callsites requests[Eva] api: Do not insert header into Eva.mli[Eva] api: Fix the distribution of eva-api.sh[Eva] api: Functions evaluations must now be done in one step[Eva] api: Automatically generates Eva.mli[Eva] api: Complete API[Eva] api: Add results folding by callstack[Eva] api: implements more functions[Eva] api: add header to results.ml[Eva] api: Implements equalities extraction[Eva] api: Exports Equality.elements.[Eva] api: Exports the key of the equality domain.[Eva] api: Lint and remove useless declaration[Eva] api: Bug fix[Eva] api: Something bothered me[Eva] api: Renaming constraining types[Eva] api: Using GADT for Response.t[Eva] api: Sketches of a new API for Eva[Libc] add stdalign.h
Loading