Merge branch 'multiparty_synchronous_list' into 'multiparty_synchronous'
Multiparty synchronous list See merge request !35
No related branches found
No related tags found
Showing
- _CoqProject 1 addition, 0 deletions_CoqProject
- multi_actris/channel/channel.v 129 additions, 137 deletionsmulti_actris/channel/channel.v
- multi_actris/channel/proofmode.v 43 additions, 102 deletionsmulti_actris/channel/proofmode.v
- multi_actris/channel/proto.v 259 additions, 196 deletionsmulti_actris/channel/proto.v
- multi_actris/channel/proto_alt.v 1417 additions, 0 deletionsmulti_actris/channel/proto_alt.v
- multi_actris/examples/basics.v 81 additions, 253 deletionsmulti_actris/examples/basics.v
- multi_actris/examples/leader_election.v 21 additions, 70 deletionsmulti_actris/examples/leader_election.v
Loading
Please register or sign in to comment