20 Commits

Author	SHA1	Message	Date
Michael Walker	5accde895e	Specialise types in 'Test.DPOR.Internal' and rename. ... This breaks backwards compatibility, as things which were polymorphic are no longer.	2016-12-05 07:36:00 +00:00
Michael Walker	e1162dc033	Add missing module headers to {hunit,tasty}-dejafu.	2016-08-26 11:16:59 +01:00
Michael Walker	75fbad38a1	Rename Deterministic to Conc. ... Closes #45	2016-07-21 19:33:49 +01:00
Michael Walker	2aa2b8f447	Unify IO and ST instances ... Closes #44	2016-07-21 19:33:49 +01:00
Michael Walker	d4cb712b50	Make everything build with GHC 8	2016-05-26 13:54:13 +01:00
Michael Walker	f4bcf51709	Add IsTest and IsOption instances to tasty-dejafu	2016-04-28 23:18:17 +01:00
Michael Walker	3334928acf	Make tasty-dejafu work with 0.2 and 0.3	2016-04-28 17:09:46 +01:00
Michael Walker	539be21df5	Make tasty-dejafu work with new Trace type	2016-04-03 05:48:53 +01:00
Michael Walker	5acab89d6d	Add support for named threads in testing. ... This is such a huge change because I had made a LOT of assumptions about thread IDs being numbers. I also took the opportunity to do a bit of refactoring with CRef and CVar identifiers.	2016-02-09 18:37:50 +00:00
Michael Walker	5371e74ff0	Make PFL bounding the default	2015-11-30 22:06:43 +00:00
Michael Walker	49a903c6e3	Add newtype for preemption bounds and fair bounds	2015-11-17 19:29:35 +00:00
Michael Walker	24faa57f29	Only show representative failures in autocheck	2015-11-12 14:56:32 +00:00
Michael Walker	06a63dcc33	Merge Conc and ConcIO implementations	2015-11-07 18:07:10 +00:00
Michael Walker	5f78dc5b99	Remove the 't' type parameter from STMIO and ConcIO	2015-11-07 17:19:40 +00:00
Michael Walker	772aba80d0	Make TSO the default memory model. Closes #24.	2015-11-03 19:53:47 +00:00
Michael Walker	4c5bb7fd7b	Allow attaching a failure message to results	2015-10-27 17:55:12 +00:00
Michael Walker	3d1d287787	Use PF bounding in {hunit,tasty}-dejafu	2015-10-26 23:11:30 +00:00
Michael Walker	53e738b066	Remove some needless Eq constraints	2015-10-25 17:05:40 +00:00
Michael Walker	783a0af7aa	Add DeriveDataTypeable to tasty-dejafu for GHC<7.10	2015-10-08 21:59:08 +01:00
Michael Walker	a337b872ab	Add Tasty integration	2015-10-08 21:50:52 +01:00