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.016Dec151413121198765432130Nov29282625242322211918171615141110843228Oct27262524212019181413121110754330Sep292827262221201916[opam] fix dev tools opam filesA few typos[doc] additional tools[doc] fixes in CONTRIBUTING[dev] add clang-format to deps[make] less verbose installation for dev tools[opam] fix dev tools packages[make] DEVELOPER -> FRAMAC_DEVELOPER[ci] fixes plugins checkers[install] Changes dev tools management[alias] still working on dataflow analysis[alias] first attempt to analyse function main[alias] dataflow analysis (WIP)[alias] linter[alias] register in table[alias] added do_stmt[alias] added function find_or_crete_vertexMerge branch 'feature/wp/float-sign' into 'master'[nix] wp-cache - take shallow master[wp] add float ACSL sign function[alias] allocation functionsMerge branch 'feature/test/wp-config' into 'master'Merge branch 'feature/eva/doc-flamegraph' into 'master'[tests] clarified frama-c-test -w option[Doc] Small improvements to the flame graph section in the Eva user manual.[Doc] add flame graph section to Eva user manual[tests] added -w|--wp-cache[alias] changed abstract type[alias] linter again[alias] abstract_state still WIP[alias] update oracles[alias] changed entry point of the module[alias] added options filesMerge branch 'fix/distrib-verbosity' into 'master'[alias] linter[alias] added functions to the interface[alias] added comments[ivette] Distributes directory doc/, and removes directory tests/.[distrib] Better print of uncommitted changes and distributed plugins.[distrib] Removes a debug echo in make-distrib.sh.