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.05Apr424Mar21181125Feb1615147426Jan20146543Dec8Nov28Oct262119829Sep2722216Aug13Jul12968Mar525Feb2416Nov131254327Oct2314129765228Sep18171110828Aug27262176549Jul87618Jun16Mar13111013Dec1265212Sep30Aug292726232286[Makefile] put -Wsuggested-override in MakefileAdding a few more overrides that -Wsuggest-override caught but clang-tidy didn'tMake exhaustive use of C++11 override keyword (NFC)Merge branch 'cmd-line-args-fix' into stable/chromium[doc] remove reference to unimplemented options in user manual[clang2ir] do not warn about unknown option: assume clang will handle itFix infinite loop when processing unknown double-dash argumentMerge branch 'wip-frama-c-2564' into stable/chromium[clang2ir] Fix function name for retarded definitions[tests] fix options for launching testDrop a few warnings and default definitions from the test suitePrefer potential duplicate definitions in AST over NON TERMINATING analysis result[WIP] Fix recognition of certain functions with r-value return typesMerge branch 'forward-rvalue-ref' into stable/chromium[libc++] Fix std::forward for r-value referencesforward-rvalue-…forward-rvalue-refMerge branch 'fix/init-global-int' into 'stable/chromium'[clang2ir] Fix translation of negative integral constants[tests] towards fixing pub/frama-clang#4[ir2cabs] systematically use mk_int64_cst for translating integer constants[ir2cabs] fix conversion of negative integer constants[tests] update wp-cacheMerge branch 'feature/typing/less-casts' into 'master'[kernel-compat] update oraclesUpdate type_traits: template specialization where type T is boolMerge branch 'feature/andre/reallocarray' into 'master'synchronize 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'