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.01May30Apr292524232221181716151413642131Mar2726252416131221Feb1727Nov25242118171615137231Oct25231918171413121110123Sep1722Aug2111Jul109876543130Jun28272625211817121131May29987230Apr292726252319181715121142129Mar2726Bumped protocol polymorphism to session typesRename.Remove coercion `iMsg_car` and `Proper` instances to avoid one accidentally breaking the `iMsg` abstraction.Variable naming.Large refactoring.Added a typing rule for select using the post-contextAdded subtyping rules for swapping send/branch and select/recvFix space in opam file.Bounded subtyping.Bump Coq version of CI.Refactor.Merge branch 'jonas/kinded_polymorphism' into 'master'Added kinded polymorphismMerge branch 'daniel/plainly' into 'master'Add plainly, fix copy- rulesMerge branch 'copying' into 'master'add/clean up some TODOs for copyingmerge algorithmic typingMerge branch 'jonas/algorithmic_judgement' into 'master'extract minimal coreP examplecopying rule for recursive typesMerge branch 'master' into copyingNitsRemoved admitted lemma and added side condition to dependent lemmasRemoved unnecessary use of frame ruleAdded pair typing exampleBumped rules with new typing judgementUpdated Lam/LetUpdated/Omitted Lam and proved LetWIP: Made split bidirectional and added frame rule to judgementProved ltyped_lam with new judgementWIP: Changed typing judgement to have a pre and post-contextClean upMore clean upClean upAdded symmetry relation for bi-subtypingProved append unfolding rules for choiceadd copy-, fix arrow typing ruleUnfolding rules for dual choiceadd rules about copying