Search results

Test suite is missing lower bound on QuickCheck

bugSomething isn't workingSomething isn't working

Status: Open.

#248 In input-output-hk/io-sim;

· sternenseemann opened on Mar 11, 2026

io-sim-1.10 compiler error when used with io-classes-1.9

bugSomething isn't workingSomething isn't working

Status: Open.

#247 In input-output-hk/io-sim;

· jorisdral opened on Mar 9, 2026

SimEvent redesign

Status: Open.

#244 In input-output-hk/io-sim;

· coot opened on Feb 13, 2026

Missing PropertyM callbacks for IOSimPOR

enhancementNew feature or requestNew feature or request

Status: Open.

#229 In input-output-hk/io-sim;

· MaximilianAlgehed opened on Oct 16, 2025

Figure out if a thread is alive in io-classes

enhancementNew feature or requestNew feature or request

Status: Open.

#227 In input-output-hk/io-sim;

· MaximilianAlgehed opened on Oct 15, 2025

Add a PrimBase (IOSim s) instance

enhancementNew feature or requestNew feature or request

Status: Open.

#221 In input-output-hk/io-sim;

· jorisdral opened on Jul 3, 2025

Trace information about deadlock

enhancementNew feature or requestNew feature or request

Status: Open.

#219 In input-output-hk/io-sim;

· coot opened on Jun 24, 2025

IOSimPOR fails to find a race under specific circumstances

bugSomething isn't workingSomething isn't working

IOSimPORIssues / PRs related to IOSimPORIssues / PRs related to IOSimPOR

Status: Open.

#183 In input-output-hk/io-sim;

· jasagredo opened on Oct 10, 2024

Implement combinator that forbids descheduling

enhancementNew feature or requestNew feature or request

Status: Open.

#180 In input-output-hk/io-sim;

· jasagredo opened on Oct 8, 2024

Minimize redundancy in IOSimPOR logs

enhancementNew feature or requestNew feature or request

IOSimPORIssues / PRs related to IOSimPORIssues / PRs related to IOSimPOR

traceIssues / PRs related to IOSim traceIssues / PRs related to IOSim trace

Status: Open.

#160 In input-output-hk/io-sim;

· bolt12 opened on May 16, 2024

IOSimPOR propExploration failure

IOSimPORIssues / PRs related to IOSimPORIssues / PRs related to IOSimPOR

Status: Open.

#148 In input-output-hk/io-sim;

· coot opened on Feb 26, 2024

Write compatibility tests for io and io-sim's stm APIs

enhancementNew feature or requestNew feature or request

Status: Open.

#137 In input-output-hk/io-sim;

· coot opened on Jan 31, 2024