Files
@ ef64fd0cdb07
Branch filter:
Location: CSY/reowolf/examples/incr_6/amy.c
ef64fd0cdb07
1.1 KiB
text/x-csrc
correctly merging protocol component branches: forks that create existing predicates MERGE the results, combining their inboxes s.t. there is no race condition on the order of received messages