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.019Jun25Mar191815141287629Feb28232221201986Nov25Oct1913111094312Sep87531Aug3021131Jul25191715May12924Apr522Feb98732131Jan272523171042Dec27Oct26191865429Sep21139831Aug3029Jul28121187121Jun97625May1817161312111093222Apr14118765424Mar21181125Feb1615147426Jan20146543Dec8Nov28Oct262119829Sep2722216Aug13Jul12968Mar525Feb2416Nov13[ACSL] WIP implement type instantiation[ACSL] WIP implement is*Type functions modulo instantiation and unrolling[ACSL] WIP MapLogicType takes care of all unifications[ACSL] WIP towards a single entry point to deal with type unification[ACSL] WIP first draft for type comparison modulo polymorphism[config] add clangd directive to take dune compilation scheme into account[acsl] WIP: preparing proper treatment of polymorphismwp-cache[tests] update oracles[wp-cache] add files[tests] test for \in operator[ACSL] Take \in operator into account[conversion] C++ classes can live inside extern "C" context[ir2cabs] use wchar_t also in ACSL++ translation[ir2cabs] define wchar_t in C when it appears in C++ codeRemoves loop pragma WIDEN_VARIABLES and WIDEN_HINTS.Use new Current_loc mechanism to set loc locally[kernel] Update for compatibility with new Current_loc APIsync with frama-c/frama-c!4310[nix] changes deprecated symbolupdate opam fileUpdate WP cachesync with frama-c/frama-c!4468synchronize with frama-c/frama-c!4432fix typo in 'closed source'Remove unused Cabs constructionversion bumpReset default branchupdate userman[ci] explicitly add needed packages for nix release target0.0.15 stable/n…0.0.15 stable/nickel[ci] fix typo and make check-opam a constraint on release job[ci] temporary variable in .gitlab-ci.yml to select appropriate Frama-CI's branchChangelog[tests] filter msg differences between clang 17 and older[clang] fix ghost support in clang 17[clang] Preliminary support for clang 17[CI] favor https instead of ssh access for external git repos[CI] preparing CI release targets[opam] add missing dependency[release] update fclang version in .opam