io-sim: A pure simulator for monadic concurrency with STM.
A pure simulator monad with support of concurrency (base & async style), stm, synchronous and asynchronous exceptions, timeouts & delays, dynamic traces, partial order reduction, and more.
Documentation
Documentation is published here.
[Skip to Readme]
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
asserts | Enable assertions | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- io-sim-1.6.0.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Versions [RSS] | 1.0.0.0, 1.0.0.1, 1.1.0.0, 1.2.0.0, 1.3.0.0, 1.3.1.0, 1.4.0.0, 1.4.1.0, 1.5.0.0, 1.6.0.0 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.9 && <4.21), containers, deepseq, exceptions (>=0.10), io-classes (>=1.6 && <1.8), nothunks, parallel, primitive (>=0.7 && <0.11), psqueues (>=0.2 && <0.3), QuickCheck, quiet, time (>=1.9.1 && <1.13) [details] |
License | Apache-2.0[multiple license files] |
Copyright | 2022-2024 Input Output Global Inc (IOG) |
Author | Alexander Vieth, Duncan Coutts, John Hughes, Marcin Szamotulski |
Maintainer | Duncan Coutts duncan@well-typed.com, Marcin Szamotulski coot@coot.me |
Revised | Revision 3 made by IOHK at 2024-08-29T09:15:44Z |
Category | Testing |
Bug tracker | https://github.com/input-output-hk/io-sim/issues |
Source repo | head: git clone https://github.com/input-output-hk/io-sim(io-sim) |
Uploaded | by IOHK at 2024-08-27T07:58:25Z |
Distributions | NixOS:1.5.0.0 |
Downloads | 3249 total (191 in the last 30 days) |
Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2024-08-29 [all 4 reports] |