barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-19 03:21:49 +03:00
Code Issues Projects Releases Wiki Activity
692 Commits 2 Branches 194 Tags 3.4 MiB
060939d9ae
Commit Graph

692 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Michael Walker
060939d9ae Merge pull request #114 from symbiont-io/master 
fix #111
 2017-09-08 11:29:43 +01:00
Arnaud Bailly
008b812c9c fix #111 2017-09-08 07:54:38 +02:00
Michael Walker
89728f0040 Whoops, refer to the correct test 2017-09-07 23:37:13 +01:00
Michael Walker
a84368953f Add tests for the ticket casCRef returns 2017-09-06 16:03:28 +01:00
Michael Walker
5087ff8a29 Add more tests for single-threaded MVar operations 
Closes #94
 2017-09-06 15:44:20 +01:00
Michael Walker
36d2a1b2e4 Incrementally compute bounds state 
Closes #104
Closes #105
 2017-09-06 07:36:50 +01:00
Michael Walker
915233fec8 Simpler README more like the website 2017-09-01 14:33:15 +01:00
Michael Walker
1da31432a8 Add a test case for #111 2017-09-01 13:53:16 +01:00
Michael Walker
05a8f4a56f Release 2017-08-21 18:55:07 +01:00
Michael Walker
26bdb96b25 Add tests for MonadFail exceptions 2017-08-21 18:53:08 +01:00
Michael Walker
2d4e28e308 Add MonadFail instances for internal monads 
Fixes #110
 2017-08-21 18:52:38 +01:00
Michael Walker
91fa969fc2 Merge branch 'docs' 2017-08-19 16:39:25 +01:00
Michael Walker
b0f6aa5c7e Adjust changelog format 2017-08-19 16:38:39 +01:00
Michael Walker
1ac2f42540 Change use of titlecase in CONTRIBUTING file 2017-08-19 16:38:39 +01:00
Michael Walker
ce7b0fc9ec Advanced Usage 2017-08-19 16:38:39 +01:00
Michael Walker
a9a6689334 Refinement Testing 2017-08-19 16:38:39 +01:00
Michael Walker
d53b689c5b Unit Testing 2017-08-19 16:38:39 +01:00
Michael Walker
581ab8339a Typeclasses 2017-08-19 16:38:39 +01:00
Michael Walker
c06c32e790 Getting Started 2017-08-19 16:38:39 +01:00
Michael Walker
2b92208947 Sections and headings 2017-08-19 16:38:39 +01:00
Michael Walker
ec68d34e14 Initial commit for sphinx docs 2017-08-19 16:38:39 +01:00
Michael Walker
b39200ab7e Test case doesn't actually need three preemptions 2017-08-19 15:43:21 +01:00
Michael Walker
2a15549d97 Release 2017-08-16 11:26:04 +01:00
Michael Walker
1ec7a37671 Fix dpor/bpor variable naming inconsistency 2017-08-14 14:09:55 +01:00
Michael Walker
d3f6ff1b27 Remove unused dporAction field 2017-08-13 20:29:23 +01:00
Michael Walker
04bc5158fa Force evaluation of DPOR state 
This prevents a huge leak.
 2017-08-12 11:22:34 +01:00
Michael Walker
235da1e43d Use a stack for the DPOR state 
Closes #64
Closes #89
 2017-08-12 11:22:34 +01:00
Michael Walker
d68afb4e45 Update Test.DejaFu.Conc.Internal module comment 2017-08-12 11:20:14 +01:00
Michael Walker
07dc91c8fb Remove a bit of boolean blindness 2017-08-12 11:15:50 +01:00
Michael Walker
f53e69dc46 Update Test.DejaFu.Conc.Internal.Memory module comment 2017-08-12 11:10:58 +01:00
Michael Walker
ea2ad13984 Replace some uses of Data.Map.alter with Data.Map.adjust 2017-08-12 11:09:18 +01:00
Michael Walker
746f4c8711 Add a README section about performance 2017-08-11 17:45:52 +01:00
Michael Walker
4d05ef6798 Release 2017-08-10 21:51:11 +01:00
Michael Walker
50712c54cd Merge branch 'discard' 2017-08-10 21:42:30 +01:00
Michael Walker
4e6e9c30fc Fix 'concurrency' version in README 2017-08-10 21:41:20 +01:00
Michael Walker
305cf27c0b Add a test for discarding 2017-08-10 20:22:03 +01:00
Michael Walker
b99caea84c Expose discard functions from Test.Tasty.DejaFu 2017-08-10 16:55:06 +01:00
Michael Walker
3ab42c4936 Expose discard functions from Test.HUnit.DejaFu 2017-08-10 16:45:29 +01:00
Michael Walker
bc0a5e579a Expose the discard logic through Test.DejaFu 
New functions: dejafuDiscard and dejafuDiscardIO

No dejafusDiscard and dejafusDiscardIO, because I think the
combination of discarding + sharing traces would be very confusing.
Also, the dejafus* functions are for when you want to trade space for
time, whereas the *Discard* functions are for the opposite.  So it
doesn't make much sense.
 2017-08-10 16:45:29 +01:00
Michael Walker
51bad3b5d1 Add a CHANGELOG entry 2017-08-10 16:45:29 +01:00
Michael Walker
100c2d3ab9 Push fmap inside checkDiscard 
This seems to improve matters significantly.  Laziness!
 2017-08-10 16:45:29 +01:00
Michael Walker
552a0f3816 Add discarding variants of SCT functions 
See #90
 2017-08-10 16:45:29 +01:00
Michael Walker
2becd6300d Drop use of partial functions in runThreads 2017-08-09 00:00:45 +01:00
Michael Walker
fe9e40747b [travis] Allow nightly build to fail 2017-08-07 22:07:53 +01:00
Michael Walker
a652628fb8 [travis] Only build with latest LTS for each supported GHC version 2017-08-07 22:07:39 +01:00
Michael Walker
325b7e01a3 Factor out continuation running to DejaFu.Common 2017-06-22 09:18:28 +01:00
Michael Walker
b8a039befc Note that semigroups dep of dejafu can be removed with GHC 8.4 2017-06-12 13:49:46 +01:00
Michael Walker
63a3ff73af dejafu-0.7.0.2 release 2017-06-12 03:48:28 +01:00
Michael Walker
0da649dc08 Remove unneeded monad-loops dep 2017-06-12 03:47:04 +01:00
Michael Walker
81ff175f6d Remove some redundant constraints 2017-06-11 23:59:47 +01:00