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.03May222Apr14118765424Mar21181125Feb1615147426Jan20146543Dec8Nov28Oct262119829Sep2722216Aug13Jul12968Mar525Feb2416Nov131254327Oct2314129765228Sep18171110828Aug27262176549Jul87618Jun16Mar13111013Dec1265212Sep30Aug292726232286Update nix/frama-ci.*Merge branch 'fix/nix/easy-format' into 'master'Dune buildUpdate nix/frama-ci.*opam-version should be the first field[dune-project] adds conf dependencies to llvm, clang & cmake[dune] prepare clang2ir compilationC++ files are not only about ACSL. Rename dir[Build] init dune architecture[tests] update oracle post mergeMerge branch 'stable/chromium'[distrib] distribute gen_ast.mli0.0.12 stable/c…0.0.12 stable/chromium[doc] indicate clang 14 compatibility[ci] prepare CI on clang-14[clang] clang-14 compatibilityversion bumpupdate user man[ci] update nix configuration to use at least clang 10[configure] Require Clang >= 10Revert "Merge branch 'fix/integral_constant' into 'master'"revert-6a4cd7cdrevert-6a4cd7cdMerge branch 'fix/integral_constant' into 'master'[tests] update wp cacheMerge branch 'cxx14-generic-lambda' into stable/chromium[ir2cabs] tiny refactoring (use List.fold_left instead of manual list unroll)[tests] update test configuration for new test fileExpect new lambda codegen for existing tests/stl/stl_algorithm.cppExpect new lambda codegen for existing tests/basic/lambda.cppAdd test for C++14 generic lambda featureMake lambda unique IDs deterministicCleanup codegen for C++14 generic lambda featureAdd support for C++14 generic lambdasMerge branch 'clang-tidy-modernize-use-override' into stable/chromium[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