projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 3e3ba08)
scheduler: kill 'replaceable' scheduler
authorBrian Norris <banorris@uci.edu>
Tue, 10 Apr 2012 23:26:26 +0000 (16:26 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 10 Apr 2012 23:26:26 +0000 (16:26 -0700)
I don't actually need a replaceable scheduler; I need a scheduler that can
switch policies at will. Just remove this level of abstraction for now (it can
be added later if needed).


No differences found
C++11 memory model checker