• Dan Frumin's avatar
    Strengthen some rules. · 9105d328
    Dan Frumin authored
    This commits makes some λMC rules atomic, in the sense that the user
    can use the shared resources for the duration of the rule.
    9105d328
vcg.v 33.6 KB