Revision history for deltaq
1.0.1.0 — 2025-09-26
Added
- Add combinator
timeout that returns probabilities conditioned
on completing within a given duration.
- Add functions
retryOverlap and retryOverlapN for modelin retry policies
that race time-delayed, independent copies of an outcome against each other.
- Clarify semantics of
deadline.
- Bump dependencies, allow
containers-0.8, QuickCheck-2.16, optparse-applicative-0.19.
Fixed
- Fix
quantile to return the correct result when the result is precisely at the boundary between two pieces of the piecewise probability distribution.
1.0.0.0 — 2024-12-23
- Initial release of the domain-specific language for ∆Q System Development.
- Implementation based on
probability-polynomial.