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.04Oct29Sep21139831Aug3029Jul28121187121Jun97625May1817161312111093222Apr14118765424Mar21181125Feb1615147426Jan20146543Dec8Nov28Oct262119829Sep2722216Aug13Jul12968Mar525Feb2416Nov131254327Oct2314129765228Sep18171110828Aug27262176549Jul87618Jun16Mar13111013Dec1265212Sep30Aug2927262322[c2ir] Tydef'ed static const can have a value in C translation tooUpdate Makefile.commonAdd ratio header[ci] minimal llvm version is 11README (version 111)[IR gen] Handles FC_BUILTIN attributeMerge branch 'bugfix/patrick/some-fixes-related-to-default-spec' into 'master'[oracles] next to kernel changesMerge branch 'feature/extlib/remove-functions' into 'master'No more Extlib.swap, Extlib.opt_fold, Extlib.filter_mapMerge branch 'feature/patrick/ptests-warns-on-disabled-conditions' into 'master'[ptests] requires dune 3.2Merge branch 'fix/normalize-makefile' into 'master'Merge branch 'fix/andre/watchpoint' into 'master'[tests] update oracle following Frama-C libc changesnormalize MakefileMerge branch 'fix/kernel/bool-conversion' into 'master'[tests] update oracle following kernel changesMerge branch 'feature/ptests/using-dune-read-variable' into 'master'[tests] access to the local cache wpMerge branch 'feature/patrick/share-makefile-common' into 'master'[Makefile] includes FRAMAC_SHARE/Makefile.commonMerge branch 'feature/wp/stats' into 'master'Merge branch 'fix/dep/camlp-streams' into 'master'Merge branch 'fix/linking' into 'master'[opam] fix dependencies[build] add dependency to camlp-streams[tests] update WP oracles (new format)[cmake] fix link target in case clang and llvm are in DYLIB modeMerge branch 'fix/nix/4.13' into 'master'[ci] fix missing dependency[ci] change default branchMerge branch 'feature/bobot/jbuilder' into 'master'Merge branch 'feature/dune/devel_tools' into 'feature/bobot/jbuilder'[ci] Change OCaml reference[install] Use shared Makefile[tests] Use shared MakefileClean gitattributes[ci] check headersAdd (check-)headers