fenix-framework/fenix-framework — pull request #138 by smmf (2013-05-13 12:08:50+00:00)
Title: Move group communication down to jvstm-ispn only

This commit complements cc88fe2, which first added support for group
communication in all JVSTM-based backends. It is considered best for now to
keep this backend-specific, so, in this commit, we move such functionality
to the only backend that currently extends jvstm-common: jvsmt-ispn.

The discussion that led to this is here: https://github.com/fenix-framework/fenix-framework/commit/cc88fe2644b5086565377aa5da3be3c5c5d02201#commitcomment-3190900