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.025Feb1615147426Jan20146543Dec8Nov28Oct262119829Sep2722216Aug13Jul12968Mar525Feb2416Nov131254327Oct2314129765228Sep18171110828Aug27262176549Jul87618Jun16Mar13111013Dec1265212Sep30Aug292726232286synchronize with frama-c/frama-c!3519Merge branch 'feature/allow-demangling-c-files' into 'stable/chromium'Apply suggestions from reviewMerge branch 'feature/msvc' into 'stable/chromium'[machdep] add support in Frama-Clang for x86_64_msvc machdep of Frama-C[options] -cxx-parseable-output implies no unmangling[doc] update README for new options[doc] update userman version numbers and LaTeX class[options] better option for having reparseable code[options] refactor unmangling options and allow unmangling even on C filesbetter test options2022 headers[C translation] preliminary options for obtaining reparseable output[tests] prepare test for reparsing C outputMerge remote-tracking branch 'origin/stable/chromium'Merge branch 'feature/llvm-13' into 'stable/chromium'Merge branch 'feature/ocaml-4.13' into 'stable/chromium'[tests] remove incorrect spec from tests/val_analysis/result.cc[clang] use NRVO information at ReturnStmt level[ci] re-add missing nix tags[ci] preparing tests against llvm-13[compat] preparing support for LLVM-13[Makefile] ensures gen_ast.cmi is compiled before compiling implementationOCaml 4.13 compatibilityMerge branch 'feature/andre/variadic-add-wkeys' into 'master'sync with frama-c/frama-c!3500Merge branch 'feature/andre/libc-8cc' into 'master'sync with frama-c/frama-c!3512Merge branch 'feature/patrick/test-exec-from-result-dir' into 'master'Fix tag for llvm 10[Tests] updated oracles[Tests] requirement for test execution from result directoriesMerge branch 'feature/kernel/removes-deprecated-features' into 'master'[kernel-compat] removed AST nodesMerge branch 'feature/patrick/chromium2master' into 'master'Merge remote-tracking branch 'origin/stable/chromium' into feature/patrick/chromium2masterMerge branch 'feature/andre/static-assert' into 'stable/chromium'24.0-beta24.0-betaMerge branch 'feature/patrick/chrominum2master' into 'master'updates an oracle next to kernel changesMerge branch 'feature/andre/libc-uio' into 'stable/chromium'