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
mini_actris1
miniactris-init
mixed_choice
msammler/new_contractive
multiparty
multiparty_leader_election
multiparty_synchronous
multiparty_synchronous_choice
multiparty_synchronous_list
multiparty_synchronous_matrix
multiparty_synchronous_mpc_example
multiparty_synchronous_recv_simpl
multiparty_synchronous_simple_inv
popl20
robbert/fold_iProto
robbert/iProto_le_affine
robbert/new_contractive
robbert/truly_affine_iProto_le
step_proto