issues
search
barrucadu
/
dejafu
Systematic concurrency testing meets Haskell.
https://dejafu.docs.barrucadu.co.uk/
191
stars
18
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Release hunit-dejafu-2.0.0.6 & tasty-dejafu-2.0.0.9
#363
barrucadu
closed
2 years ago
0
Remove inaccurate comments about sharing
#362
barrucadu
closed
2 years ago
1
tasty-dejafu: How to name tests?
#361
nomeata
closed
2 years ago
4
Release dejafu-2.4.0.4
#360
barrucadu
closed
2 years ago
0
Add GHC 9.2 to supported versions list
#359
barrucadu
closed
2 years ago
0
Bump upper bound on leancheck to <2
#358
barrucadu
closed
2 years ago
0
Add LTS-19.0 to build matrix & supported GHC versions doc
#357
barrucadu
closed
2 years ago
0
Bump haskell/actions from 1.2.11 to 2.0.0
#356
dependabot[bot]
closed
2 years ago
0
Bump haskell/actions from 1.2.10 to 1.2.11
#355
dependabot[bot]
closed
2 years ago
0
Bump haskell/actions from 1.2.9 to 1.2.10
#354
dependabot[bot]
closed
2 years ago
0
Bump actions/checkout from 2.4.0 to 3
#353
dependabot[bot]
closed
2 years ago
0
Bump haskell/actions from 1.2.6 to 1.2.9
#352
dependabot[bot]
closed
2 years ago
0
Bump haskell/actions from 1.2.6 to 1.2.7
#351
dependabot[bot]
closed
2 years ago
1
Bump actions/checkout from 2.3.5 to 2.4.0
#350
dependabot[bot]
closed
2 years ago
0
Bump actions/checkout from 2.3.4 to 2.3.5
#349
dependabot[bot]
closed
2 years ago
0
Bump haskell/actions from 1.2.5 to 1.2.6
#348
dependabot[bot]
closed
2 years ago
0
Bump haskell/actions from 1.2.4 to 1.2.5
#347
dependabot[bot]
closed
3 years ago
0
Bump haskell/actions from 1.2.3 to 1.2.4
#346
dependabot[bot]
closed
3 years ago
0
Remove references to freenode in READMEs
#345
barrucadu
closed
3 years ago
0
Bump haskell/actions from 1.2.2 to 1.2.3
#344
dependabot[bot]
closed
3 years ago
0
Bump haskell/actions from 1.2.1 to 1.2.2
#343
dependabot[bot]
closed
3 years ago
0
Bump actions/checkout from 2 to 2.3.4
#342
dependabot[bot]
closed
3 years ago
0
Bump haskell/actions from 1 to 1.2.1
#341
dependabot[bot]
closed
3 years ago
0
Fix Concourse stackage task not using snapshot
#340
barrucadu
closed
3 years ago
0
Use haskell/actions/setup instead of mstksg/setup-stack
#339
barrucadu
closed
3 years ago
0
Bump mstksg/setup-stack from v1 to v2
#338
dependabot[bot]
closed
3 years ago
0
Add GHC 8.10 to CI
#337
barrucadu
closed
3 years ago
0
Update ghc.rst - fix versions of base
#336
mimi1vx
closed
3 years ago
1
Add support for GHC 9.0
#335
barrucadu
closed
3 years ago
0
GHC-9.0.x can't build concurrency
#334
mimi1vx
closed
3 years ago
1
dejafu-2.4.0.1 release
#333
barrucadu
closed
3 years ago
0
Correctly reset new TVar values when restoring snapshots
#332
barrucadu
closed
3 years ago
0
newTVar isn't properly handled in snapshots
#331
barrucadu
closed
3 years ago
0
Add workaround for setup-stack incompatibility
#330
barrucadu
closed
3 years ago
0
Remove old Travis build indicator from README
#329
barrucadu
closed
3 years ago
0
Support tasty-1.4
#328
barrucadu
closed
3 years ago
0
Use the real tasty-hedgehog library
#327
barrucadu
opened
3 years ago
0
random-1.2
#326
barrucadu
closed
4 years ago
0
Fix #324
#325
barrucadu
closed
4 years ago
5
DejaFu seems to incorrectly model this program
#324
mitchellwrosen
closed
4 years ago
1
Exception: (dejafu) trace exhausted without reading a to-do point!
#323
ssadler
opened
4 years ago
3
Remove travis entirely
#322
barrucadu
closed
4 years ago
0
Use GitHub actions for CI
#321
barrucadu
closed
4 years ago
0
Add unsafeUnmask to MonadConc (attempt 2)
#320
barrucadu
closed
4 years ago
0
Add unsafeUnmask to MonadConc
#319
mitchellwrosen
closed
4 years ago
3
Infinite sleep doc suggestion
#318
mitchellwrosen
opened
4 years ago
0
Consider a backpack-based implementation?
#317
mitchellwrosen
opened
4 years ago
4
Another missing function: unsafeUnmask
#316
mitchellwrosen
closed
4 years ago
2
Add getMaskingState to concurrency / dejafu
#315
barrucadu
closed
4 years ago
0
Lints
#314
barrucadu
closed
4 years ago
0
Previous
Next