Revision history for deltaq

1.2.0.0 — 2025-11-21

Changed

• Add a constructor Uniform to the type Term.
• In DeltaQ.Diagram:
  • Draw ⊥ instead of using a unicode font glyph.
  • Scale variable names to keep them in the orange circle.
• In DeltaQ.Plot: Improve rendering of cumulative distribution functions:
  • Set upper bound of the y-axis to 1.
  • Remove gap in the plot at the right end of the x-axis.
  • Highlight the success probability when plotting a single distribution.

1.1.0.0 — 2025-10-14

Added

• Add DeltaQ.Expr with a data type O that represents outcome expressions.
• Add DeltaQ.Diagram for rendering outcome expressions as diagrams.

Changed

• Add a new class ProbabilisticOutcome and remove its fields Probability, choice and choices from the DeltaQ class.

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.