Remove explicit sides from Actris protocols

added 13 commits

• 2f9bc581...9a1d75a2 - 12 commits from branch iris:master
• 5ec5194c - Remove explicit sides from Actris protocols

Compare with previous version

added 1 commit

• ac6ef6c1 - Tweaks.

Compare with previous version

added 1 commit

• 04c9d2ad - Tweaks.

Compare with previous version

resolved all threads

I tweaked this code a bit further (pushed), most importantly:

• Drop the whole chan_name record
• Add a comment explaining how this deviates from the Actris papers.

@jihgfee what do you think? This simplifies the code a lot, removing double cases in various proofs. The fact that iProto_ctx becomes symmetric is pretty cute.

approved this merge request

mentioned in commit 85e33147

merged