Skip to content
Snippets Groups Projects
Select Git revision
  • channel_closure_spec
  • close_spec
  • concur2020
  • cpp21
  • cpp21_deprecated
  • iris-update
  • jesper
  • jonas/coexponentials
  • jonas/liter
  • jonas/log_atom_2
  • jonas/lty_helper_lemmas
  • jonas/pizza
  • jonas/ring_leader_election
  • later_strip
  • lmcs
  • master default protected
  • mini_actris1
  • miniactris-init
  • mixed_choice
  • mixed_choice_list
20 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.014Sep10874326Aug25212015728Jul24222120152130Jun29195429May28262418131087654130Apr292524232221181716151413642131Mar2726252416131221Feb1727Nov25242118171615137231Oct25231918171413121110123Sep1722Aug2111Jul109876543130Jun28272625211817121131May29987230Apr292726252319181715121142129Mar2726Uncurried contractiveness of lty_msg_base, and added contractive of lty_chanRemoved later from payloads in session typesMake `ltyped_recv_texist` better suited for `iApply`.Changed rules to use a framed variantUpdated order of typing rulesUpdated typing rules to algorithmic typingBumped Coq 8.12 warning fixesProven Amber-like ruledeny warnings (and bump Coq to 8.11.2)Fix warnings.Merge branch 'master' of https://gitlab.mpi-sws.org/iris/actrisMade list reversal proof in line with mechanisation section proofsync warning settingsupdate dependenciesClean-upAdded list reverse exampleNitsFixed bugsadded branch existance checkjesperjesperProved contractiveness of iProto_own and iProto_mapstoAdded nary choiceNits in subprotocol example proofAdded basic program proof of references in loops with swappingCleaned up a proofAdded flag to prevent warnings from Coq 8.12 bumpAligned program with paperLifted program reuse to mapper exampleAdded framing exampleMore clean upGeneralised notion of send_all with clean-upAdded specification proofs of client and serviceClean UpImproved structure of proofFirst naive proof of the swap mapper subprotocol relationMerge branch 'master' of https://gitlab.mpi-sws.org/iris/actrisNitsBump Iris (ident_name changes).Merge branch 'jonas/map_swap_example'Removed WIP fileRemoved redundant later