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.025Oct24212019181413121110754330Sep29282726222120191615141312987652131Aug302925242212111092129Jul28272625222120191813Merge 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'[Scripts] adds the possibilty to set another package name[kernel] fixes the description of -load-module option[Scripts] adds some commands: init, build and install[kernel] fixes the error message when loading an ML source file[Scripts] bin/frama-c-build-scripts.sh alllows generation of the opam file[Kernel] adds -load-library option[Scripts] adds bin/frama-c-build-scripts.sh
Loading