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.019Jun25Mar191815141287629Feb28232221201986Nov25Oct1913111094312Sep87531Aug3021131Jul25191715May12924Apr522Feb98732131Jan272523171042Dec27Oct26191865429Sep21139831Aug3029Jul28121187121Jun97625May1817161312111093222Apr14118765424Mar21181125Feb1615147426Jan20146543Dec8Nov28Oct262119829Sep2722216Aug13Jul12968Mar525Feb2416Nov131254327Oct2314129synchronize with frama-c/frama-c!4432fix typo in 'closed source'Remove unused Cabs constructionversion bumpReset default branchupdate userman[ci] explicitly add needed packages for nix release target0.0.15 stable/n…0.0.15 stable/nickel[ci] fix typo and make check-opam a constraint on release job[ci] temporary variable in .gitlab-ci.yml to select appropriate Frama-CI's branchChangelog[tests] filter msg differences between clang 17 and older[clang] fix ghost support in clang 17[clang] Preliminary support for clang 17[CI] favor https instead of ssh access for external git repos[CI] preparing CI release targets[opam] add missing dependency[release] update fclang version in .opam[CI] allow ci.sh to use a local Frama-CI repo[ci] prepare release target.gitattributesPreparing the releaseMerge branch 'fix/virgile/mixed-c-cxx-link' into 'stable/nickel'[ir2cabs] better handling of class name conversions[conversion] C++ classes can live inside extern "C" context[tests] new test reproducing extern C issue[ir2cabs] emulate and/or normalization done by FC's own ACSL parser[clang2ir] if user wants to have useless casts in ACSL, do not remove them[clang2ir] do not revert list of ACSL++ predicate names[clang2ir] remove useless casts in ACSL++ translation[clang2ir] fix implicit conversion of boolean term to predicate[ACSL++] better char litteral translation[ir2cabs] use wchar_t also in ACSL++ translation[ir2cabs] define wchar_t in C when it appears in C++ code[IR] Remove constructors for inexisting types[tests] more discrepancies in ACSL libc for mixed C/C++ progsupdate oracles[irgen] Fix decl context of global ghost declarations[irgen] Better location for ghost declarationstest for ghost extern c issueadd test case for mixed linking