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.08Aug7652131Jul302927262524232219181716121110985432128Jun272625242120191817107654330May29272423211716151413[tests] Better tests for nearest functions[kernel] Rename children to child[gui] Removes a reference to the removed postdominators plugin.[kernel] In dominators feedback messages, uses the "dominators" dkey.[kernel] In dominators, fixes documentation of get_strict_* functions.[kernel] Simplifications in dominators.[kernel] In dominators, inlines some functions previously defined in StmtSet.[kernel] Dominators: removes module StmtSetOpt and simply uses the empty set.[kernel] Fixes some comments in dominators.Add a test for Dominators, 100% coverageRename Postdom to DominatorsRemove Dominators and PostdominatorsRemove uses of Dominators and PostdominatorsImplementation of nearest and immediateGenerate a simplified dominator dot graphNew module to perform (Post)Dominators analysisMerge branch 'update/blanchard/ocaml/4.14' into 'master'[lib] remove Transitioning, everything is availableMinimal OCaml is now 4.14Merge branch 'fix/eva/tainted-predicate' into 'master'[nix] upgrade camlp5 for OCaml 5.2[Eva] Adds a test for the \tainted predicate.[Eva] Taint domain: fixes the registration of the \tainted predicate.[doc] Update doc[Cil] Replace theMachine by the new Machine module[kernel] Move mach out of Cil_types[kernel] New Machine module[dune] avoid 'sed' in configurator better Windows compatibility[dune] avoid 'cat' in configurator for better Windows compatibilityupdate Changelog following frama-c/frama-c!4715Merge branch 'feature/eva/calls-evaluation' into 'master'[Eva] Fixes a typo in a comment.[Eva] Adds a test for the evaluation of "calls" annotations.[Eva] Support of "calls" ACSL extension.[Eva] In transfer_logic, reworks functions that emit messages and statuses.Merge branch 'fix/tests/cleaning' into 'master'[tests] remove unused files, move and clean up some tests[kernel] avoid special case when prettifying paths inside PWDupdate Changelog following frama-c/frama-c!4659Merge branch 'feature/blanchard/kernel/refactor-config' into 'master'
Loading