The latest version of dejafu is 2.4.0.6-0.
lib:dejafu
Modules
- Test.DejaFu
- Test.DejaFu.Common
- Test.DejaFu.Conc
- Test.DejaFu.Conc.Internal
- Test.DejaFu.Conc.Internal.Common
- Test.DejaFu.Conc.Internal.Memory
- Test.DejaFu.Conc.Internal.Threading
- Test.DejaFu.Defaults
- Test.DejaFu.Refinement
- Test.DejaFu.SCT
- Test.DejaFu.SCT.Internal
- Test.DejaFu.STM
- Test.DejaFu.STM.Internal
- Test.DejaFu.Schedule
Dependencies
- base lib:base >=4.8 && <5
- concurrency lib:concurrency >=1.1 && <1.3
- containers lib:containers >=0.5 && <0.6
- deepseq lib:deepseq >=1.1 && <2
- exceptions lib:exceptions >=0.7 && <0.9
- leancheck lib:leancheck >=0.6 && <0.8
- random lib:random >=1.0 && <1.2
- ref-fd lib:ref-fd >=0.4 && <0.5
- semigroups lib:semigroups >=0.16 && <0.19
- transformers lib:transformers >=0.4 && <0.6
- transformers-base lib:transformers-base >=0.4 && <0.5
Reverse dependencies
Direct only. Not exhaustive.
- async-dejafu lib:async-dejafu
- async-dejafu test:tests
- dejafu test:tests
- hunit-dejafu lib:hunit-dejafu
- t3-server lib:t3-server
- tasty-dejafu lib:tasty-dejafu