diff LICENSE-2.0.txt @ 10:87e9c7544a06

Made getRunnableCG add GlobalSchedulingPoint as an attribute to global choice generators that capture choices from multiple processes.
author nastaran <nastaran.shafiei@gmail.com>
date Wed, 25 Feb 2015 09:42:13 -0800
parents 61d41facf527
children
line wrap: on
line diff