Skip to content
Snippets Groups Projects
Select Git revision
  • concur2020
  • cpp21
  • cpp21_deprecated
  • ill
  • iris-update
  • jesper
  • jonas/coexponentials
  • jonas/liter
  • jonas/lty_helper_lemmas
  • jonas/pizza
  • jonas/ring_leader_election
  • lmcs
  • master default protected
  • popl20
14 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.020Jun1917161454328May19330Apr201125Mar1219Feb1726Jan251116Dec1495227Nov25242317131211428Oct272625211210530Sep292322211716151410874326Aug25212015728Jul24222120152130Jun29195429May28262418131087654130Apr292524232221181716151413642131Mar2726252416131221Feb1727Nov25242118171615137231Oct25231918171413121110123Sep1722Aug2111Jul109876543130Jun28272625211817121131May29987230Apr2927262523quickfixillillAtomic spec for `send`Merge branch 'ill' of gitlab.mpi-sws.org:dfrumin/actris into illremove the upstreamed lemmaMake it compile again (inshallah)WIP: commentsAdd forwardersCleanupAdd interpretation for !τ.A variation on the atomic spec for recvwip logically atomic specsWIPprove the big_sepM2_union_l lemma& and ⊕Finish the substitution stuffFix more proof holesWIPexplicit coercion > type ascriptionAdded scope of unscoped hint modes to address deprecation warningMake it compile again (inshallah)WIP: commentsAdd forwardersCleanupAdd interpretation for !τ.A variation on the atomic spec for recvwip logically atomic specsWIPprove the big_sepM2_union_l lemma& and ⊕Finish the substitution stuffFix more proof holesWIPupdate dependenciesadjust to new job naming schemeprepare for Iris WP changeupdate dependenciesupdate dependenciessupport build-testing against forksdont run CI on forksRevert "coq.dev is not stable enough for regular CI"mastermaster