barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-22 04:51:41 +03:00
Code Issues Projects Releases Wiki Activity
545 Commits 2 Branches 194 Tags 3.4 MiB
a240b48d1f
Commit Graph

29 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
70bcad4615 Bump versions for 0.4.0.0 release 2016-07-21 19:33:46 +01:00
Michael Walker
232e7e5f40 Bump version numbers 2016-05-26 14:02:07 +01:00
Michael Walker
d4cb712b50 Make everything build with GHC 8 2016-05-26 13:54:13 +01:00
Michael Walker
c306deb1f9 Support Stackage lts-3, lts-4, and lts-6 2016-05-26 13:08:24 +01:00
Michael Walker
246f680248 Add Travis tests 2016-05-03 20:05:02 +01:00
Michael Walker
50a5e0c63b Bump versions for {hunit,tasty}-dejafu-0.3 2016-04-28 23:22:12 +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
6fef2be497 Bump version numbers for hackage release. 
async-dejafu, hunit-dejafu, and tasty-dejafu only get a minor bump
because the API didn't change, only the dependencies. I'm not entirely
sure how to fit that properly into the PVP.
 2016-04-03 14:40:51 +01:00
Michael Walker
539be21df5 Make tasty-dejafu work with new Trace type 2016-04-03 05:48:53 +01:00
Michael Walker
d864e2b281 Update docs links 2016-03-18 00:59:52 +00: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
14617c9b61 Add READMEs for {hunit,tasty}-dejafu. Closes #18. 2015-11-01 14:46:03 +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
019d4995a3 Add source-repository head sections to {tasty,hunit}-dejafu cabal files 2015-10-25 13:40:23 +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