projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ea1bf5) | patch
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)
commit3e3ba08b7f8483430946ac7db0cc3bdbaa6f8a90
tree4b57fdf8904881aa5856ef64b4a4b5a83a583238tree | snapshot
parent6ea1bf50d878beff9f7d7203156b5715c452f492commit | diff
scheduler: kill 'replaceable' scheduler

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).
model.cc diff | blob | history
schedule.cc diff | blob | history
schedule.h diff | blob | history
C++11 memory model checker