Merge branch 'multiparty_synchronous_matrix' into 'multiparty_synchronous'
Added matrix abstraction and redefined channels using it See merge request !37
No related branches found
No related tags found
Showing
- _CoqProject 1 addition, 0 deletions_CoqProject
- multi_actris/channel/channel.v 62 additions, 165 deletionsmulti_actris/channel/channel.v
- multi_actris/channel/matrix.v 221 additions, 0 deletionsmulti_actris/channel/matrix.v
- multi_actris/utils/matrix.v 162 additions, 0 deletionsmulti_actris/utils/matrix.v
Loading
Please register or sign in to comment