From ee99cbb975f48840f4fda9c451dae3d200de26e1 Mon Sep 17 00:00:00 2001 From: Michael Walker Date: Thu, 19 Oct 2023 20:01:59 +0100 Subject: [PATCH] Fix formatting issues in CHANGELOGs --- concurrency/CHANGELOG.rst | 84 +++---- dejafu/CHANGELOG.rst | 498 +++++++++++++++++++------------------ hunit-dejafu/CHANGELOG.rst | 66 ++--- tasty-dejafu/CHANGELOG.rst | 78 +++--- 4 files changed, 379 insertions(+), 347 deletions(-) diff --git a/concurrency/CHANGELOG.rst b/concurrency/CHANGELOG.rst index 724eb25..48df708 100644 --- a/concurrency/CHANGELOG.rst +++ b/concurrency/CHANGELOG.rst @@ -46,7 +46,7 @@ Fixed 1.11.0.0 (2020-05-14) --------------------- +--------------------- * Git: :tag:`concurrency-1.11.0.0` * Hackage: :hackage:`concurrency-1.11.0.0` @@ -171,10 +171,10 @@ Added * (:issue:`286`) Copy across additions from the :hackage:`stm` package: - * ``Control.Concurrent.Classy.STM.TQueue.flushTQueue`` - * ``Control.Concurrent.Classy.STM.TBQueue.flushTBQueue`` - * ``Control.Concurrent.Classy.STM.TBQueue.lengthTBQueue`` - * ``Control.Concurrent.Classy.STM.TVar.stateTVar`` + * ``Control.Concurrent.Classy.STM.TQueue.flushTQueue`` + * ``Control.Concurrent.Classy.STM.TBQueue.flushTBQueue`` + * ``Control.Concurrent.Classy.STM.TBQueue.lengthTBQueue`` + * ``Control.Concurrent.Classy.STM.TVar.stateTVar`` * (:issue:`287`) The ``Control.Concurrent.Classy.STM.TSem`` module. @@ -183,10 +183,8 @@ Changed * (:issue:`286`) Copy across changes from the :hackage:`stm` package: - * Make definition of ``readTQueue`` consistent with - ``readTBQueue`` - - * Performance improvements to ``peekTQueue`` and ``peekTBQueue``. + * Make definition of ``readTQueue`` consistent with ``readTBQueue`` + * Performance improvements to ``peekTQueue`` and ``peekTBQueue``. Miscellaneous ~~~~~~~~~~~~~ @@ -235,9 +233,9 @@ Miscellaneous * GHC 7.10 support is dropped. Dependency lower bounds are: - * :hackage:`base`: 4.9 - * :hackage:`array`: 0.5.1 - * :hackage:`transformers`: 0.5 + * :hackage:`base`: 4.9 + * :hackage:`array`: 0.5.1 + * :hackage:`transformers`: 0.5 1.4.0.2 (2018-03-11) @@ -276,8 +274,8 @@ Changed * ``Control.Monad.Conc.Class.peekTicket'`` has a more concrete type, to make deriving newtype instances of ``MonadConc`` possible: - * Old: ``MonadConc m => proxy m -> Ticket m a -> a`` - * New: ``MonadConc m => Proxy m -> Ticket m a -> a`` + * Old: ``MonadConc m => proxy m -> Ticket m a -> a`` + * New: ``MonadConc m => Proxy m -> Ticket m a -> a`` 1.3.0.0 - The Bound Thread Release (2017-12-23) @@ -294,21 +292,21 @@ Added * (:pull:`145`) Bound thread variants of the ``withAsync`` functions: - * ``Control.Concurrent.Classy.Async.asyncBound`` - * ``Control.Concurrent.Classy.Async.asyncBoundN`` - * ``Control.Concurrent.Classy.Async.withAsyncBound`` - * ``Control.Concurrent.Classy.Async.withAsyncBoundN`` + * ``Control.Concurrent.Classy.Async.asyncBound`` + * ``Control.Concurrent.Classy.Async.asyncBoundN`` + * ``Control.Concurrent.Classy.Async.withAsyncBound`` + * ``Control.Concurrent.Classy.Async.withAsyncBoundN`` * (:pull:`145`) Bound thread functions in ``MonadConc``: - * ``Control.Monad.Conc.Class.forkOS`` - * ``Control.Monad.Conc.Class.forkOSN`` - * ``Control.Monad.Conc.Class.isCurrentThreadBound`` + * ``Control.Monad.Conc.Class.forkOS`` + * ``Control.Monad.Conc.Class.forkOSN`` + * ``Control.Monad.Conc.Class.isCurrentThreadBound`` * (:pull:`145`) Helper functions for bound threads: - * ``Control.Monad.Conc.Class.runInBoundThread`` - * ``Control.Monad.Conc.Class.runInUnboundThread`` + * ``Control.Monad.Conc.Class.runInBoundThread`` + * ``Control.Monad.Conc.Class.runInUnboundThread`` Changed ~~~~~~~ @@ -328,10 +326,10 @@ Added * (:issue:`148`) Named thread variants of the ``withAsync`` functions: - * ``Control.Concurrent.Classy.Async.withAsyncN`` - * ``Control.Concurrent.Classy.Async.withAsyncOnN`` - * ``Control.Concurrent.Classy.Async.withAsyncWithUnmaskN`` - * ``Control.Concurrent.Classy.Async.withAsyncOnWithUnmaskN`` + * ``Control.Concurrent.Classy.Async.withAsyncN`` + * ``Control.Concurrent.Classy.Async.withAsyncOnN`` + * ``Control.Concurrent.Classy.Async.withAsyncWithUnmaskN`` + * ``Control.Concurrent.Classy.Async.withAsyncOnWithUnmaskN`` 1.2.2.0 (2017-11-05) @@ -345,12 +343,12 @@ Added * (:issue:`144`) ``IsConc`` and ``IsSTM`` wrapper types: - * ``Control.Monad.Conc.Class.IsConc`` (constructor unexported) - * ``Control.Monad.Conc.Class.toIsConc`` - * ``Control.Monad.Conc.Class.fromIsConc`` - * ``Control.Monad.STM.Class.IsSTM`` (constructor unexported) - * ``Control.Monad.STM.Class.toIsSTM`` - * ``Control.Monad.STM.Class.fromIsSTM`` + * ``Control.Monad.Conc.Class.IsConc`` (constructor unexported) + * ``Control.Monad.Conc.Class.toIsConc`` + * ``Control.Monad.Conc.Class.fromIsConc`` + * ``Control.Monad.STM.Class.IsSTM`` (constructor unexported) + * ``Control.Monad.STM.Class.toIsSTM`` + * ``Control.Monad.STM.Class.fromIsSTM`` Changed ~~~~~~~ @@ -398,10 +396,10 @@ Added * (:pull:`125`) Named thread variants of the ``async`` functions: - * ``Control.Concurrent.Classy.Async.asyncN`` - * ``Control.Concurrent.Classy.Async.asyncOnN`` - * ``Control.Concurrent.Classy.Async.asyncWithUnmaskN`` - * ``Control.Concurrent.Classy.Async.asyncOnWithUnmaskN`` + * ``Control.Concurrent.Classy.Async.asyncN`` + * ``Control.Concurrent.Classy.Async.asyncOnN`` + * ``Control.Concurrent.Classy.Async.asyncWithUnmaskN`` + * ``Control.Concurrent.Classy.Async.asyncOnWithUnmaskN`` 1.2.0.0 (2017-09-16) @@ -446,12 +444,12 @@ Added * Missing functions copied from :hackage:`async`: - * ``Control.Concurrent.Classy.Async.uninterruptibleCancel`` - * ``Control.Concurrent.Classy.Async.replicateConcurrently`` - * ``Control.Concurrent.Classy.Async.concurrently_`` - * ``Control.Concurrent.Classy.Async.mapConcurrently_`` - * ``Control.Concurrent.Classy.Async.forConcurrently_`` - * ``Control.Concurrent.Classy.Async.replicateConcurrently_`` + * ``Control.Concurrent.Classy.Async.uninterruptibleCancel`` + * ``Control.Concurrent.Classy.Async.replicateConcurrently`` + * ``Control.Concurrent.Classy.Async.concurrently_`` + * ``Control.Concurrent.Classy.Async.mapConcurrently_`` + * ``Control.Concurrent.Classy.Async.forConcurrently_`` + * ``Control.Concurrent.Classy.Async.replicateConcurrently_`` * ``Control.Concurrent.Classy.Async.Concurrently`` has a ``Semigroup`` instance when built with :hackage:`base` >= 4.9. diff --git a/dejafu/CHANGELOG.rst b/dejafu/CHANGELOG.rst index bfa4e63..5b7b89f 100644 --- a/dejafu/CHANGELOG.rst +++ b/dejafu/CHANGELOG.rst @@ -139,8 +139,9 @@ Added * Thread action constructors for the ``MonadConc`` ``getMaskingState`` function: - * ``Test.DejaFu.Types.ThreadAction``, ``GetMaskingState`` - * ``Test.DejaFu.Types.Lookahead``, ``WillGetMaskingState`` + + * ``Test.DejaFu.Types.ThreadAction``, ``GetMaskingState`` + * ``Test.DejaFu.Types.Lookahead``, ``WillGetMaskingState`` Miscellaneous ~~~~~~~~~~~~~ @@ -194,50 +195,57 @@ Miscellaneous Added ~~~~~ -* The ``Test.DejaFu.Types.MonadDejaFu`` typeclass, containing the - primitives needed to run a concurrent program. There are instances - for: - * ``IO``, which is probably the ``MonadConc`` instance people used - previously, so there is no breaking change there. - * ``CatchT (ST t)``, meaning that concurrent programs can be run - without ``IO`` once more. +* The ``Test.DejaFu.Types.MonadDejaFu`` typeclass, containing the primitives + needed to run a concurrent program. There are instances for: -* Thread action constructors for ``MonadConc`` - ``supportsBoundThreads`` function: - * ``Test.DejaFu.Types.ThreadAction``, ``SupportsBoundThreads`` - * ``Test.DejaFu.Types.Lookahead``, ``WillSupportsBoundThreads`` + * ``IO``, which is probably the ``MonadConc`` instance people used previously, + so there is no breaking change there. + * ``CatchT (ST t)``, meaning that concurrent programs can be run without + ``IO`` once more. + +* Thread action constructors for ``MonadConc`` ``supportsBoundThreads`` + function: + + * ``Test.DejaFu.Types.ThreadAction``, ``SupportsBoundThreads`` + * ``Test.DejaFu.Types.Lookahead``, ``WillSupportsBoundThreads`` Changed ~~~~~~~ -* Many functions which had a ``MonadConc`` constraint now have a - ``MonadDejaFu`` constraint: - * In ``Test.DejaFu`` - * ``autocheck`` - * ``autocheckWay`` - * ``autocheckWithSettings`` - * ``dejafu`` - * ``dejafuWay`` - * ``dejafuWithSettings`` - * ``dejafus`` - * ``dejafusWay`` - * ``dejafusWithSettings`` - * ``runTest`` - * ``runTestWay`` - * ``runTestWithSettings`` - * In ``Test.DejaFu.Conc`` - * ``runConcurrent`` - * ``recordSnapshot`` - * ``runSnapshot`` - * In ``Test.DejaFu.SCT`` - * ``runSCT`` - * ``resultsSet`` - * ``runSCT'`` - * ``resultsSet'`` - * ``runSCTWithSettings`` - * ``resultsSetWithSettings`` - * ``runSCTWithSettings'`` - * ``resultsSetWithSettings'`` +* Many functions which had a ``MonadConc`` constraint now have a ``MonadDejaFu`` + constraint: + + * In ``Test.DejaFu`` + + * ``autocheck`` + * ``autocheckWay`` + * ``autocheckWithSettings`` + * ``dejafu`` + * ``dejafuWay`` + * ``dejafuWithSettings`` + * ``dejafus`` + * ``dejafusWay`` + * ``dejafusWithSettings`` + * ``runTest`` + * ``runTestWay`` + * ``runTestWithSettings`` + + * In ``Test.DejaFu.Conc`` + + * ``runConcurrent`` + * ``recordSnapshot`` + * ``runSnapshot`` + + * In ``Test.DejaFu.SCT`` + + * ``runSCT`` + * ``resultsSet`` + * ``runSCT'`` + * ``resultsSet'`` + * ``runSCTWithSettings`` + * ``resultsSetWithSettings`` + * ``runSCTWithSettings'`` + * ``resultsSetWithSettings'`` Miscellaneous ~~~~~~~~~~~~~ @@ -269,26 +277,29 @@ Added * The ``Program`` types and their constructors (re-exported from ``Test.DejaFu``): - * ``Test.DejaFu.Conc.Program`` - * ``Test.DejaFu.Conc.Basic`` - * ``Test.DejaFu.Conc.WithSetup`` - * ``Test.DejaFu.Conc.WithSetupAndTeardown`` - * ``Test.DejaFu.Conc.withSetup`` - * ``Test.DejaFu.Conc.withTeardown`` - * ``Test.DejaFu.Conc.withSetupAndTeardown`` + + * ``Test.DejaFu.Conc.Program`` + * ``Test.DejaFu.Conc.Basic`` + * ``Test.DejaFu.Conc.WithSetup`` + * ``Test.DejaFu.Conc.WithSetupAndTeardown`` + * ``Test.DejaFu.Conc.withSetup`` + * ``Test.DejaFu.Conc.withTeardown`` + * ``Test.DejaFu.Conc.withSetupAndTeardown`` * The ``Invariant`` type and associated functions (re-exported from ``Test.DejaFu``): - * ``Test.DejaFu.Conc.Invariant`` - * ``Test.DejaFu.Conc.registerInvariant`` - * ``Test.DejaFu.Conc.inspectIORef`` - * ``Test.DejaFu.Conc.inspectMVar`` - * ``Test.DejaFu.Conc.inspectTVar`` + + * ``Test.DejaFu.Conc.Invariant`` + * ``Test.DejaFu.Conc.registerInvariant`` + * ``Test.DejaFu.Conc.inspectIORef`` + * ``Test.DejaFu.Conc.inspectMVar`` + * ``Test.DejaFu.Conc.inspectTVar`` * New snapshotting functions: - * ``Test.DejaFu.Conc.Snapshot`` - * ``Test.DejaFu.Conc.recordSnapshot`` - * ``Test.DejaFu.Conc.runSnapshot`` + + * ``Test.DejaFu.Conc.Snapshot`` + * ``Test.DejaFu.Conc.recordSnapshot`` + * ``Test.DejaFu.Conc.runSnapshot`` * ``Test.DejaFu.Settings.llengthBound``, which now applies to all ways of testing. @@ -299,14 +310,15 @@ Added * ``Test.DejaFu.runTestWithSettings`` function. * A simplified form of the concurrency state: - * ``Test.DejaFu.Types.ConcurrencyState`` - * ``Test.DejaFu.Types.isBuffered`` - * ``Test.DejaFu.Types.numBuffered`` - * ``Test.DejaFu.Types.isFull`` - * ``Test.DejaFu.Types.canInterrupt`` - * ``Test.DejaFu.Types.canInterruptL`` - * ``Test.DejaFu.Types.isMaskedInterruptible`` - * ``Test.DejaFu.Types.isMaskedUninterruptible`` + + * ``Test.DejaFu.Types.ConcurrencyState`` + * ``Test.DejaFu.Types.isBuffered`` + * ``Test.DejaFu.Types.numBuffered`` + * ``Test.DejaFu.Types.isFull`` + * ``Test.DejaFu.Types.canInterrupt`` + * ``Test.DejaFu.Types.canInterruptL`` + * ``Test.DejaFu.Types.isMaskedInterruptible`` + * ``Test.DejaFu.Types.isMaskedUninterruptible`` Changed ~~~~~~~ @@ -318,75 +330,83 @@ Changed return a representative trace for each unique condition. * Functions which took a ``ConcT`` now take a ``Program pty``: - * ``Test.DejaFu.autocheck`` - * ``Test.DejaFu.autocheckWay`` - * ``Test.DejaFu.autocheckWithSettings`` - * ``Test.DejaFu.dejafu`` - * ``Test.DejaFu.dejafuWay`` - * ``Test.DejaFu.dejafuWithSettings`` - * ``Test.DejaFu.dejafus`` - * ``Test.DejaFu.dejafusWay`` - * ``Test.DejaFu.dejafusWithSettings`` - * ``Test.DejaFu.runTest`` - * ``Test.DejaFu.runTestWay`` - * ``Test.DejaFu.runTestWithSettings`` - * ``Test.DejaFu.Conc.runConcurrent`` - * ``Test.DejaFu.SCT.runSCT`` - * ``Test.DejaFu.SCT.resultsSet`` - * ``Test.DejaFu.SCT.runSCT'`` - * ``Test.DejaFu.SCT.resultsSet'`` - * ``Test.DejaFu.SCT.runSCTWithSettings`` - * ``Test.DejaFu.SCT.resultsSetWithSettings`` - * ``Test.DejaFu.SCT.runSCTWithSettings'`` - * ``Test.DejaFu.SCT.resultsSetWithSettings'`` + + * ``Test.DejaFu.autocheck`` + * ``Test.DejaFu.autocheckWay`` + * ``Test.DejaFu.autocheckWithSettings`` + * ``Test.DejaFu.dejafu`` + * ``Test.DejaFu.dejafuWay`` + * ``Test.DejaFu.dejafuWithSettings`` + * ``Test.DejaFu.dejafus`` + * ``Test.DejaFu.dejafusWay`` + * ``Test.DejaFu.dejafusWithSettings`` + * ``Test.DejaFu.runTest`` + * ``Test.DejaFu.runTestWay`` + * ``Test.DejaFu.runTestWithSettings`` + * ``Test.DejaFu.Conc.runConcurrent`` + * ``Test.DejaFu.SCT.runSCT`` + * ``Test.DejaFu.SCT.resultsSet`` + * ``Test.DejaFu.SCT.runSCT'`` + * ``Test.DejaFu.SCT.resultsSet'`` + * ``Test.DejaFu.SCT.runSCTWithSettings`` + * ``Test.DejaFu.SCT.resultsSetWithSettings`` + * ``Test.DejaFu.SCT.runSCTWithSettings'`` + * ``Test.DejaFu.SCT.resultsSetWithSettings'`` * ``Test.DejaFu.Conc.ConcT`` is an alias for ``Program Basic``. * ``Test.DejaFu.Types.Bounds``: - * Removed ``boundLength`` field. + + * Removed ``boundLength`` field. * ``Test.DejaFu.Types.Condition``: - * Added ``InvariantFailure`` constructor - * Removed ``STMDeadlock`` constructor + + * Added ``InvariantFailure`` constructor + * Removed ``STMDeadlock`` constructor * ``Test.DejaFu.Types.Error``: - * Removed ``NestedSubconcurrency``, ``MultithreadedSubconcurrency``, - and ``LateDontCheck`` constructors. + + * Removed ``NestedSubconcurrency``, ``MultithreadedSubconcurrency``, and + ``LateDontCheck`` constructors. * ``Test.DejaFu.Types.Lookahead``: - * Added ``WillRegisterInvariant`` constructor - * Removed ``WillSubconcurrency``, ``WillStopSubconcurrency``, and - ``WillDontCheck`` constructors + + * Added ``WillRegisterInvariant`` constructor + * Removed ``WillSubconcurrency``, ``WillStopSubconcurrency``, and + ``WillDontCheck`` constructors * ``Test.DejaFu.Types.ThreadAction``: - * Added ``RegisterInvariant`` constructor - * Removed ``Subconcurrency``, ``StopSubconcurrency``, and - ``DontCheck`` constructors + + * Added ``RegisterInvariant`` constructor + * Removed ``Subconcurrency``, ``StopSubconcurrency``, and + ``DontCheck`` constructors Removed ~~~~~~~ * The deprecated functions: - * ``Test.DejaFu.dejafuDiscard`` - * ``Test.DejaFu.SCT.runSCTDiscard`` - * ``Test.DejaFu.SCT.runSCTDiscard'`` - * ``Test.DejaFu.SCT.resultsSetDiscard`` - * ``Test.DejaFu.SCT.resultsSetDiscard'`` - * ``Test.DejaFu.SCT.sctBound`` - * ``Test.DejaFu.SCT.sctBoundDiscard`` - * ``Test.DejaFu.SCT.sctUniformRandom`` - * ``Test.DejaFu.SCT.sctUniformRandomDiscard`` - * ``Test.DejaFu.SCT.sctWeightedRandom`` - * ``Test.DejaFu.SCT.sctWeightedRandomDiscard`` + + * ``Test.DejaFu.dejafuDiscard`` + * ``Test.DejaFu.SCT.runSCTDiscard`` + * ``Test.DejaFu.SCT.runSCTDiscard'`` + * ``Test.DejaFu.SCT.resultsSetDiscard`` + * ``Test.DejaFu.SCT.resultsSetDiscard'`` + * ``Test.DejaFu.SCT.sctBound`` + * ``Test.DejaFu.SCT.sctBoundDiscard`` + * ``Test.DejaFu.SCT.sctUniformRandom`` + * ``Test.DejaFu.SCT.sctUniformRandomDiscard`` + * ``Test.DejaFu.SCT.sctWeightedRandom`` + * ``Test.DejaFu.SCT.sctWeightedRandomDiscard`` * The deprecated type ``Test.DejaFu.Types.Failure`` * Old snapshotting functions: - * ``Test.DejaFu.Conc.DCSnapshot`` - * ``Test.DejaFu.Conc.runForDCSnapshot`` - * ``Test.DejaFu.Conc.runWithDCSnapshot`` - * ``Test.DejaFu.Conc.canDCSnapshot`` - * ``Test.DejaFu.Conc.threadsFromDCSnapshot`` + + * ``Test.DejaFu.Conc.DCSnapshot`` + * ``Test.DejaFu.Conc.runForDCSnapshot`` + * ``Test.DejaFu.Conc.runWithDCSnapshot`` + * ``Test.DejaFu.Conc.canDCSnapshot`` + * ``Test.DejaFu.Conc.threadsFromDCSnapshot`` * ``Test.DejaFu.Conc.dontCheck`` @@ -408,8 +428,9 @@ Added * ``Test.DejaFu.Types.Error`` for internal errors and misuses, with predicates: - * ``Test.DejaFu.Types.isSchedulerError`` - * ``Test.DejaFu.Types.isIncorrectUsage`` + + * ``Test.DejaFu.Types.isSchedulerError`` + * ``Test.DejaFu.Types.isIncorrectUsage`` * Deprecated ``Test.DejaFu.Types.Failure`` type synonym for ``Condition``. @@ -652,9 +673,9 @@ Miscellaneous * GHC 7.10 support is dropped. Dependency lower bounds are: - * :hackage:`base`: 4.9 - * :hackage:`concurrency`: 1.5 - * :hackage:`transformers`: 0.5 + * :hackage:`base`: 4.9 + * :hackage:`concurrency`: 1.5 + * :hackage:`transformers`: 0.5 * The upper bound on :hackage:`concurrency` is 1.6. @@ -699,8 +720,8 @@ Added * (:issue:`183`) SCT settings for trace simplification: - * ``Test.DejaFu.Settings.lequality`` - * ``Test.DejaFu.Settings.lsimplify`` + * ``Test.DejaFu.Settings.lequality`` + * ``Test.DejaFu.Settings.lsimplify`` * (:pull:`248`) ``Test.DejaFu.Utils.toTIdTrace`` to extract thread IDs from a trace. @@ -726,23 +747,23 @@ Added * (:pull:`246`) ``Generic`` instances for: - * ``Test.DejaFu.Types.ThreadId`` - * ``Test.DejaFu.Types.CRefId`` - * ``Test.DejaFu.Types.MVarId`` - * ``Test.DejaFu.Types.TVarId`` - * ``Test.DejaFu.Types.Id`` - * ``Test.DejaFu.Types.ThreadAction`` - * ``Test.DejaFu.Types.Lookahead`` - * ``Test.DejaFu.Types.TAction`` - * ``Test.DejaFu.Types.Decision`` - * ``Test.DejaFu.Types.Failure`` - * ``Test.DejaFu.Types.Bounds`` - * ``Test.DejaFu.Types.PreemptionBound`` - * ``Test.DejaFu.Types.FairBound`` - * ``Test.DejaFu.Types.LengthBound`` - * ``Test.DejaFu.Types.Discard`` - * ``Test.DejaFu.Types.MemType`` - * ``Test.DejaFu.Types.MonadFailException`` + * ``Test.DejaFu.Types.ThreadId`` + * ``Test.DejaFu.Types.CRefId`` + * ``Test.DejaFu.Types.MVarId`` + * ``Test.DejaFu.Types.TVarId`` + * ``Test.DejaFu.Types.Id`` + * ``Test.DejaFu.Types.ThreadAction`` + * ``Test.DejaFu.Types.Lookahead`` + * ``Test.DejaFu.Types.TAction`` + * ``Test.DejaFu.Types.Decision`` + * ``Test.DejaFu.Types.Failure`` + * ``Test.DejaFu.Types.Bounds`` + * ``Test.DejaFu.Types.PreemptionBound`` + * ``Test.DejaFu.Types.FairBound`` + * ``Test.DejaFu.Types.LengthBound`` + * ``Test.DejaFu.Types.Discard`` + * ``Test.DejaFu.Types.MemType`` + * ``Test.DejaFu.Types.MonadFailException`` * (:pull:`246`) ``NFData`` instance for ``Test.DejaFu.Types.MonadFailException`` @@ -817,49 +838,55 @@ Added * (:pull:`238`) A record-based approach to SCT configuration: - * ``Test.DejaFu.Settings`` - (re-exported from ``Test.Dejafu`` and ``Test.DejaFu.SCT``) - * ``Test.DejaFu.Settings.Settings`` - * ``Test.DejaFu.Settings.defaultSettings`` - * ``Test.DejaFu.Settings.fromWayAndMemType`` - * Lenses: - * ``Test.DejaFu.Settings.lway`` - * ``Test.DejaFu.Settings.lmemtype`` - * ``Test.DejaFu.Settings.ldiscard`` - * ``Test.DejaFu.Settings.learlyExit`` - * ``Test.DejaFu.Settings.ldebugShow`` - * ``Test.DejaFu.Settings.ldebugPrint`` - * Lens helpers: - * ``Test.DejaFu.Settings.get`` - * ``Test.DejaFu.Settings.set`` - * Runners: - * ``Test.DejaFu.SCT.runSCTWithSettings`` - * ``Test.DejaFu.SCT.runSCTWithSettings'`` - * ``Test.DejaFu.SCT.resultsSetWithSettings`` - * ``Test.DejaFu.SCT.resultsSetWithSettings'`` + * ``Test.DejaFu.Settings`` (re-exported from ``Test.Dejafu`` and + ``Test.DejaFu.SCT``) + * ``Test.DejaFu.Settings.Settings`` + * ``Test.DejaFu.Settings.defaultSettings`` + * ``Test.DejaFu.Settings.fromWayAndMemType`` + + * Lenses: + + * ``Test.DejaFu.Settings.lway`` + * ``Test.DejaFu.Settings.lmemtype`` + * ``Test.DejaFu.Settings.ldiscard`` + * ``Test.DejaFu.Settings.learlyExit`` + * ``Test.DejaFu.Settings.ldebugShow`` + * ``Test.DejaFu.Settings.ldebugPrint`` + + * Lens helpers: + + * ``Test.DejaFu.Settings.get`` + * ``Test.DejaFu.Settings.set`` + + * Runners: + + * ``Test.DejaFu.SCT.runSCTWithSettings`` + * ``Test.DejaFu.SCT.runSCTWithSettings'`` + * ``Test.DejaFu.SCT.resultsSetWithSettings`` + * ``Test.DejaFu.SCT.resultsSetWithSettings'`` * (:pull:`238`) Settings-based test functions: - * ``Test.DejaFu.autocheckWithSettings`` - * ``Test.DejaFu.dejafuWithSettings`` - * ``Test.DejaFu.dejafusWithSettings`` - * ``Test.DejaFu.runTestWithSettings`` + * ``Test.DejaFu.autocheckWithSettings`` + * ``Test.DejaFu.dejafuWithSettings`` + * ``Test.DejaFu.dejafusWithSettings`` + * ``Test.DejaFu.runTestWithSettings`` Deprecated ~~~~~~~~~~ * (:pull:`238`) SCT function variants: - * ``Test.DejaFu.SCT.runSCTDiscard`` - * ``Test.DejaFu.SCT.resultSetDiscard`` - * ``Test.DejaFu.SCT.runSCTDiscard'`` - * ``Test.DejaFu.SCT.resultSetDiscard'`` - * ``Test.DejaFu.SCT.sctBound`` - * ``Test.DejaFu.SCT.sctBoundDiscard`` - * ``Test.DejaFu.SCT.sctUniformRandom`` - * ``Test.DejaFu.SCT.sctUniformRandomDiscard`` - * ``Test.DejaFu.SCT.sctWeightedRandom`` - * ``Test.DejaFu.SCT.sctWeightedRandomDiscard`` + * ``Test.DejaFu.SCT.runSCTDiscard`` + * ``Test.DejaFu.SCT.resultSetDiscard`` + * ``Test.DejaFu.SCT.runSCTDiscard'`` + * ``Test.DejaFu.SCT.resultSetDiscard'`` + * ``Test.DejaFu.SCT.sctBound`` + * ``Test.DejaFu.SCT.sctBoundDiscard`` + * ``Test.DejaFu.SCT.sctUniformRandom`` + * ``Test.DejaFu.SCT.sctUniformRandomDiscard`` + * ``Test.DejaFu.SCT.sctWeightedRandom`` + * ``Test.DejaFu.SCT.sctWeightedRandomDiscard`` * (:pull:`238`) The ``Test.DejaFu.Defaults`` module. Import ``Test.DejaFu.Settings`` instead. @@ -915,18 +942,18 @@ Added * (:pull:`219`) The testing-only ``Test.DejaFu.Conc.dontCheck`` function, and associated definitions: - * ``Test.DejaFu.Types.DontCheck`` - * ``Test.DejaFu.Types.WillDontCheck`` - * ``Test.DejaFu.Types.IllegalDontCheck`` - * ``Test.DejaFu.Types.isIllegalDontCheck`` + * ``Test.DejaFu.Types.DontCheck`` + * ``Test.DejaFu.Types.WillDontCheck`` + * ``Test.DejaFu.Types.IllegalDontCheck`` + * ``Test.DejaFu.Types.isIllegalDontCheck`` * (:pull:`219`) A snapshotting approach based on ``Test.DejaFu.Conc.dontCheck``: - * ``Test.DejaFu.Conc.runForDCSnapshot`` - * ``Test.DejaFu.Conc.runWithDCSnapshot`` - * ``Test.DejaFu.Conc.canDCSnapshot`` - * ``Test.DejaFu.Conc.threadsFromDCSnapshot`` + * ``Test.DejaFu.Conc.runForDCSnapshot`` + * ``Test.DejaFu.Conc.runWithDCSnapshot`` + * ``Test.DejaFu.Conc.canDCSnapshot`` + * ``Test.DejaFu.Conc.threadsFromDCSnapshot`` Changed ~~~~~~~ @@ -1011,10 +1038,10 @@ Added * (:pull:`145`) Thread action and lookahead values for bound threads: - * ``Test.DejaFu.Types.ForkOS`` - * ``Test.DejaFu.Types.IsCurrentThreadBound`` - * ``Test.DejaFu.Types.WillForkOS`` - * ``Test.DejaFu.Types.WillIsCurrentThreadBound`` + * ``Test.DejaFu.Types.ForkOS`` + * ``Test.DejaFu.Types.IsCurrentThreadBound`` + * ``Test.DejaFu.Types.WillForkOS`` + * ``Test.DejaFu.Types.WillIsCurrentThreadBound`` * (:issue:`155`) ``Test.DejaFu.Types`` and ``Test.DejaFu.Utils`` modules, each containing some of what was in ``Test.DejaFu.Common``. @@ -1064,15 +1091,15 @@ Removed * The ``IO`` specific testing functions: - * ``Test.DejaFu.autocheckIO`` - * ``Test.DejaFu.dejafuIO`` - * ``Test.DejaFu.dejafusIO`` - * ``Test.DejaFu.autocheckWayIO`` - * ``Test.DejaFu.dejafuWayIO`` - * ``Test.DejaFu.dejafusWayIO`` - * ``Test.DejaFu.dejafuDiscardIO`` - * ``Test.DejaFu.runTestM`` - * ``Test.DejaFu.runTestWayM`` + * ``Test.DejaFu.autocheckIO`` + * ``Test.DejaFu.dejafuIO`` + * ``Test.DejaFu.dejafusIO`` + * ``Test.DejaFu.autocheckWayIO`` + * ``Test.DejaFu.dejafuWayIO`` + * ``Test.DejaFu.dejafusWayIO`` + * ``Test.DejaFu.dejafuDiscardIO`` + * ``Test.DejaFu.runTestM`` + * ``Test.DejaFu.runTestWayM`` * The ``Test.DejaFu.Conc.ConcST`` type alias. @@ -1214,16 +1241,16 @@ Added * Failure predicates (also exported from ``Test.DejaFu``): - * ``Test.DejaFu.Common.isAbort`` - * ``Test.DejaFu.Common.isDeadlock`` - * ``Test.DejaFu.Common.isIllegalSubconcurrency`` - * ``Test.DejaFu.Common.isInternalError`` - * ``Test.DejaFu.Common.isUncaughtException`` + * ``Test.DejaFu.Common.isAbort`` + * ``Test.DejaFu.Common.isDeadlock`` + * ``Test.DejaFu.Common.isIllegalSubconcurrency`` + * ``Test.DejaFu.Common.isInternalError`` + * ``Test.DejaFu.Common.isUncaughtException`` * Thread action and lookahead values for ``threadDelay``: - * ``Test.DejaFu.Common.ThreadDelay`` - * ``Test.DejaFu.Common.WillThreadDelay`` + * ``Test.DejaFu.Common.ThreadDelay`` + * ``Test.DejaFu.Common.WillThreadDelay`` Changed ~~~~~~~ @@ -1350,8 +1377,8 @@ Performance * (:issue:`64`) Greatly reduce memory usage in systematic testing when discarding traces by using an alternative data structure. - * Old: ``O(max trace length * number of executions)`` - * New: ``O(max trace length * number of traces kept)`` + * Old: ``O(max trace length * number of executions)`` + * New: ``O(max trace length * number of traces kept)`` 0.7.1.0 - The Discard Release (2017-08-10) @@ -1365,15 +1392,15 @@ Added * (:issue:`90`) A way to selectively discard results or traces: - * Type: ``Test.DejaFu.SCT.Discard`` - * Functions: ``Test.DejaFu.SCT.runSCTDiscard``, - ``resultsSetDiscard``, ``sctBoundDiscard``, - ``sctUniformRandomDiscard``, and ``sctWeightedRandomDiscard``. + * Type: ``Test.DejaFu.SCT.Discard`` + * Functions: ``Test.DejaFu.SCT.runSCTDiscard``, ``resultsSetDiscard``, + ``sctBoundDiscard``, ``sctUniformRandomDiscard``, and + ``sctWeightedRandomDiscard``. * (:issue:`90`) Discarding variants of the testing functions: - * ``Test.DejaFu.dejafuDiscard`` - * ``Test.DejaFu.dejafuDiscardIO`` + * ``Test.DejaFu.dejafuDiscard`` + * ``Test.DejaFu.dejafuDiscardIO`` * (:issue:`90`) ``Test.DejaFu.Defaults.defaultDiscarder``. @@ -1439,13 +1466,12 @@ Added * Smart constructors for ``Test.DejaFu.SCT.Way`` (also re-exported from ``Test.DejaFu``): - * ``Test.DejaFu.SCT.systematically``, like the old - ``Systematically``. - * ``Test.DejaFu.SCT.randomly``, like the old ``Randomly``. - * ``Test.DejaFu.SCT.uniformly``, a new uniform (as opposed to - weighted) random scheduler. - * ``Test.DejaFu.SCT.swarmy``, like the old ``Randomly`` but which - can use the same weights for multiple executions. + * ``Test.DejaFu.SCT.systematically``, like the old ``Systematically``. + * ``Test.DejaFu.SCT.randomly``, like the old ``Randomly``. + * ``Test.DejaFu.SCT.uniformly``, a new uniform (as opposed to weighted) random + scheduler. + * ``Test.DejaFu.SCT.swarmy``, like the old ``Randomly`` but which can use the + same weights for multiple executions. Changed ~~~~~~~ @@ -1463,8 +1489,8 @@ Removed * The ``Test.DejaFu.SCT.Way`` type is now abstract, so its constructors are no longer exported: - * ``Test.DejaFu.SCT.Systematically`` - * ``Test.DejaFu.SCT.Randomly`` + * ``Test.DejaFu.SCT.Systematically`` + * ``Test.DejaFu.SCT.Randomly`` * The ``Test.DejaFu.SCT.sctPreBound``, ``sctFairBound``, and ``sctLengthBound`` functions. @@ -1571,25 +1597,25 @@ Added * ``NFData`` instances for: - * ``Test.DejaFu.Result`` - * ``Test.DejaFu.Common.ThreadId`` - * ``Test.DejaFu.Common.CRefId`` - * ``Test.DejaFu.Common.MVarId`` - * ``Test.DejaFu.Common.TVarId`` - * ``Test.DejaFu.Common.IdSource`` - * ``Test.DejaFu.Common.ThreadAction`` - * ``Test.DejaFu.Common.Lookahead`` - * ``Test.DejaFu.Common.ActionType`` - * ``Test.DejaFu.Common.TAction`` - * ``Test.DejaFu.Common.Decision`` - * ``Test.DejaFu.Common.Failure`` - * ``Test.DejaFu.Common.MemType`` - * ``Test.DejaFu.SCT.Bounds`` - * ``Test.DejaFu.SCT.PreemptionBound`` - * ``Test.DejaFu.SCT.FairBound`` - * ``Test.DejaFu.SCT.LengthBound`` - * ``Test.DejaFu.SCT.Way`` - * ``Test.DejaFu.STM.Result`` + * ``Test.DejaFu.Result`` + * ``Test.DejaFu.Common.ThreadId`` + * ``Test.DejaFu.Common.CRefId`` + * ``Test.DejaFu.Common.MVarId`` + * ``Test.DejaFu.Common.TVarId`` + * ``Test.DejaFu.Common.IdSource`` + * ``Test.DejaFu.Common.ThreadAction`` + * ``Test.DejaFu.Common.Lookahead`` + * ``Test.DejaFu.Common.ActionType`` + * ``Test.DejaFu.Common.TAction`` + * ``Test.DejaFu.Common.Decision`` + * ``Test.DejaFu.Common.Failure`` + * ``Test.DejaFu.Common.MemType`` + * ``Test.DejaFu.SCT.Bounds`` + * ``Test.DejaFu.SCT.PreemptionBound`` + * ``Test.DejaFu.SCT.FairBound`` + * ``Test.DejaFu.SCT.LengthBound`` + * ``Test.DejaFu.SCT.Way`` + * ``Test.DejaFu.STM.Result`` * ``Eq``, ``Ord``, and ``Show`` instances for ``Test.DejaFu.Common.IdSource``. @@ -1661,8 +1687,8 @@ Added * Thread action and lookahead values for ``tryReadMVar``: - * ``Test.DejaFu.Common.TryReadMVar`` - * ``Test.DejaFu.Common.WillTryReadMVar`` + * ``Test.DejaFu.Common.TryReadMVar`` + * ``Test.DejaFu.Common.WillTryReadMVar`` * The testing-only ``Test.DejaFu.Conc.subconcurrency`` function. diff --git a/hunit-dejafu/CHANGELOG.rst b/hunit-dejafu/CHANGELOG.rst index eefd3bb..cae2d05 100644 --- a/hunit-dejafu/CHANGELOG.rst +++ b/hunit-dejafu/CHANGELOG.rst @@ -90,43 +90,47 @@ Added ~~~~~ * Re-exports for the ``Program`` types and their constructors: - * ``Test.HUnit.DejaFu.Program`` - * ``Test.HUnit.DejaFu.Basic`` - * ``Test.HUnit.DejaFu.ConcT`` - * ``Test.HUnit.DejaFu.ConcIO`` - * ``Test.HUnit.DejaFu.WithSetup`` - * ``Test.HUnit.DejaFu.WithSetupAndTeardown`` - * ``Test.HUnit.DejaFu.withSetup`` - * ``Test.HUnit.DejaFu.withTeardown`` - * ``Test.HUnit.DejaFu.withSetupAndTeardown`` + + * ``Test.HUnit.DejaFu.Program`` + * ``Test.HUnit.DejaFu.Basic`` + * ``Test.HUnit.DejaFu.ConcT`` + * ``Test.HUnit.DejaFu.ConcIO`` + * ``Test.HUnit.DejaFu.WithSetup`` + * ``Test.HUnit.DejaFu.WithSetupAndTeardown`` + * ``Test.HUnit.DejaFu.withSetup`` + * ``Test.HUnit.DejaFu.withTeardown`` + * ``Test.HUnit.DejaFu.withSetupAndTeardown`` * Re-exports for the ``Invariant`` type and its functions: - * ``Test.HUnit.DejaFu.Invariant`` - * ``Test.HUnit.DejaFu.registerInvariant`` - * ``Test.HUnit.DejaFu.inspectIORef`` - * ``Test.HUnit.DejaFu.inspectMVar`` - * ``Test.HUnit.DejaFu.inspectTVar`` + + * ``Test.HUnit.DejaFu.Invariant`` + * ``Test.HUnit.DejaFu.registerInvariant`` + * ``Test.HUnit.DejaFu.inspectIORef`` + * ``Test.HUnit.DejaFu.inspectMVar`` + * ``Test.HUnit.DejaFu.inspectTVar`` Changed ~~~~~~~ * Functions which took a ``ConcIO`` now take a ``Program pty IO``: - * ``Test.HUnit.DejaFu.testAuto`` - * ``Test.HUnit.DejaFu.testAutoWay`` - * ``Test.HUnit.DejaFu.testAutoWithSettings`` - * ``Test.HUnit.DejaFu.testDejafu`` - * ``Test.HUnit.DejaFu.testDejafuWay`` - * ``Test.HUnit.DejaFu.testDejafuWithSettings`` - * ``Test.HUnit.DejaFu.testDejafus`` - * ``Test.HUnit.DejaFu.testDejafusWay`` - * ``Test.HUnit.DejaFu.testDejafusWithSettings`` + + * ``Test.HUnit.DejaFu.testAuto`` + * ``Test.HUnit.DejaFu.testAutoWay`` + * ``Test.HUnit.DejaFu.testAutoWithSettings`` + * ``Test.HUnit.DejaFu.testDejafu`` + * ``Test.HUnit.DejaFu.testDejafuWay`` + * ``Test.HUnit.DejaFu.testDejafuWithSettings`` + * ``Test.HUnit.DejaFu.testDejafus`` + * ``Test.HUnit.DejaFu.testDejafusWay`` + * ``Test.HUnit.DejaFu.testDejafusWithSettings`` Removed ~~~~~~~ * The deprecated functions: - * ``Test.HUnit.DejaFu.testDejafuDiscard`` - * ``Test.HUnit.DejaFu.testDejafusDiscard`` + + * ``Test.HUnit.DejaFu.testDejafuDiscard`` + * ``Test.HUnit.DejaFu.testDejafusDiscard`` Miscellaneous ~~~~~~~~~~~~~ @@ -235,9 +239,9 @@ Miscellaneous * GHC 7.10 support is dropped. Dependency lower bounds are: - * :hackage:`base`: 4.9 - * :hackage:`dejafu`: 1.5 - * :hackage:`HUnit`: 1.3.1 + * :hackage:`base`: 4.9 + * :hackage:`dejafu`: 1.5 + * :hackage:`HUnit`: 1.3.1 * The upper bound on :hackage:`dejafu` is 1.6. @@ -289,9 +293,9 @@ Added * (:pull:`238`) Settings-based test functions: - * ``Test.HUnit.DejaFu.testAutoWithSettings`` - * ``Test.HUnit.DejaFu.testDejafuWithSettings`` - * ``Test.HUnit.DejaFu.testDejafusWithSettings`` + * ``Test.HUnit.DejaFu.testAutoWithSettings`` + * ``Test.HUnit.DejaFu.testDejafuWithSettings`` + * ``Test.HUnit.DejaFu.testDejafusWithSettings`` * (:pull:`238`) Re-export of ``Test.DejaFu.Settings``. diff --git a/tasty-dejafu/CHANGELOG.rst b/tasty-dejafu/CHANGELOG.rst index 2a76914..7317329 100644 --- a/tasty-dejafu/CHANGELOG.rst +++ b/tasty-dejafu/CHANGELOG.rst @@ -158,43 +158,47 @@ Added ~~~~~ * Re-exports for the ``Program`` types and their constructors: - * ``Test.Tasty.DejaFu.Program`` - * ``Test.Tasty.DejaFu.Basic`` - * ``Test.Tasty.DejaFu.ConcT`` - * ``Test.Tasty.DejaFu.ConcIO`` - * ``Test.Tasty.DejaFu.WithSetup`` - * ``Test.Tasty.DejaFu.WithSetupAndTeardown`` - * ``Test.Tasty.DejaFu.withSetup`` - * ``Test.Tasty.DejaFu.withTeardown`` - * ``Test.Tasty.DejaFu.withSetupAndTeardown`` + + * ``Test.Tasty.DejaFu.Program`` + * ``Test.Tasty.DejaFu.Basic`` + * ``Test.Tasty.DejaFu.ConcT`` + * ``Test.Tasty.DejaFu.ConcIO`` + * ``Test.Tasty.DejaFu.WithSetup`` + * ``Test.Tasty.DejaFu.WithSetupAndTeardown`` + * ``Test.Tasty.DejaFu.withSetup`` + * ``Test.Tasty.DejaFu.withTeardown`` + * ``Test.Tasty.DejaFu.withSetupAndTeardown`` * Re-exports for the ``Invariant`` type and its functions: - * ``Test.Tasty.DejaFu.Invariant`` - * ``Test.Tasty.DejaFu.registerInvariant`` - * ``Test.Tasty.DejaFu.inspectIORef`` - * ``Test.Tasty.DejaFu.inspectMVar`` - * ``Test.Tasty.DejaFu.inspectTVar`` + + * ``Test.Tasty.DejaFu.Invariant`` + * ``Test.Tasty.DejaFu.registerInvariant`` + * ``Test.Tasty.DejaFu.inspectIORef`` + * ``Test.Tasty.DejaFu.inspectMVar`` + * ``Test.Tasty.DejaFu.inspectTVar`` Changed ~~~~~~~ * Functions which took a ``ConcIO`` now take a ``Program pty IO``: - * ``Test.Tasty.DejaFu.testAuto`` - * ``Test.Tasty.DejaFu.testAutoWay`` - * ``Test.Tasty.DejaFu.testAutoWithSettings`` - * ``Test.Tasty.DejaFu.testDejafu`` - * ``Test.Tasty.DejaFu.testDejafuWay`` - * ``Test.Tasty.DejaFu.testDejafuWithSettings`` - * ``Test.Tasty.DejaFu.testDejafus`` - * ``Test.Tasty.DejaFu.testDejafusWay`` - * ``Test.Tasty.DejaFu.testDejafusWithSettings`` + + * ``Test.Tasty.DejaFu.testAuto`` + * ``Test.Tasty.DejaFu.testAutoWay`` + * ``Test.Tasty.DejaFu.testAutoWithSettings`` + * ``Test.Tasty.DejaFu.testDejafu`` + * ``Test.Tasty.DejaFu.testDejafuWay`` + * ``Test.Tasty.DejaFu.testDejafuWithSettings`` + * ``Test.Tasty.DejaFu.testDejafus`` + * ``Test.Tasty.DejaFu.testDejafusWay`` + * ``Test.Tasty.DejaFu.testDejafusWithSettings`` Removed ~~~~~~~ * The deprecated functions: - * ``Test.Tasty.DejaFu.testDejafuDiscard`` - * ``Test.Tasty.DejaFu.testDejafusDiscard`` + + * ``Test.Tasty.DejaFu.testDejafuDiscard`` + * ``Test.Tasty.DejaFu.testDejafusDiscard`` Miscellaneous ~~~~~~~~~~~~~ @@ -327,8 +331,8 @@ Miscellaneous * GHC 7.10 support is dropped. Dependency lower bounds are: - * :hackage:`base`: 4.9 - * :hackage:`dejafu`: 1.5 + * :hackage:`base`: 4.9 + * :hackage:`dejafu`: 1.5 * The upper bound on :hackage:`dejafu` is 1.6. @@ -368,9 +372,9 @@ Added * (:pull:`238`) Settings-based test functions: - * ``Test.Tasty.DejaFu.testAutoWithSettings`` - * ``Test.Tasty.DejaFu.testDejafuWithSettings`` - * ``Test.Tasty.DejaFu.testDejafusWithSettings`` + * ``Test.Tasty.DejaFu.testAutoWithSettings`` + * ``Test.Tasty.DejaFu.testDejafuWithSettings`` + * ``Test.Tasty.DejaFu.testDejafusWithSettings`` * (:pull:`238`) Re-export of ``Test.DejaFu.Settings``. @@ -611,8 +615,8 @@ Added * Orphan ``IsOption`` instance for ``Test.DejaFu.SCT.Way``. Command-line parameters are: - * "systematically": systematic testing with the default bounds - * "randomly": 100 executions with a fixed random seed + * "systematically": systematic testing with the default bounds + * "randomly": 100 executions with a fixed random seed Changed ~~~~~~~ @@ -670,9 +674,9 @@ Added * Orphan ``IsOption`` instances for ``Test.DejaFu.SCT.Bounds`` and ``MemType``. Command-line parameters are: - * "sc": sequential consistency - * "tso": total store order - * "pso": partial store order + * "sc": sequential consistency + * "tso": total store order + * "pso": partial store order * Re-export ``Test.DejaFu.SCT.Bounds``. @@ -687,8 +691,8 @@ Miscellaneous * Git: :tag:`tasty-dejafu-0.1.1.0` -**Note:** this was misnumbered (it should have been 0.2.1.0) *and* was - never pushed to Hackage, whoops! +**Note:** this was misnumbered (it should have been 0.2.1.0) *and* was never +pushed to Hackage, whoops! Miscellaneous ~~~~~~~~~~~~~