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.07Feb528Jan2513Dec30Oct73210Sep930Aug21201619Jun22May8Mar619Feb1676526Dec1517Nov7614Oct43229Sep26141121Aug141014Jun54329May25753223Mar9814Feb30Nov292320Sep17Aug161211327Jul2016528Jun17May161514131211721Apr20128752121Mar1817141312111020Feb181518Jan17149Dec623Nov1815918Oct32127Sep14875123Aug20111028Jul2723221916876543129Jun28272621201918171817161514131211109876545432131May3029282728272625242322212019181918171615141312111211101110987656543130Apr29282728272623222120212019201918171413876532131Mar30292824Forward compatibility for https://gitlab.mpi-sws.org/iris/stdpp/-/merge_requests/555masters/weak_memmasters/weak_memupdate dependenciesupdate dependenciesfix divergence without vProp annotationupdate dependenciesbump to Coq 8.20.1update dependenciesmastermasterMerge 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 RefinedRustupdate dependenciesupdate dependenciesupdate dependenciesupdate dependenciesupdate dependenciesBump std++ (length_X).Bump std++ (length_X).Forward compatibility fix for https://gitlab.mpi-sws.org/iris/stdpp/-/merge_requests/555update dependenciessome comments on lifetime endingpublish lifetime logic dev packagesfix coq-lifetime package