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
  • mixed_choice
  • mixed_choice_list
20 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.029Sep2322211716151410874326Aug25212015728Jul24222120152130Jun29195429May28262418131087654130Apr292524232221181716151413642131Mar2726252416131221Feb1727Nov25242118171615137231Oct25231918171413121110123Sep1722Aug2111Jul109876543130Jun28272625211817121131May29987230Apr292726252319181715121142129Mar2726update CI configTweak for zip.cpp21_deprecatedcpp21_deprecatedUpdate CPP21.mdUpdate CPP21.mdAddressed discrepancies with displayed Coq codeAdressed nested binder encoding discrepancyReferenced computation service exampleDocumentation: term types -> session typesNote about CPP files.Bumped contexts.v header with new definitionsRename environment → context + some random cleanup along the way.More consistent variables for forall/exist types.Amber rule for subtyping of rec. types.Coq-level notation for judgments to avoid ⊢s.Coq doc nitsElaborated on value typing judgementexpr -> val in mapper_list. Documentation. Nits.ADressed napp and list in READMERefactored list type to own file. Bumped mapper_list. Documentation.Added some documentationRenamed double.v -> par_recv.vUpdated README's for CPP submissionDivided the double example into two partsMerge branch 'jonas/compute_list_par' into 'master'Made client type polymorphicChanged position of reference in list type defNitsAdded todo in regards to ltyped_val explanationAdded todo for ltyped_val_lam derivingKilled another lty scopeKilled a bunch of eautos.Removed redundant lty scopesRefactoring of client/serviceReview comments for compute exampleAddressing review commentsAdded example of computation service with producer/consumer clientAdded coercion lemmas for lstyAdded value typing judgement and value rules for lam and recMerge branch 'master' of https://gitlab.mpi-sws.org/iris/actrisRecovered original double manual proof