Skip to content

Latest commit

 

History

History
23 lines (13 loc) · 683 Bytes

CHANGELOG.md

File metadata and controls

23 lines (13 loc) · 683 Bytes
Raw

Version history for small-steps

1.1.0.1

1.1.0.0

  • Change applySTSOptsEither, Extended.applySTS, Simple.applySTS to use NonEmpty (PredicateFailure _) instead of [PredicateFailure _]

testlib

  • Change invalidSignalsAreGenerated, Trace, checkTrace, applySTSTest, traceFromInitState, forAllTraceFromInitState,onlyValidSignalsAreGeneratedFromInitState to use NonEmpty (PredicateFailure _) instead of [PredicateFailure _]
  • Moved small-steps-test library here (small-steps:testlib) as sublibrary

1.0.1.0

  • Add failOnJust, failOnNonEmpty, failureOnJust, failureOnNonEmpty

1.0.0.0

  • First properly versioned release