dherman/taskjs — Issue #10: replay scheduler
Author: dherman
Created: 2011-12-17 20:23:53+00:00
State: open

Create a deterministic replay scheduler, which takes a task-interleaving script and re-enacts it.

(Depends on issues #1 and #9).