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.06Jul5130Jun2827252423222118171615141110987432131May28262521201918171211107654330Apr29282726232221201916151413[e-acsl] Update Changelog[e-acsl] rebasing, conflicts resolving and oracles updating[e-acsl] improve readability[e-acsl] fix sum interval inference[e-acsl] sum implementation and testsFrama-C 23.0-Vanadium[wp] Fixes Changelog datesMerge branch 'feature/e-acsl/refman-upgrade-vanadium' into 'stable/vanadium'Merge branch 'fix/andre/warnings-ocaml-4.13' into 'master'fix occurrences of warning 69 in several plugins[Gui] fix occurrences of warning 69[WP] fix occurrences of warning 69[Kernel] fix occurrences of warning 69[e-acsl:refman] fixes changelog[eacsl:refman] last review[e-acsl:refman] add a word about loop variants in the changes[e-acsl:refman] take Thibaut's comments into account[e-acsl:refman] update changelog[e-acsl:refman] update summary of not-yet-implemented features[e-acsl:refman] take Thibaut's comments into account[e-acsl:refman] acknowledgement[e-acsl:refman] fix typo[refman] first major upgrade since the origin independently from propagating ACSL evolutionsMerge branch 'feature/andre/parameter-get-default' into 'master'[Eva] Updates alternative test oracles.Merge branch 'fix/andre/filepath-get-pwd' into 'master'update test oracles[Kernel] avoid issues when PWD is not in the environment[Libc] add tests for *pcpy functions[Libc] add spec and stubs for some *pcpy functions[wp] Hide currently unused phi_read in MemValMerge branch 'fix/andre/libc-extern-link2' into 'master'Merge branch 'fix/eva/bitwise-memexec' into 'master'Merge branch 'feature/basile/variadic-changelog' into 'master'[variadic] Update changelogUpdate nix/frama-ci.*Update nix/frama-ci.*Merge branch 'feature/upgrade-opam2nix' into 'master'Merge branch 'feature/basile/variadic-monomorph' into 'master'[Eva] Fixes the bitwise domain with the memexec cache.
Loading