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

SimEvent redesign

Status: Open.

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

· coot opened on Feb 13, 2026

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

Add Chan, QSem and QSenN

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

io-classesIssues / PRs related to io-classesIssues / PRs related to io-classes

Status: Open.

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

· coot opened on Dec 2, 2023

Make it possible to generate schedules

enhancementNew feature or requestNew feature or request

Status: Open.

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

· ghost opened on Nov 16, 2023