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.021Jun20191817107654330May2927242321171615141311632130Apr29262524232219181716151211109875432[Eva] Improves precision of memset builtin.[Eva] Fixes soundness bug in offsetmaps.[Eva] Adds a test of the memset builtin applied to a weak base.[Eva] Adds a test of a soundness issue in offsetmaps.Merge branch 'fix/ivette/toolbar-suggestions-z-index' into 'master'Merge branch 'feature/ivette/checboxlist/rlaz' into 'master'[dome] specifialized form layouts[ivette] ensure toolbar suggestions box is on top of Dive's legend[Ivette] restructuring action + style block formMerge branch 'fix/eva/memcpy' into 'master'Merge branch 'fix/doyen/cabs2cil_1343' into 'master'[Eva] Memory builtins: ensures lval_of_address is only used to emit warnings.[Eva] Splits test memcpy in two runs with different absolute valid range.[e-acsl] add missing entry in Changelog[e-acsl] merge regression test into existing test file[Eva] In memcpy test, uses loop unroll instead of -eva-slevel.[Eva] Changes function names and lines in memcpy test.[Eva] Fixes possible crash in memcpy/memset builtins.[ivette] style for field block[Ivette] restructure field style block[Ivette] add context 'mode' in form section[Ivette] rename action[Ivette] add actions on genericFieldMerge branch 'fix/martin/opam/turn-off-freebsd-tests' into 'master'Merge branch 'feature/kernel/loop-unroll-extension' into 'master'Enable tests on macosDisable tests on freebsdUpdate test oracleMerge branch 'jan/eacsl-fix-typing' into 'master'Fix Changelog[Ivette] forms : add ButtonField[tests] test that we don't accept Generics on a VLA type[typing] ensure we can compute the sizeof of a VLA type[typing] encountering a VLA when processing init is fatal[typing] better contextualization of error msg on unexpected VLA[e-acsl] fix typing problem when using rationals[changelog] loop unfold ACSL extension[slicing] treat more extensions in logic-deps[typing] more accurate error msg when encountering unexpected VLA[kernel] renamed unfold-loop module
Loading