Owner

barrucadu

3 indexed repositories · View on GitHub

dejafu
Systematic concurrency testing meets Haskell.

Haskell · 201 stars
resolved
A simple DNS server for home networks.

Rust · 25 stars
cv
My CV

TeX · 21 stars

Open All

Get a lot of errors trying to compile the file with LaTeX installed Open

barrucadu/cv#10 · 13 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Very slow to compile the CV Open

barrucadu/cv#11 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Maximal Causality Reduction (MCR) algorithm Open

B: needs investigation roadmap T: feature

barrucadu/dejafu#154 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
See if use of vectors can improve performance of listy code Open

B: needs investigation good first issue T: performance

barrucadu/dejafu#165 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
readMVars are dependent! Open

B: needs investigation T: performance

barrucadu/dejafu#169 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Failing to remove dependent transitions from the sleep set, somewhere Open

T: bug

barrucadu/dejafu#173 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Describe similarities/differences to TLA+ Open

T: documentation

barrucadu/dejafu#182 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 14, 2026
Add some litmus tests with memory barriers Open

T: enhancement

barrucadu/dejafu#187 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Add test using fair or length bounding without preemption bounding Open

good first issue T: enhancement

barrucadu/dejafu#209 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Add tests for non-strict refinement Open

good first issue T: enhancement

barrucadu/dejafu#211 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
How would one use `dejafu` with `safe-exceptions` or `unliftio`? Open

barrucadu/dejafu#298 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
[ doc ] Deriving your own instances Open

barrucadu/dejafu#302 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Add `evaluate` to `MonadConc` Open

barrucadu/dejafu#305 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
RFC: Distinguish between "blocking" STM (can retry) and non-blocking in MonadSTM hierarchy Open

barrucadu/dejafu#307 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Consider a backpack-based implementation? Open

barrucadu/dejafu#317 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Infinite sleep doc suggestion Open

barrucadu/dejafu#318 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Exception: (dejafu) trace exhausted without reading a to-do point! Open

T: bug

barrucadu/dejafu#323 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Use the real tasty-hedgehog library Open

B: needs investigation

barrucadu/dejafu#327 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Wrapping Data.Unique? Open

barrucadu/dejafu#368 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Testcase with `STM` and `Async` not failing as expected Open

barrucadu/dejafu#383 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Exception not shown upon `InvariantFailure` Open

barrucadu/dejafu#385 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Inspecting `TMVar` and friends in `Invariant` Open

barrucadu/dejafu#386 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Move `registerDelay` in `MonadConc`? Open

barrucadu/dejafu#387 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Discarding based on Trace Open

barrucadu/dejafu#416 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Serialisation and deserialisation both copy a lot Open

enhancement

barrucadu/resolved#9 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Recursive resolution will not work if intermediate records cannot be cached Open

bug

barrucadu/resolved#12 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Review & implement RFCs 2181, 4343, and 4592 Open

enhancement

barrucadu/resolved#34 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Occasional stack overflows Open

bug

barrucadu/resolved#69 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Review RFC 2065 & consider implementing Open

enhancement

barrucadu/resolved#77 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Implement additional section processing Open

enhancement

barrucadu/resolved#78 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Review & implement RFC 3597 Open

enhancement

barrucadu/resolved#79 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Review & implement RFC 2671 Open

enhancement

barrucadu/resolved#82 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Purify the recursive resolver Open

enhancement

barrucadu/resolved#85 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Integration tests Open

enhancement

barrucadu/resolved#134 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
See if allocation can be removed from the network packet parsing Open

enhancement

barrucadu/resolved#256 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Improve rustdocs Open

documentation

barrucadu/resolved#284 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Is snapshot testing useful for protocol tests? Open

enhancement

barrucadu/resolved#297 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Flake test on wildcard queries for NS records in a non-authoritative zone Open

bug

barrucadu/resolved#341 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026

barrucadu

Get new issues in your inbox