bigmc/bigmc — Issue #1: Permit multiple controls to be introduced under a single directive
Author: gian
Created: 2011-10-31 16:19:05+00:00
State: open

e.g., %active Foo : 0, Bar : 1;

This is mostly needed for compliance with the syntax in the ACM SAC-SVT'12 paper, which was in turn done for typesetting reasons.