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.07Mar65428Feb272625211917141312111076543131Jan302928272423222120171615141310987620Dec191817161312111096543229Nov282725222120Merge branch 'feature/ivette/doc' into 'master'[Kernel] rewrite -machdep error message[Ivette] documentation: correction MR 4947[rte] moves tests from Frama-C to rte[tests] improve dependencies for Cram tests[Kernel] ensure deterministic order for machdeps[Kernel] avoid crashing due to invalid -machdep value[Ivette] documentation: overlay + TODO + use addMenuItem + use registerDocChapter + check errors[Ivette] added general documentation[Libc] add test using SIG_ATOMIC_MIN/SIG_ATOMIC_MAX[Machdep] fix typo in SIG_ATOMIC_MIN/SIG_ATOMIC_MAXMerge branch 'jan/alias' into 'master'Merge branch 'jan/monad-functions' into 'master'[libc] add test about inclusion guards[Libc] normalize header guards and avoid empty defines for boolean macrosMerge branch 'fix/andre/libc/sys-poll' into 'master'Merge branch 'fix/andre/dev/purge-tests-grep-nul' into 'master'[lib] add some convenience functions to MonadMerge branch 'fix/eva/offsetmap-update-everywhere' into 'master'[Eva] Offsetmaps: documents the requirement of lattice functions.[Eva] Adds a test for a fixed offsetmap crash on dynamic allocation.[Eva] In offsetmaps, fixes function [update_imprecise_everywhere].Merge branch 'feature/eva/always-split-disjunctions' into 'master'[Eva] Adds a test of state partitioning on ACSL disjunctions.[Eva] When interpreting ACSL, always split states on disjunctions.Merge branch 'fix/eva/evaluation-oracle-alarms' into 'master'[Eva] Evaluation engine: fixes a soundness bug when the oracle produces alarms.Merge branch 'fix/virgile/printer/fix-pp-empty-wstr' into 'master'Merge branch 'fix/blanchard/ivette/warning-cr24' into 'master'[printer] correctly prints empty wide strings[dev] ensure that grep is nul-compatible with surrounding commandsMerge branch 'feature/kernel/safe-functions-opening' into 'master'[ivette] upgrade devtools-installerMerge branch 'feature/andre/new-dockerfiles' into 'master'Merge branch 'feature/doc/performance-parameters' into 'master'Merge branch 'feature/andre/parser/ignore-pragma-omp' into 'master'Merge branch 'jan/feature/pretty' into 'master'[alias] add debug key for displaying libc variables[Kernel] improve pretty printing of logic conditionalsMerge branch 'fix/virgile/makefile/purge-tests' into 'master'
Loading