Skip to content
Snippets Groups Projects
Select Git revision
  • ci/ike/frame_exist
  • ci/janno/reduction_no_check
  • ci/janno/strict-tc-resolution
  • ci/pinning
  • ci/places
  • ci/pm_red
  • ci/ralf/const-rf
  • ci/ralf/sections
  • ci/weak_mem protected
  • coqbug/match
  • ghostcell
  • gpirlea/pin_semantic
  • gpirlea/pinning
  • jh/closures
  • jh/dynamic_masks
  • jh/lifetime_no_dead_trade
  • jh/typecheck_foo
  • master default protected
  • masters/rusthornbelt protected
  • masters/weak_mem protected
  • RBrlx-POPL20-artifact
  • popl18
  • popl18-aec
23 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.01Apr31Mar3028267Feb528Jan2513Dec30Oct73210Sep930Aug21201619Jun22May8Mar619Feb1676526Dec1517Nov7614Oct43229Sep26141121Aug141014Jun54329May25753223Mar9814Feb30Nov292320Sep17Aug161211327Jul2016528Jun17May161514131211721Apr20128752121Mar1817141312111020Feb181518Jan17149Dec623Nov1815918Oct32127Sep14875123Aug20111028Jul2723221916876543129Jun28272621201918171817161514131211109876545432131May3029282728272625242322212019181918171615141312111211101110987656543130Apr29282728272623222120212019201918171413876532131MarBump gpfslmasters/weak_memmasters/weak_memThou shalt not use generated names.masters/rusthor…masters/rusthornbeltthou shalt not use generated names.Update Coq for CI?Bump gpfslBump Iris (transfinite algebra).Fix CI.Bump Iris.Bump Iris (transfinite algebra).mastermasterupdate IrisMerge branch 'lennard/lft_countable' into 'master'lft is EqDecision and CountableForward compatibility for https://gitlab.mpi-sws.org/iris/stdpp/-/merge_requests/555update dependenciesupdate dependenciesfix divergence without vProp annotationupdate dependenciesbump to Coq 8.20.1update dependenciesMerge branch 'atomic_lft_promotion' into 'master'Move `lft_kill_atomic` to derived lawsbump Irisfix importsupdate dependencieswe still get this warning unfortunatelyupdate dependencies; warning should be goneBump to Coq 8.19.1 and new gpfslbump to 8.20fix argument scope warningsbump to Coq 8.19update dependenciesupdate dependenciesupdate dependenciesBump. Does not seem to fix the issue.Bump. Does not seem to fix the issue.Add lft_create_atomicExpose atomic lifetimes opaquely in the APIAllow ending multiple atomic lfts in a stepMerge branch 'ci/lennard/refinedrust' into 'master'Add lemmas used by RefinedRust