Skip to content
Snippets Groups Projects
Select Git revision
  • mixed_choice_list_consistent
  • 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
20 results
Compare
Ralf Jung's avatar
Merge branch 'ralf/triples' into 'master'
Ralf Jung authored 
fix triple issues with revert, and add logatom triples

See merge request iris/iris!801
d46e4472
History
Ralf Jung's avatar d46e4472
History
Name Last commit Last update