Jonas Kastberg (d4b1567a) at 27 Mar 18:49
Added adequacy proof for ring leader election
Jonas Kastberg (3bbe98e4) at 27 Mar 18:47
Added adequacy proof for ring leader election
Jonas Kastberg (2177ce6f) at 27 Mar 18:06
Merge branch 'multiparty_synchronous_matrix' into 'multiparty_synch...
... and 2 more commits
Jonas Kastberg (528c968c) at 27 Mar 18:05
Removed redundant _pers specs, and added missing matrix file
Jonas Kastberg (5b3b1042) at 27 Mar 15:40
Simplified choice specs
Jonas Kastberg (108f2153) at 26 Mar 17:27
Added definitions and rules for choice with dependent binders
... and 3 more commits
Jonas Kastberg (dc5a67a0) at 25 Mar 23:08
Added matrix abstraction and redefined channels using it
... and 63 more commits
Jonas Kastberg (5fcb7654) at 25 Mar 23:06
Merge branch 'multiparty_synchronous_simple_inv' into 'multiparty_s...
... and 1 more commit
Jonas Kastberg (4ca1240f) at 24 Mar 17:02
Simplified iProto_target lemma
Jonas Kastberg (557e32bc) at 24 Mar 15:36
Jonas Kastberg (ca9f3015) at 24 Mar 15:34
Added definitions and rules for choice with dependent binders
... and 60 more commits
Jonas Kastberg (d7058de2) at 24 Mar 15:33
Added definitions and rules for choice with dependent binders