Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / barrucadu/dejafu issues and pull requests

#323 - Exception: (dejafu) trace exhausted without reading a to-do point!

Issue - State: open - Opened by ssadler over 4 years ago - 3 comments
Labels: T: bug

#322 - Remove travis entirely

Pull Request - State: closed - Opened by barrucadu over 4 years ago

#321 - Use GitHub actions for CI

Pull Request - State: closed - Opened by barrucadu over 4 years ago

#320 - Add unsafeUnmask to MonadConc (attempt 2)

Pull Request - State: closed - Opened by barrucadu over 4 years ago

#319 - Add unsafeUnmask to MonadConc

Pull Request - State: closed - Opened by mitchellwrosen over 4 years ago - 3 comments

#318 - Infinite sleep doc suggestion

Issue - State: open - Opened by mitchellwrosen over 4 years ago

#317 - Consider a backpack-based implementation?

Issue - State: open - Opened by mitchellwrosen over 4 years ago - 4 comments

#316 - Another missing function: unsafeUnmask

Issue - State: closed - Opened by mitchellwrosen over 4 years ago - 2 comments

#315 - Add getMaskingState to concurrency / dejafu

Pull Request - State: closed - Opened by barrucadu over 4 years ago

#314 - Lints

Pull Request - State: closed - Opened by barrucadu over 4 years ago

#313 - Bump tasty-dejafu upper bound on tasty to <1.4

Pull Request - State: closed - Opened by barrucadu over 4 years ago

#312 - Missing function: getMaskingState

Issue - State: closed - Opened by mitchellwrosen over 4 years ago - 2 comments

#311 - Unable to carry `BoundedChan m a` in a `ReaderT` monad newtype

Issue - State: closed - Opened by evanrelf almost 5 years ago - 2 comments

#310 - Fix an error message

Pull Request - State: closed - Opened by barrucadu almost 5 years ago

#309 - LTS versions

Pull Request - State: closed - Opened by barrucadu almost 5 years ago

#308 - Concurrency 1.9.0.0

Pull Request - State: closed - Opened by barrucadu almost 5 years ago

#306 - Get dejafu-tests building with hedgehog-1.0.2

Pull Request - State: closed - Opened by barrucadu almost 5 years ago

#286 - Control.Concurrent.Classy.STM is behind on bug fixes

Issue - State: closed - Opened by barrucadu over 6 years ago - 1 comment
Labels: T: enhancement, good first issue

#283 - What's the story behind removal of `ConcST`?

Issue - State: closed - Opened by abailly over 6 years ago - 5 comments

#257 - Distribution of scheduling in random testing

Issue - State: closed - Opened by aherrmann over 6 years ago - 3 comments

#249 - the @mkWeakTVar@ functions are -- not provided.

Issue - State: closed - Opened by tonyday567 almost 7 years ago - 2 comments
Labels: T: feature

#241 - Prevent slippage when determining representative traces

Issue - State: closed - Opened by barrucadu almost 7 years ago
Labels: T: enhancement, B: needs investigation

#239 - Make it more convenient / faster to run tests pre-commit

Issue - State: closed - Opened by barrucadu almost 7 years ago - 1 comment
Labels: T: enhancement, good first issue

#226 - Add a "note" function, to record a message in the trace

Issue - State: closed - Opened by barrucadu almost 7 years ago
Labels: T: feature

#181 - Pin the path of execution to a particular trace

Issue - State: closed - Opened by aherrmann about 7 years ago - 2 comments
Labels: good first issue, T: feature

#179 - Parameterised unit testing

Issue - State: closed - Opened by barrucadu about 7 years ago - 1 comment
Labels: T: feature, B: has prerequisite

#178 - Generator functions for refinement property parameters

Issue - State: closed - Opened by barrucadu about 7 years ago - 2 comments
Labels: T: feature

#163 - Crosscheck GHC RTS behavior with dejafu

Issue - State: closed - Opened by robinp about 7 years ago - 1 comment
Labels: T: enhancement, B: needs investigation, roadmap

#162 - Use a code formatter

Issue - State: closed - Opened by barrucadu about 7 years ago - 3 comments
Labels: T: meta

#112 - Architecture documentation

Issue - State: closed - Opened by barrucadu over 7 years ago
Labels: T: documentation

#100 - hspec-dejafu package?

Issue - State: closed - Opened by barrucadu over 7 years ago - 1 comment
Labels: T: integration, B: needs investigation

#58 - Include concurrent-extras in concurrency package.

Issue - State: closed - Opened by barrucadu over 8 years ago - 2 comments
Labels: T: feature