Mercurial > hg > Members > kono > jpf-core

log src/main/gov/nasa/jpf/vm/AllRunnablesSyncPolicy.java @ 10:87e9c7544a06

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Wed, 25 Feb 2015 09:42:13 -0800 nastaran Made getRunnableCG add GlobalSchedulingPoint as an attribute to global choice generators that capture choices from multiple processes.
Fri, 23 Jan 2015 10:14:01 -0800 Peter Mehlitz initial v8 import (history reset)
less more | (0) tip