7 Commits

Author	SHA1	Message	Date
Michael Walker	7819a3c7b0	Provide a helper function to turn Schedulers into SCTSchedulers	2014-12-21 13:50:52 +00:00
Michael Walker	37f3767290	Record possible alternative scheduling decisions in SCT	2014-12-21 13:25:48 +00:00
Michael Walker	d0e01c579a	Fix type of example in SCT	2014-12-21 13:00:43 +00:00
Michael Walker	96eaf85095	Record in SCT trace reasons for decisions. ... In particular, this lets us distinguish between switching to a new thread because the old was blocked, or switching to a new thread because of a pre-emption.	2014-12-21 12:48:15 +00:00
Michael Walker	8b0f2763d3	Add some helpful CVar combinators	2014-12-21 09:38:25 +00:00
Michael Walker	9a6fcc5162	Rename all CVar functions to avoid name clashes with Prelude. Fixes #1.	2014-12-21 07:47:45 +00:00
Michael Walker	82e9241686	Add a simple runner which gathers results and schedulings from multiple runs	2014-12-20 11:03:49 +00:00