Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
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
Created with Raphaël 2.2.08Apr7131Mar3028267Feb528Jan2513Dec30Oct73210Sep930Aug21201619Jun22May8Mar619Feb1676526Dec1517Nov7614Oct43229Sep26141121Aug141014Jun54329May25753223Mar9814Feb30Nov292320Sep17Aug161211327Jul2016528Jun17May161514131211721Apr20128752121Mar1817141312111020Feb181518Jan17149Dec623Nov1815918Oct32127Sep14875123Aug20111028Jul2723221916876543129Jun28272621201918171817161514131211109876545432131May3029282728272625242322212019181918171615141312111211101110987656543130Apr29282728272623222120212019201918171413876532131Marmake coq-lint nix-compatiblemastermasterUpdate README.masters/rusthor…masters/rusthornbeltBump gpfslmasters/weak_memmasters/weak_memThou shalt not use generated names.thou shalt not use generated names.Update Coq for CI?Bump gpfslBump Iris (transfinite algebra).Fix CI.Bump Iris.Bump Iris (transfinite algebra).update 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 step