package domain-local-timeout
A scheduler independent timeout mechanism
Install
Dune Dependency
Authors
Maintainers
Sources
domain-local-timeout-1.0.1.tbz
sha256=eac0aa5243a337c13eece2d4c15427b64bf4beb4039060d5f0a36a0e1566d1df
sha512=32ecb0c41a10e3a68f5a8774c48d6b8598cbc81494dd1fb716c7d2d97ca14cbe2b59a02aa64d2ee6d53aa57b4e16c8992b6a592938bb3c70a2517273bde340f3
doc/CHANGES.html
Release notes
All notable changes to this project will be documented in this file.
1.0.1
- Add
(implicit_transitive_deps false)(@polytypic) - Fix to not write to internal pipe after it has been closed (@polytypic)
1.0.0
- Internal improvements (@polytypic)
0.1.0
- Initial version of scheduler independent timeout mechanism (@polytypic)