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.021Apr2019161514131298762131Mar3029262524232219181716151211109853126Feb2524232219181716151312111098[wp] Update tests/oracles pessimistic initialized[wp] Fix struct init behavior + init not monotonic[kernel] In cabs2cil, fails when alignof is applied to incomplete types.[kernel] Fixes a crash on __alignof__(void).Update nix/frama-ci.*Update nix/frama-ci.*Update nix/frama-ci.*Update nix/frama-ci.*Update nix/frama-ci.*Update nix/frama-ci.*Update nix/frama-ci.*Update nix/frama-ci.*[nix] export mk_opam_derivations into frama-c attributes set[nix] retain old opamPackages name for better compatibility with helpers.nix[nix] export mk_deriv in frama-c attrset[nix] migrating to opam2nix v1: allow derivation to add custom opam packages[Eva] Adds test oracles for the apron config on recursion.c.[Eva] Adds the [callstack] in the [Eval.call] record built by transfer_stmt.[Eva] New message key "recursion" for the interpretation of recursive calls.[Eva] In recursion.ml, uses Cil.copyVarinfo instead of makeVarinfo.[Eva] Adds a test of a recursive function without a specification.[Eva] Adds a new test case in test recursion.c.[Eva] Fixes test recursion.c.[Eva] Fixes abstract domains uses of the valuation for recursive calls.[e-acsl] In test decrease.i, uses Eva parameter -eva-unroll-recursive-calls.[Eva] Clarifies the documentation of [replace_base] in lmap and locations.[Eva] Optimizes [partition_with_shape] in hptmap.[Eva] Fixes audit test.[Eva] Comments the interpretation of recursive calls.[Eva] Removes an outdated warning about recursive calls.[Eva] Fixes the cvalue domain on recursive calls.[Eva] Do not remove from the state the struct copied in a recursive call.[Eva] Adds [replace_base] in abstract locations.[variadic] In tests, uses the Eva parameter -eva-unroll-recursive-calls.[e-acsl] In tests, uses the Eva parameter -eva-unroll-recursive-calls.[Eva] Minor fix in recursion.ml.[Eva] When using the specification for a recursive call, mark requires as unknown.[Eva] Adds tests for the partial support of the recursion.[Eva] New warning when the specification is used to interpret a recursive call.[Eva] Fixes locals_scoping and the cvalue domain on mutually recursive calls.