Michael Walker 68ed444589 Make length bounding work for random scheduling too ... This works by pulling the LengthBound out of the Bounds. A logical extension of this would be to do away with Bounds entirely, and make PreemptionBound and FairBound settings in their own right, but as they only apply to DPOR, keeping them coupled to it feels less misleading.		2019-02-02 01:38:39 +00:00
..
ParMonad	Fix warnings	2018-12-01 10:14:11 +00:00
SearchParty	Warn, lint, & style tests	2018-02-16 20:04:54 +00:00
AutoUpdate.hs	Replace dontCheck/subconcurrency with new Program class	2019-02-02 01:38:39 +00:00
ClassLaws.hs	Use Settings throughout dejafu-tests	2018-03-04 15:00:16 +00:00
Logger.hs	Replace dontCheck/subconcurrency with new Program class	2019-02-02 01:38:39 +00:00
ParMonad.hs	Replace dontCheck/subconcurrency with new Program class	2019-02-02 01:38:39 +00:00
Philosophers.hs	Make length bounding work for random scheduling too	2019-02-02 01:38:39 +00:00
SearchParty.hs	Replace dontCheck/subconcurrency with new Program class	2019-02-02 01:38:39 +00:00