barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-11-28 10:49:11 +03:00
Code Issues Projects Releases Wiki Activity
Systematic concurrency testing meets Haskell.
445 Commits 2 Branches 193 Tags 3.4 MiB
Haskell 99.9%
Shell 0.1%
4afca62119
Go to file
Michael Walker 4afca62119 Drop the lock and unlock MVar functions
2016-04-03 06:45:11 +01:00
async-dejafu Move Control.Concurrent.STM.Classy -> Control.Concurrent.Classy.STM 2016-03-23 04:38:34 +00:00
dejafu Drop the lock and unlock MVar functions 2016-04-03 06:45:11 +01:00
dejafu-tests Drop the lock and unlock MVar functions 2016-04-03 06:45:11 +01:00
dpor Add a README and source repository for dpor 2016-04-03 06:07:37 +01:00
hunit-dejafu Update docs links 2016-03-18 00:59:52 +00:00
tasty-dejafu Make tasty-dejafu work with new Trace type 2016-04-03 05:48:53 +01:00
.gitignore Stackify 2015-07-19 04:39:39 +01:00
README.markdown Fix implementation of PSO. 2016-04-01 17:57:17 +01:00
stack.yaml Split DPOR packages into separate library 2016-04-03 05:34:01 +01:00

README.markdown

This repository contains dejafu, a concurrency testing library based on a typeclass abstraction of concurrency, and related libraries.

  • dejafu (hackage 0.2.0.0): Overloadable primitives for testable, potentially non-deterministic, concurrency.

  • async-dejafu (hackage 0.1.0.0): Run MonadConc operations asynchronously and wait for their results.

  • hunit-dejafu (hackage 0.2.0.0): Deja Fu support for the HUnit test framework.

  • tasty-dejafu (hackage 0.2.0.0): Deja Fu support for the Tasty test framework.

There is also dejafu-tests, the test suite for dejafu. This is in a separate package due to Cabal being bad with test suite transitive dependencies.

Bibliography

Each paper has a short name in parentheses, which I use in non-haddock comments. Haddock comments get the full citation. PDF links are provided where non-paywalled ones are available.