Skip to content
Snippets Groups Projects
Select Git revision
  • 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
20 results
Compare
Robbert Krebbers's avatar
Merge branch 'robbert/new_contractive' into 'master'
Robbert Krebbers authored 
Alternative fixes for iris!886 that do not rely on backwards compatibility layer

See merge request !29
1d9c6035
History
Robbert Krebbers's avatar 1d9c6035
History
Name Last commit Last update