-
Notifications
You must be signed in to change notification settings - Fork 15
Issues: input-output-hk/io-sim
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Minimize redundancy in IOSimPOR logs
enhancement
New feature or request
#160
opened May 16, 2024 by
bolt12
1 task done
IOSimPOR propExploration failure
IOSimPOR
Issues / PRs related to IOSimPOR
#148
opened Feb 26, 2024 by
coot
Write compatibility tests for New feature or request
io
and io-sim
's stm APIs
enhancement
#137
opened Jan 31, 2024 by
coot
6 tasks
Add Chan, QSem and QSenN
enhancement
New feature or request
good first issue
Good for newcomers
io-classes
Issues / PRs related to io-classes
#128
opened Dec 2, 2023 by
coot
3 tasks
Make it possible to generate schedules
enhancement
New feature or request
#125
opened Nov 16, 2023 by
abailly-iohk
1 task done
Add a link to the
io-sim
hackage pages in the README and/or repo description
#122
opened Nov 8, 2023 by
jorisdral
Implement IORefs for both io-sim and io-sim-por
enhancement
New feature or request
#112
opened Aug 25, 2023 by
coot
2 tasks
Failed assertion when running ThreadNet tests, using v0.4
bug
Something isn't working
#94
opened Apr 28, 2023 by
dnadales
timeout in si-timers is not designed for 32-bit systems
enhancement
New feature or request
#84
opened Apr 14, 2023 by
coot
Provide New feature or request
StrictTMVar
in strict-stm
package
enhancement
#56
opened Dec 7, 2022 by
coot
Is it possible to integrate with dejafu?
enhancement
New feature or request
#53
opened Nov 24, 2022 by
fishtreesugar
Add support for nested exception testing in Test/STM
enhancement
New feature or request
#36
opened Oct 11, 2022 by
yogeshsajanikar
1 task
Add MonadSay instances for monad transformers
enhancement
New feature or request
#33
opened Oct 5, 2022 by
coot
1 task done
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.