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.018Feb17161514111098732131Jan282726252422212019181714131211107654321Dec20171615141310987[kernel] Optimizes the [contract_special_float] code transformation.[kernel] Optimizes the "ghost access checking" code transformation.[kernel] Optimizes the [expand_destructors] code transformation.[kernel] Visitor: adds a function to visit all function definitions of a file.fix test oracle after mergeMerge branch 'feature/andre/libc-err' into 'master'Update Changelog following !3409Merge branch 'fix/andre/attribute-vector-size' into 'master'[kernel] printer-tag helpers for localized globals[server] export Main & Jbuffer modules[wp] raw MemVar instances of VarUsagesMerge branch 'fix/eva/gen-api' into 'master'[Eva] Fixes the gen-api script on macOS.[Eva] Fixes the gen-api script on macOS.In plugins using Eva, uses [Eva.Analysis.compute] instead of [Db.Value.compute].[Eva] Uses [Analysis.compute] instead of [Db.Value.compute].In plugins using Eva, uses Eva.Analysis.is_computed instead of Db.Value.is_computed.[Eva] Analysis: uses [Self.is_computed] instead of [Db.Value.is_computed].[Eva] Moves the computation state in Self. Adds computation state [Aborted].In plugins using Eva, uses [Eva.Analysis.self] instead of [Db.Value.self].[Eva] Replaces Db.Value.self by Self.state.[Eva] New Frama-C state Self.state to replace Db.Value.self.[e-acsl] Dune: don't gitignore local_config.ml[ivette] update distributed files[ivette] move generated API[tests] dune: fix part of test directory 'misc'[tests] fix typo in fc_script test[tests] dune: fix test directory 'spec'[tests] dune: fix test directory 'saveload'[tests] dune: fix test directory 'rte'[tests] dune: fix test directory 'pdg'[tests] dune: fix test directory 'metrics'[tests] dune: fix test directory 'libc'[tests] dune: fix test directory 'builtins'[tests] dune: fix test directory 'syntax'[ptests] add default macro for FRAMAC_SHARE[tests] compliance: ensure compatibility with dune[ptests] add default macro for FRAMAC_SHARE[scf] next to the new API of Eva[tests] adds missing %{dep:file}
Loading