Skip to content
Snippets Groups Projects
Select Git revision
  • forward-rvalue-ref
  • master default protected
  • revert-6a4cd7cd
  • stable/calcium
  • stable/chromium
  • stable/cobalt
  • stable/copper
  • stable/iron
  • stable/manganese
  • stable/nickel
  • stable/scandium
  • stable/titanium
  • stable/vanadium
  • stable/zinc
  • 0.0.17
  • 0.0.17-beta
  • 0.0.16
  • 0.0.15
  • 0.0.14
  • 0.0.13
  • pre-dune
  • 0.0.12
  • 24.0-beta
  • 0.0.10
  • v0.0.10
  • VESSEDIA-D2.5
  • VESSEDIA-D2.3
  • 0.0.4
  • 20150324
29 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.022Feb98732131Jan272523171042Dec27Oct26191865429Sep21139831Aug3029Jul28121187121Jun97625May1817161312111093222Apr14118765424Mar21181125Feb1615147426Jan20146543Dec8Nov28Oct262119829Sep2722216Aug13Jul12968Mar525Feb2416Nov131254327Oct2314129765228Sep18171110828Aug27262176549Jul87618Jun16Mar13111013Dec126Merge branch 'feature/libc/s2opc-extensions' into 'master'Merge branch 'feature/ci/llvm-15' into 'master'[ci] script use LLVM 15 by default[nix] use standard pkgs now that fc-core has the appropriate nixpkgs versionupdate oracleMerge remote-tracking branch 'origin/stable/iron'Merge branch 'feature/llvm-15' into 'stable/iron'[CI] make llvm-15 the reference version[CI] first draft for LLVM 15 in CI[tests] update oracle for clang 15[clang] force generation of builtin templates[stl] explicit std:: use (avoid clang-15 warning)Merge branch 'update-headers' into 'master'[headers] update remaining filesMerge remote-tracking branch 'origin/stable/iron'[clang] suppress spurious runtime warning in clang 15[clang] Compatibility with Clang 15[llvm-15] do not rely on obsolete method[headers] from 2022 to 2023Merge branch 'feature/andre/c11-generic' into 'master'synchronize with frama-c/frama-c!4028Merge branch 'feature/andre/libc-posix-non-posix' into 'master'Merge branch 'fix/kernel/acsl-range-pp' into 'stable/iron'[tests] update oracles after kernel changessynchronize with frama-c/frama-c!3944Reset default branchChange default branchstable/ironstable/ironMerge branch 'feature/cleanup' into 'master'[dune] fix typo in opam template[dune] install libc++ in a place where framaCIRGen will find it.[dune] fix maintainers[c2ir] remove #if directives for clang < 11[dune] update opam dependencies and opam templateremove obsolete MakefilesMerge branch 'feature/ptests/hack-for-specific-plugin-name' into 'master'[tests] use new directive LIBRARY to load frama-clang.corefixes the plugin name to frama-clangMerge branch 'upgrade/ci/4.14' into 'master'[ci] use fetchgit instead of gitignoresource Use new nix runner