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.019Jun17161454328May19330Apr201125Mar1219Feb1726Jan251116Dec1495227Nov25242317131211428Oct272625211210530Sep292322211716151410874326Aug25212015728Jul24222120152130Jun29195429May28262418131087654130Apr292524232221181716151413642131Mar2726252416131221Feb1727Nov25242118171615137231Oct25231918171413121110123Sep1722Aug2111Jul109876543130Jun28272625211817121131May29987230Apr2927262523191817Add 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"mastermastercoq.dev is not stable enough for regular CIBump std++ (multisets).Added liter function, and proved specs for br and del sort clientsjonas/literjonas/literBetter spec for lock example, and polishjonas/pizzajonas/pizzaAdded pizza examples from the thesis by Jonas Kastberg HinrichsenBump std++.