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.08Sep7531Aug3021131Jul25191715May12924Apr522Feb98732131Jan272523171042Dec27Oct26191865429Sep21139831Aug3029Jul28121187121Jun97625May1817161312111093222Apr14118765424Mar21181125Feb1615147426Jan20146543Dec8Nov28Oct262119829Sep2722216Aug13Jul12968Mar525Feb2416Nov131254327Oct2314129765228Sep18171110828Aug272621765[userman] revert back to pure Frama-C's frama-c-book.cls[userman] much needed update[cmake] allow passing explicitely the name of the llvm-config executable to use[cmake] Fix minimal cmake version[cmake] more robust search for cmake's llvm and clang modulesremove needless dependency over bash[cache] add missing files[opam] update dependencies for package0.0.14 stable/c…0.0.14 stable/cobaltMerge branch 'fix/libc/strton-ensures' into 'master'sync with frama-c/frama-c!4096Merge branch 'fix/cobalt/clang-16' into 'stable/cobalt'Merge branch 'fix/kernel/728-cabs2cil-error-messages' into 'master'restore compatibility with clang < 15Fixes compilation with clang 16.Merge branch 'fix/clang-16' into 'master'add clang-16 to CI targetsrestore compatibility with clang < 15Fixes compilation with clang 16.Update test oraclesMerge branch 'fix/eva/show-progress' into 'master'Updates test oracles according to Eva changes.Merge branch 'stable/cobalt' into 'master'Update Frama-C versionUpdate Frama-C versionMerge branch 'feature/ocaml-4-13' into 'master'update minimal OCaml version to 4.13 and use new String functionsMerge branch 'fix/eva/goto-skipping-variable-declaration' into 'master'[tests] Updates a test oracle following Eva changes.Reset default branchChange default branchMerge branch 'feature/andre/machdep-generator' into 'master'[wp-cache] new entries[framaCIRGen] silence warning about builtin macros in clang 15[clang] update clang args to reflect new machdep management in kernel[tests] update oracles following machdep changesMerge branch 'feature/aorai/extended-syntax' into 'master'Updates test oracles.Merge branch 'feature/libc/s2opc-extensions' into 'master'Merge branch 'feature/ci/llvm-15' into 'master'[ci] script use LLVM 15 by default