dejafu

mirror of https://github.com/barrucadu/dejafu.git synced 2025-01-05 04:05:17 +03:00

Systematic concurrency testing meets Haskell.

Go to file

Michael Walker c1d4259178 Don't introduce a dependency for blocked actions This is safe because there's no point pre-empting a block to cause a context switch, as the context switch will happen immediately after the block anyway. This speeds up the Applicative composition test from over 30 minutes to around 1.		2015-12-03 22:09:09 +00:00
async-dejafu	Improve async docs. Closes #19 .	2015-11-03 00:21:47 +00:00
dejafu	Don't introduce a dependency for blocked actions	2015-12-03 22:09:09 +00:00
dejafu-tests	Don't introduce a dependency for blocked actions	2015-12-03 22:09:09 +00:00
hunit-dejafu	Make PFL bounding the default	2015-11-30 22:06:43 +00:00
tasty-dejafu	Make PFL bounding the default	2015-11-30 22:06:43 +00:00
.gitignore	Stackify	2015-07-19 04:39:39 +01:00
README.markdown	Initial version of async-dejafu	2015-10-25 16:17:41 +00:00
stack.yaml	Make a separate package for the test suite. Closes #31 .	2015-12-01 05:07:56 +00:00

This repository contains dejafu, a concurrency testing library based on typeclasses, and various utility libraries.