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.014Mar131228Feb272524211917141312765331Jan16149720Dec928Nov27251575425Oct1598330Sep2726252423181713126543221Aug98752131Jul3022420Jun1925Mar191815141287629Feb28232221201986Nov25Oct1913111094312Sep87531Aug3021131Jul25191715May12924Apr522Feb98732131Jan272523171042Dec27Oct26191865429Sep21139831Aug3029Jul28121187121Jun97625May1817161312111093222Apr14118765424Mar21181125Feb1615147426Jan20146543Dec8Nov28Oct262119829Sep2722216Aug13Jul1296Update Changelog with Clang 19 compatmastermasterMerge branch 'feature/llvm-19' into 'master'[ir2cabs] fix unmangling short, and more accurate template inst reordering[ci] use llvm-19 in CI[ir2cabs] stabilize translation of function template instantiation[clang] look for llvm-config-19 in CMake (and remove unsupported llvm-config-11)[tests] update oracles[libc++] fix bug in <functional>[clang] ensure compatibility with clang 19Merge branch 'jan/feature/pretty' into 'master'[tests] Sync with frama-c!4512Merge branch 'feature/martin/cil/move-type-out-of-cil' into 'master'[Kernel compatibility] use new Ast_types moduleMerge branch 'fix/blanchard/libc/string-axiomatic' into 'master'update oracles[Kernel compatibility] add ACSL object_pointer keywordMerge branch 'feature/andre/libc-fixes-and-assigns' into 'master'add missing cache filessync with frama-c/frama-c!4932Merge branch 'feature/martin/kernel/rename-attributes-functions' into 'master'Merge branch 'fix/bdesloges/libc/signal-spec' into 'master'[Kernel compatibility] Rename Ast_attributes.exists to contains[kernel compatibility] Sync with frama-c!4936[Kernel compatibility] Ast_attributes function renaming[Kernel compatibility] Change register_attribute orderMerge branch 'fix/kernel/acsl_parsing_failure' into 'master'Merge branch 'feature/release/automate-readme-update' into 'master'[ir2cabs] fix translation of array length in ACSL types following upstream changeMerge branch 'feature/kernel/typed-floats' into 'master'Updating oraclesMerge branch 'feature/bdesloges/libc/signal-spec' into 'master'[tests] Sync with frama-c!4895[tests] Add test for function pointer manglingDo not mangle extern C function pointersMerge branch 'feature/martin/cil/move-attr-out-of-cil' into 'master'[Kernel compatibility] Use new Ast_attributes module, remove AttrAnnotMerge branch 'feature/martin/kernel/use-record-for-types' into 'master'[kernel compatiblity] Use records for Cil_types.typMerge branch 'update-headers-2025' into 'master'Update headers to 2025