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.019Jun25Mar191815141287629Feb28232221201986Nov25Oct1913111094312Sep87531Aug3021131Jul25191715May12924Apr522Feb98732131Jan272523171042Dec27Oct26191865429Sep21139831Aug3029Jul28121187121Jun97625May1817161312111093222Apr14118765424Mar21181125Feb1615147426Jan20146543Dec8Nov28Oct262119829Sep2722216Aug13Jul1296Change 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[ACSL] do not crash on user errors[ACSL] do not assume unroll will always succeed[ACSL] avoid sharing nodes and fix infinite recursion[ACSL] WIP more functions modulo type instantiation[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.