Skip to content

Issues: barrucadu/dejafu

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

22 Open 220 Closed
22 Open 220 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Discarding based on Trace
#416 opened Dec 2, 2024 by telser
Move registerDelay in MonadConc?
#387 opened Apr 15, 2023 by NicolasT
Inspecting TMVar and friends in Invariant
#386 opened Apr 7, 2023 by NicolasT
Exception not shown upon InvariantFailure
#385 opened Mar 30, 2023 by NicolasT
1
Testcase with STM and Async not failing as expected
#383 opened Mar 23, 2023 by NicolasT
2
Wrapping Data.Unique?
#368 opened Sep 12, 2022 by nomeata
Use the real tasty-hedgehog library B: needs investigation
#327 opened Nov 29, 2020 by barrucadu
Exception: (dejafu) trace exhausted without reading a to-do point! T: bug
#323 opened Jun 3, 2020 by ssadler
3
Infinite sleep doc suggestion
#318 opened May 12, 2020 by mitchellwrosen
Consider a backpack-based implementation?
#317 opened May 11, 2020 by mitchellwrosen
4
RFC: Distinguish between "blocking" STM (can retry) and non-blocking in MonadSTM hierarchy
#307 opened Feb 25, 2020 by 3noch
Add evaluate to MonadConc
#305 opened Jan 19, 2020 by pepeiborra
[ doc ] Deriving your own instances
#302 opened Oct 11, 2019 by timerg
How would one use dejafu with safe-exceptions or unliftio?
#298 opened Mar 14, 2019 by robinp
3
Add tests for non-strict refinement good first issue T: enhancement
#211 opened Feb 16, 2018 by barrucadu
Add test using fair or length bounding without preemption bounding good first issue T: enhancement
#209 opened Feb 16, 2018 by barrucadu
Add some litmus tests with memory barriers T: enhancement
#187 opened Feb 10, 2018 by barrucadu
Describe similarities/differences to TLA+ T: documentation
#182 opened Feb 6, 2018 by robinp
Failing to remove dependent transitions from the sleep set, somewhere T: bug
#173 opened Jan 27, 2018 by barrucadu
readMVars are dependent! B: needs investigation T: performance
#169 opened Dec 21, 2017 by barrucadu
1
See if use of vectors can improve performance of listy code B: needs investigation good first issue T: performance
#165 opened Dec 10, 2017 by barrucadu
1
Maximal Causality Reduction (MCR) algorithm B: needs investigation roadmap T: feature
#154 opened Nov 22, 2017 by barrucadu
ProTip! Type g i on any issue or pull request to go back to the issue listing page.