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.010Mar765428Feb272625211917141312111076543131Jan302928272423222120171615141310987620Dec191817161312111096543229Nov28272522[Eva] Mthread: adding accesses for the interferences in the mthread domain.[Eva] Mthread: minor modifications to the mthread domain.[Eva] Mthread: new domain inferring properties required by the Mthread analysis.[Eva] Mthread: adds a warning when running an analysis.[Eva] Mthread: removes use of the Eva public interface.[CI] Runs Mthread tests in gitlab CI.[Eva] Fixes Mthread oracles.[Eva] Fixes Mthread tests.[Eva] Mthread: lint C files.[Eva] Fixes Mthread headers.[Eva] Updates Eva dune file for Mthread.[Eva] Imports plugin Mthread in Eva.Merge branch 'fix/andre/machdep/invalid-name-crash' into 'master'Merge branch 'fix/ivette/wp' into 'master'Merge 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'
Loading