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
  • msammler/new_contractive
  • multiparty
20 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.021Aug2015728Jul24222120152130Jun29195429May28262418131087654130Apr292524232221181716151413642131Mar2726252416131221Feb1727Nov25242118171615137231Oct25231918171413121110123Sep1722Aug2111Jul109876543130Jun28272625211817121131May29987230Apr292726252319181715121142129Mar2726Fixed 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 laterAdded example of program reuse with a mapping serviceAdded basic example of swapping in the recursive protocolInitial attempt at using swap in mapper exampleErrataUpdated mechanisation of choice exampleMerge branch 'jonas/mapper_example' into 'master'Renamed mapper example sectionAdded mapper example to _CoqProjectClean up, and polymorphism exampleAdded swapping subtyping to recursive exampleAdded an example of the recursive variant of the mapper clientAdded a typing example of a mapper clientFramed context of lemmaChanged order of premises in frame ruleMapper exampleAdded rule to swap branch and select and an exampleRenamed file to avoid name clashes