Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
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
Created with Raphaël 2.2.021Aug2015728Jul24222120152130Jun29195429May28262418131087654130Apr292524232221181716151413642131Mar2726252416131221Feb1727Nov25242118171615137231Oct25231918171413121110123Sep1722Aug2111Jul109876543130Jun28272625211817121131May29987230Apr292726252319181715121142129Mar2726Added 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 clashesBump Iris (numbers).Added subtyping example to _CoqProjectAdded a typing rule for conditionals