package dscheck
Traced Atomics
Install
Dune Dependency
Authors
Maintainers
Sources
dscheck-0.2.0.tbz
sha256=42091b9c3dc1d6538d83d53ad01336c5656022dea964d98e9b190acbe5091fd1
sha512=040f04a2a25bce42b7e3840914adc7486f13257cb339a1a29ae9bfeef63873aeef3ede245e95d0526472ebfc3af0b747132289c1296791606aef03ad245d211c
doc/CHANGES.html
0.2.0
- Source sets (@bartoszmodelski, review: @lyrm, @art-w)
- Better traces (@bartoszmodelski, review: @lyrm, @art-w)
- Test generation (@bartoszmodelski, review: @lyrm)
- New README (@bartoszmodelski, review: @lyrm, @Sudha247)
0.1.1
- Fix continuations leak (@bartoszmodelski, review: @polytypic)
0.1.0
- Initial experimental release.