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.021Sep18171615141110987432131Aug2827262524217654331Jul302928272625242322212018171615109Merge branch 'feature/docker/keep-failing-sources' into 'master'[wp] upgrade referenced versionsDo not remove sources in the docker image when compilation failsMerge branch 'feature/andre/cmdline-permissive' into 'master'changelog[Kernel] minor fixes after review[Kernel] extend -permissive to include unknown optionsMerge branch 'fix/bug-reporting' into 'master'Merge branch 'feature/basile/standardize-init-clean' into 'master'[eacsl] Standardize cleanup functions[Kernel] remove dot after URL in crash message[kernel] Fixes the bug reporting messages: uses gitlab instead of the old bts.[Gui] rename misleading 'Cancel' button in Analyses panel[wp] Test that RefUsage takes lemmas in accountMerge branch 'master' into fix/wp/smoke-count[wp] RefUsage considers lemmasMerge branch 'fix/wp/assigns-cfg' into 'master'[wp] updating qualif logs without driver[wp] reverted post-validityMerge branch 'master' into fix/wp/assigns-cfgMerge branch 'fix/tests/internal-mode' into 'master'[wp] better feedback for cache miss (wp-qualif)[wp] fix post assigns[wp] optimise passive form[wp] broken tests for post-assigns and post-valid[wp] refactor internal CFG edges[wp] refactor scope[wp] goal printer debug[tests-wp] update oracles following message change[tests] use MODULE directive[wp] only output information on loaded driver when 'driver' category is onMerge branch 'feature/andre/dockerfile-internal' into 'master'[Dev] remove unecessary docker commands and update README for custom docker[Dev] add Dockerfile and instructions for custom imagesMerge branch 'feature/blanchard/wp/hypotheses' into 'master'Merge branch 'feature/andre/libc-asctime' into 'master'ChangeLogMerge branch 'master' into feature/blanchard/wp/hypotheses[wp] Lint registerUpdate nix/frama-ci.*
Loading