Search results

Discarding based on Trace

Status: Open.

#416 In barrucadu/dejafu;

· telser opened on Dec 2, 2024

Move <code>registerDelay</code> in <code>MonadConc</code>?

Status: Open.

#387 In barrucadu/dejafu;

· NicolasT opened on Apr 15, 2023

Inspecting <code>TMVar</code> and friends in <code>Invariant</code>

Status: Open.

#386 In barrucadu/dejafu;

· NicolasT opened on Apr 7, 2023

Exception not shown upon <code>InvariantFailure</code>

Status: Open.

#385 In barrucadu/dejafu;

· NicolasT opened on Mar 30, 2023

Testcase with <code>STM</code> and <code>Async</code> not failing as expected

Status: Open.

#383 In barrucadu/dejafu;

· NicolasT opened on Mar 23, 2023

Wrapping Data.Unique?

Status: Open.

#368 In barrucadu/dejafu;

· nomeata opened on Sep 12, 2022

Use the real tasty-hedgehog library

B: needs investigation

Status: Open.

#327 In barrucadu/dejafu;

· barrucadu opened on Nov 29, 2020

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

T: bug

Status: Open.

#323 In barrucadu/dejafu;

· ssadler opened on Jun 3, 2020

Infinite sleep doc suggestion

Status: Open.

#318 In barrucadu/dejafu;

· mitchellwrosen opened on May 12, 2020

Consider a backpack-based implementation?

Status: Open.

#317 In barrucadu/dejafu;

· mitchellwrosen opened on May 11, 2020

RFC: Distinguish between "blocking" STM (can retry) and non-blocking in MonadSTM hierarchy

Status: Open.

#307 In barrucadu/dejafu;

· 3noch opened on Feb 25, 2020

Add <code>evaluate</code> to <code>MonadConc</code>

Status: Open.

#305 In barrucadu/dejafu;

· pepeiborra opened on Jan 19, 2020