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.026Aug232219987652131Jul302927262524232219181716121110985432128Jun272625242120191817107654330May29272423211716151413[wp] remove memRegion testing[wp] remove memRegion and useless filesMerge branch 'feature/region/merge-copy' into 'master'Merge branch 'fix/blanchard/ivette/doc' into 'master'[region] copy of l-values[region] copy instructions[ivette/doc] fix all typedoc warnings[ivette] doc compilesMerge branch 'jan/alias-safer-casts' into 'master'[alias] take into account global variable definitions[alias] test case for global variable definitions[alias] no longer classify virtually all casts as unsafeMerge branch 'fix/andre/filepath-relative-symbolic-name' into 'master'[dev] add ocp-indent to dev-setup dependencies[release] follows a change on the website[dev] remove obsolete scriptsMerge branch 'fix/blanchard/dune-project/version' into 'master'[dune] make lang version coherentChangeLogMerge branch 'fix/kernel/register-logic-builtin' into 'master'[doc] add doc tag for register_builtin[kernel] New function Logic_builtin.register.Merge branch 'fix/andre/windows-compat' into 'master'Merge branch 'feature/martin/kernel/move-machine-out-of-cil' into 'master'Updates the Changelog following the merge of frama-c/frama-c!4647.Merge branch 'feature/martin/kernel/(post)dominators-using-interpreted-automata' into 'master'[doc] Remove only keep @since on module level[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 Postdominators
Loading