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.027Feb2423222120171615141310987632131Jan27262524232019181716151312111096543131Dec302928232120191816151413121198765432130Nov2928262524232221191817161514111084Merge branch 'feature/patrick/generic-lint' into 'master'[Lint] allows to overload ocp-indent commands as for the other known toolsMerge branch 'fix/andre/update-macos-opam-install' into 'master'[CI] adds yojson & ppx_deriving_yojson for frama-c-lint[alias] generalized lval WIP[Lint] can parse a JSON config file[Lint] ease the way to add formatter toolsfixes/improvements following reviewupdate test oracles[Kernel] deprecate -c11 and enable it by default[alias] lint + update oraclesMerge branch 'feature/andre/refactor-mergecil' into 'master'[alias] collapse filed changed from LSet to VSetMerge branch 'feature/libc/s2opc-extensions' into 'master'[Doc] update macOS installation instructions[libc] prefer generic atomic builtin in tests[Libc] add tests for atomic GCC builtins[Libc] add initialization to atomic specificationsfix typos[libc] fix a few __atomic specificationsupdate oracle post-rebase[libc] refine spec of strftime[libc] Avoid making knots 🪢 with includes in the libc[libc] avoid introducing garbled mix when dealing with va_list arguments[libc] tentative postcondition for strftime[libc] more precise postconditions for atomic gcc builtins[atomic] use unsigned arguments[builtins] Add support for generic __atomic_* builtins[libc] add prototypes and spec for gcc __atomic_* specialized operations[alias] added field collapsed in the abstract valuesMerge branch 'fix/ivette/source-code-position' into 'master'Merge branch 'fix/eva/dochildren' into 'master'[Eva] avoid unscoped Cil.DoChildren[alias] fixed #19[alias] fixing #19 WIPMerge branch 'fix/michele/correct-use-of-find-by-name' into 'master'Handle exception of find_by_name when building a destructor call.[alias] update oracles[alias] fixed - print_dot function[alias] dot output WIP
Loading