Change Peek slightly
Whitespace bombing run
Merge commit '713942705075e374ba56fe842f6b4b3fee362b7a' into colin-rbcast
Scheduler
Merge branch 'master' of github.com:NetSys/sts2-interposition

Conflicts:
	src/main/scala/verification/schedulers/PeekScheduler.scala
Peek fix
Merge pull request #13 from apanda/master

Failure detector
Merge commit '80e49105f67f7f8c3f53d450c28bf4374954e488' into colin-rbcast