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.026Oct191865429Sep21139831Aug3029Jul28121187121Jun97625May1817161312111093222Apr14118765424Mar21181125Feb1615147426Jan20146543Dec8Nov28Oct262119829Sep2722216Aug13Jul12968Mar525Feb2416Nov131254327Oct2314129765228Sep18171110828Aug27262176549Jul87618Jun16Mar13111013Dec1265212Sep30Aug[dune] fix typo in opam template[dune] install libc++ in a place where framaCIRGen will find it.[dune] fix maintainers[c2ir] remove #if directives for clang < 11[dune] update opam dependencies and opam templateremove obsolete MakefilesMerge branch 'feature/ptests/hack-for-specific-plugin-name' into 'master'[tests] use new directive LIBRARY to load frama-clang.corefixes the plugin name to frama-clangMerge branch 'upgrade/ci/4.14' into 'master'[ci] use fetchgit instead of gitignoresource Use new nix runner[dune] install new stl headersMerge remote-tracking branch 'origin/stable/manganese'update requirements in README0.0.13 stable/m…0.0.13 stable/manganeseyet another version bumpupdate © year for user manualupdate version number and documentation[c2ir] remove #if for clang < 10add headers for new filesMerge branch 'feature/T-Gruber/limits' into 'stable/manganese'[clang] clang-10 compatibility[tests] add test for <limits> header and update oracles[stl] fix copy 'n paste issue in unsigned long long numeric_limits[stl] add cmath for importing math.h in C++ world.[stl] use FC's own symbols for numeric limits whenever possible[c2ir] assert that native wchar_t has same size as FC's one on C side.[c2ir] do not impose sizeof(wchar_t) == 2 regardless of machdep[c2ir] use hexadecimal format for floating point literalUpdate Makefile.commonAdd limits headerAdd cfloat headerMerge branch 'feature/ghost/fix-vlas-and-builtins' into 'master'Merge branch 'feature/T-Gruber/ratio' into 'stable/manganese'[Makefile] link gen_ast against camlp_streams[nix] add camlp-streams packageminor typo in comment[tests] update oracles following previous changes[c2ir] not all global constants are static after all[tests] add test case for ratio