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.026Oct2524212019181413121110754330Sep29282726222120191615141312987652131Aug302925242212111092129Jul28272625222120191813Merge branch 'features/kernel/logic-interpr-out-of-db' into 'master'Merge branch 'fix/changelog' into 'master'[Ivette] Updates the Changelog following MR !3961.[Eva] Updates the Changelog following MR !3953.Retroactively updates the Changelog.[Ivette] Retroactively updates the Changelog for Ivette.[Eva] Retroactively updates the Changelog for Eva.Merge branch 'feature/eva/float-octagon' into 'master'[Eva] Octagon: do not assume that [reuse] cannot lead to bottom.[Eva] Updates test oracles.[Eva] Improves the use of memexec in the octagon domain.[Eva] Fixes the hash of the octagon domain.[Eva] Adds new test case of the octagon domain.[Eva] The octagon domain supports floating-point variables converted to integer.[Eva] Octagon domain: adds an abstract interface for variables.Merge branch 'feature/ivette/icon' into 'master'[ivette] Dome.getStatic()[ivette] renamed icns for macOS[ivette] Workaround for __static path[ivette] The icon now works on LinuxMerge branch 'feature/thibaut/type-conditionals-predicates' into 'master'Merge branch '1187-ivette-fix-spurious-dependency-on-zmq' into 'master'Merge branch 'fix/wp/gui' into 'master'[wp/gui] fix GUI building[ivette] remove zeromq dependenciesMerge branch 'fix/reference-configuration' into 'master'[Doc] Updates the reference configuration.Merge branch 'feature/thibaut/functions-label-here' into 'master'Merge branch '1156-dune-sign-installed-executable-on-macos-m1' into 'master'Merge branch 'fix/typo' into 'master'[kernel] Fixes a typo in -load-module error message.[e-acsl] add test for issue 178[e-acsl] update oracles[e-acsl] prevent generation of empty functions[e-acsl] clarify a warning[e-acsl] add support for Here label in functions and predicatesMerge branch 'feature/patrick/frama-c-build-script' into 'master'Merge branch 'fix/reproducible-archive' into 'master'[distrib] make-distrib.sh uses the same tar options as 'make distrib' before dune.Merge branch 'fix/ivette/makefile' into 'master'
Loading