"git-rts@gitlab.mpi-sws.org:iris/actris.git" did not exist on "afe8722d11d66b292fda78a70ce10bfab6dc59f9"
Select Git revision
- Branches 20
- mixed_choice
- master default protected
- robbert/fold_iProto
- multiparty_synchronous
- robbert/truly_affine_iProto_le
- multiparty_synchronous_mpc_example
- multiparty_synchronous_matrix
- multiparty_synchronous_choice
- multiparty_synchronous_recv_simpl
- multiparty_synchronous_simple_inv
- multiparty_synchronous_list
- multiparty_leader_election
- step_proto
- miniactris-init
- robbert/new_contractive
- msammler/new_contractive
- mini_actris1
- multiparty
- close_spec
- later_strip
Compare
-
-
- Open in your IDE
- Download source code
| Name | Last commit | Last update |
|---|---|---|