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.010May87654130Apr292524232221181716151413642131Mar2726252416131221Feb1727Nov25242118171615137231Oct25231918171413121110123Sep1722Aug2111Jul109876543130Jun28272625211817121131May29987230Apr292726252319181715121142129Mar2726Avoid space in pretty printing of session types.More comment tweaking.Remove useless scopes.Misc tweaks.Rename telescope file.Some tweaks to the telescope file.Moved and fixed CONCUR20.md referenceMore differencesAdded difference of ground type encodingMerge branch 'concur2020' into 'master'Concur2020Merge branch 'jonas/rec_subprotocol' into 'master'subprotocol exampleMerge branch 'jonas/sealing_ltty_le' into 'master'Sealing session type subtyping relationFixed wrong section closing and added exampel to _CoqProjectUpdated header description in README.mdMerge branch 'daniel/readme' into 'master'Made README less paper-specificRefactoringChanged header titleAdded reference to subprotocol example from paperfurther updates to README.mdupdate README.mdMore clean upClean upMechanised paper example of location subprotocolsMerge branch 'daniel/headers' into 'master'NitsUpdated header for channel.vUpdated header for proto.vrename ref_mut to ref_uniqadd headers to filesMake exist contractive again, as that is more uniform.Make type in shared ref copy.Remove old stuff.Notation for binder_insert.Removed dangling `-` that somehow did not cause compilation errorsfix pair exampleMerge branch 'daniel/update_typing_rules' into 'master'