17 Commits

Author	SHA1	Message	Date
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	a4b4b25b71	Drop needless GADTs	2015-10-08 21:47:28 +01:00
Michael Walker	9144ea4cbf	Drop ConcTest/ConcIOTest entirely	2015-10-08 21:15:46 +01:00
Michael Walker	3bb640010a	Don't expose ConcTest/ConcIOTest types	2015-10-08 21:09:48 +01:00
Michael Walker	b899253b04	Add dejafu'/dejafuIO' functions	2015-10-08 15:45:05 +01:00
Michael Walker	6ebff392c3	Share traces for ConcTest	2015-10-08 15:28:02 +01:00
Michael Walker	6c6e0eed01	Hide the type parameter inside ConcTest/ConcIOTest	2015-10-08 15:19:43 +01:00
Michael Walker	1c42618ba7	Include names with HUnit tests,a nd generate TestLists where possible	2015-10-08 15:15:13 +01:00
Michael Walker	3c9a3f2ec7	Initial implementation of HUnit integration. ... Note: this BREAKS `cabal/stack test` for dejafu! See dejafu/README.markdown for the work-around.	2015-10-08 12:05:59 +01:00