Subprotocols with message swapping (!2) · Merge requests · Iris / Actris · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge robbert/le_swap into master 5 years ago

All threads resolved!

Activity

Jonas Kastberg @jihgfee started a thread on the diff 5 years ago

Resolved 5 years ago by Jonas Kastberg
Last reply by Jonas Kastberg 5 years ago

Jonas Kastberg resolved all threads 5 years ago

resolved all threads

Robbert Krebbers unmarked as a Work In Progress 5 years ago

unmarked as a Work In Progress

Robbert Krebbers added 1 commit 5 years ago

added 1 commit

19f8a53a - Remove some old `_proto`s in names.

Compare with previous version

Robbert Krebbers mentioned in commit 5 years ago

mentioned in commit 31806a14

Robbert Krebbers merged 5 years ago

merged

Please register or sign in to reply