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
msammler/new_contractive
multiparty
popl20
robbert/new_contractive
step_proto