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.023Apr2221181716151413642131Mar2726252416131221Feb1727Nov25242118171615137231Oct25231918171413121110123Sep1722Aug2111Jul109876543130Jun28272625211817121131May29987230Apr292726252319181715121142129Mar2726Updated/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 copyingMerge branch 'master' into copyingGet rid of LTyCopyMerge branch 'master' of https://gitlab.mpi-sws.org/iris/actrisAdded bi subtyping relationMerge branch 'robbert/kill_laters' into 'master'Clean up.Add lemma `iProto_dual_message_tele`.WIP Dual Subtype rulesChange rec domain eq to `proto = 1 + (action * ▶ (V → proto → PROP))`.NitsAdded identity rules for subtypingFixed copy paste blunderAdded associativity rules for append subtypingAdded left/right rules to dual subtypingRefactoringAdded existential quantification elimination ruleAdded proper instances to session typesMerge branch 'jonas/session_notation' into 'master'Added missing spacing to lemas in types.vChanged the meta letter for session types from P to SChanged <++++> to an overload of <++>Merge branch 'jonas/n_choice' into 'master'Misc cleanup.More cleanupClosed proof of branch.RefactoringWIP Branch proofNits