-
Notifications
You must be signed in to change notification settings - Fork 25
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Documentation link on hackage is 404
bugSomething isn't workingSomething isn't workingStatus: Open.#258 In IntersectMBO/io-sim;Test suite is missing lower bound on QuickCheck
bugSomething isn't workingSomething isn't workingStatus: Open.#248 In IntersectMBO/io-sim;- Status: Open.#244 In IntersectMBO/io-sim;
Figure out if a thread is alive in
io-classesenhancementNew feature or requestNew feature or requestStatus: Open.#227 In IntersectMBO/io-sim;Add a
PrimBase (IOSim s)instanceenhancementNew feature or requestNew feature or requestStatus: Open.#221 In IntersectMBO/io-sim;Trace information about deadlock
enhancementNew feature or requestNew feature or requestStatus: Open.#219 In IntersectMBO/io-sim;IOSimPOR fails to find a race under specific circumstances
bugSomething isn't workingSomething isn't workingIOSimPORIssues / PRs related to IOSimPORIssues / PRs related to IOSimPORStatus: Open.#183 In IntersectMBO/io-sim;Implement combinator that forbids descheduling
enhancementNew feature or requestNew feature or requestStatus: Open.#180 In IntersectMBO/io-sim;Minimize redundancy in IOSimPOR logs
enhancementNew feature or requestNew feature or requestIOSimPORIssues / PRs related to IOSimPORIssues / PRs related to IOSimPORtraceIssues / PRs related to IOSim traceIssues / PRs related to IOSim traceStatus: Open.#160 In IntersectMBO/io-sim;IOSimPOR propExploration failure
IOSimPORIssues / PRs related to IOSimPORIssues / PRs related to IOSimPORStatus: Open.#148 In IntersectMBO/io-sim;Write compatibility tests for
ioandio-sim's stm APIsenhancementNew feature or requestNew feature or requestStatus: Open.#137 In IntersectMBO/io-sim;Add Chan, QSem and QSenN
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersio-classesIssues / PRs related to io-classesIssues / PRs related to io-classesStatus: Open.#128 In IntersectMBO/io-sim;