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.030Jul22420Jun1925Mar191815141287629Feb28232221201986Nov25Oct1913111094312Sep87531Aug3021131Jul25191715May12924Apr522Feb98732131Jan272523171042Dec27Oct26191865429Sep21139831Aug3029Jul28121187121Jun97625May1817161312111093222Apr14118765424Mar21181125Feb1615147426Jan20146543Dec8Nov28Oct262119829Sep2722216Aug13Jul1296[ci] avoid using undefined variables[ci] prepare compilation of manual within CI[ci] clang 11 is unavailable in recent nixpkgs[ci] let Frama-C handle llvm 18 nix packagesMerge branch 'fix/martin/kernel/terminate-false-with-noreturn-attr' into 'master'Update test oracles[tests] post-merge oracles fixMerge branch 'feature/kernel/loop-unroll-extension' into 'master'[frama-c] removes unused loop pragmasMerge branch 'stable/copper'[tests] post-rebase oracles fixUpdate frama-clang.opam.template[tests] post-rebase oracles fixsync with frama-c/frama-c!4638Fix opam version after Frama-C master updateupdate test oracles[tests] update oracles following rebasesync with frama-c/frama-c!4513[acsl] add support for \is_infinite built-inReset default branchChange default branch[tests] update oracles of new tests following rebase[clang2ir] no more msg when outputting generated IR[ci] nix/sources.json does not need headers[ci] LLVM 18 ought to be supported[tests] do not test non-standard features[nix] use niv to retrieve newest llvm packages + allow testing LLVM 17+18 in CImore factorization for clang-18update for clang-18 for next ubuntu 24.04[ACSL] remove compilation warning about reorder field in constructorfix headers[ACSL] treat \in as fc kernel does[ACSL] void* is compatible with any pointer type[ACSL] better debugging function[ACSL] Make isCompatibleType symmetric[ACSL] Add support for explicitly defined sets[ACSL] `\empty` correctly typed as polymorphic set.[tests] update oracle[ACSL] simplify typechecking of `obj->pred()` and fix bug[ACSL] add some missing type conversions