Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • mixed_choice_list
  • mixed_choice
  • 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
20 results
Compare
Robbert Krebbers's avatar
Merge branch 'robbert/make_better' into 'master'
Robbert Krebbers authored 
Make sure that `Make` instances are consistent and "constant time".

See merge request iris/iris!838
c86eaae3
History
Robbert Krebbers's avatar c86eaae3
History
Name Last commit Last update