tasty-dejafu 1.0.1.0 → 1.0.1.1
raw patch · 3 files changed
+327/−350 lines, 3 filesdep ~dejafuPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: dejafu
API changes (from Hackage documentation)
Files
- CHANGELOG.markdown +0/−346
- CHANGELOG.rst +323/−0
- tasty-dejafu.cabal +4/−4
− CHANGELOG.markdown
@@ -1,346 +0,0 @@-Release Notes-=============--All notable changes to this project will be documented in this file.--This project is versioned according to the [Package Versioning Policy](https://pvp.haskell.org), the-*de facto* standard Haskell versioning scheme.---1.0.1.0----------- **Date** 2018-02-13-- **Git tag** [tasty-dejafu-1.0.1.0][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-1.0.1.0--### Test.Tasty.DejaFu--- New `testDejafusDiscard` function (#195).--[tasty-dejafu-1.0.1.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-1.0.1.0---------------------------------------------------------------------------------------------------------1.0.0.1----------- **Date** 2018-01-09-- **Git tag** [tasty-dejafu-1.0.0.1][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-1.0.0.1--### Miscellaneous--- Bump upper bound of tasty to 1.1.--[tasty-dejafu-1.0.0.1]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-1.0.0.1---------------------------------------------------------------------------------------------------------1.0.0.0----------- **Date** 2017-12-23-- **Git tag** [tasty-dejafu-1.0.0.0][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-1.0.0.0--### Test.Tasty.DejaFu--- The `ConcST` functions have been removed and replaced by the `ConcIO` functions.-- The `IsTest` instance for `ConcST t (Maybe String)` is gone.-- All test functions are generalised to take a `ProPredicate`.-- All test functions now take the action to test as the last parameter.--### Miscellaneous--- The minimum supported version of dejafu is now 1.0.0.0.--[tasty-dejafu-1.0.0.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-1.0.0.0---------------------------------------------------------------------------------------------------------0.7.1.1----------- **Date** 2017-11-30-- **Git tag** [tasty-dejafu-0.7.1.1][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.7.1.1--### Test.Tasty.DejaFu--- Fix a missing `@since` annotation.--[tasty-dejafu-0.7.1.1]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.7.1.1---------------------------------------------------------------------------------------------------------0.7.1.0----------- **Date** 2017-11-30-- **Git tag** [tasty-dejafu-0.7.1.0][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.7.1.0--### Test.Tasty.DejaFu--- A new `testPropertyFor` function for checking refinement properties with a custom number of seed- values and variable assignments.--[tasty-dejafu-0.7.1.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.7.1.0---------------------------------------------------------------------------------------------------------0.7.0.3----------- **Date** 2017-11-02-- **Git tag** [tasty-dejafu-0.7.0.3][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.7.0.3--### Miscellaneous--- tasty-0.12 support--[tasty-dejafu-0.7.0.3]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.7.0.3---------------------------------------------------------------------------------------------------------0.7.0.2----------- **Date** 2017-10-11-- **Git tag** [tasty-dejafu-0.7.0.2][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.7.0.2--### Miscellaneous--- dejafu-0.9 support--[tasty-dejafu-0.7.0.2]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.7.0.2---------------------------------------------------------------------------------------------------------0.7.0.1----------- **Date** 2017-09-26-- **Git tag** [tasty-dejafu-0.7.0.1][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.7.0.1--### Miscellaneous--- dejafu-0.8 support--[tasty-dejafu-0.7.0.1]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.7.0.1---------------------------------------------------------------------------------------------------------0.7.0.0----------- **Date** 2017-08-10-- **Git tag** [tasty-dejafu-0.7.0.0][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.6.0.0--### Test.Tasty.DejaFu--- Two new functions: `testDejafuDiscard` and `testDejafuDiscardIO`, allowing you to selectively- discard results or traces.-- The `Discard` type and `defaultDiscarder` function from dejafu is now re-exported.--### Miscellaneous--- Lower version bound on dejafu raised to 0.7.1.0.--[tasty-dejafu-0.7.0.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.7.0.0---------------------------------------------------------------------------------------------------------0.6.0.0----------- **Date** 2017-04-08-- **Git tag** [tasty-dejafu-0.6.0.0][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.6.0.0--### Test.Tasty.DejaFu--- The refinement property testing functionality of dejafu is exposed in the new `testProperty`- function, and re-exported values.-- Due to changes in dejafu, the `Way` type is now abstract and exposes smart constructor functions:- - `systematically`, corresponding to the old `Systematically`.- - `randomly`, corresponding to the old `Randomly`.- - `uniformly`, a new uniform random (as opposed to weighted random) scheduler.- - `swarmy`, corresponding to the old `Randomly` and specifying how many executions to use the- same weights for.-- The `defaultWay`, `defaultMemType`, and `defaultBounds` values are all now re-exported.--### Miscellaneous--- Only dejafu 0.7 is supported.--[tasty-dejafu-0.6.0.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.6.0.0---------------------------------------------------------------------------------------------------------0.5.0.0----------- **Date** 2017-04-08-- **Git tag** [tasty-dejafu-0.5.0.0][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.5.0.0--### Test.Tasty.DejaFu--- Due to changes in dejafu, the `Way` type no longer takes a parameter; it is now a GADT.--### Miscellaneous--- There is now a changelog.-- Every definition and instance now has a Haddock "@since" annotation.-- Only dejafu 0.6 is supported.--[tasty-dejafu-0.5.0.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.5.0.0---------------------------------------------------------------------------------------------------------0.4.0.0----------- **Date** 2017-02-21-- **Git tag** [tasty-dejafu-0.4.0.0][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.4.0.0--### Test.Tasty.DejaFu--- All the functions which did take a `Bounds` now take a `Way` instead and support random scheduling- as well.-- The `Way` type from dejafu is now re-exported.-- The `IsOption` instance (and so corresponding command-line argument) for `Bounds` is gone.-- A new `IsOption` instance for `Way` (and so corresponding command-line argument):- - "systematically": systematic testing with the default bounds.- - "randomly": 100 executions with a fixed random seed.--### Miscellaneous--- The minimum supported version of dejafu has been increased to 0.5 (from 0.2)--[tasty-dejafu-0.4.0.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.4.0.0---------------------------------------------------------------------------------------------------------0.3.0.2----------- **Date** 2016-09-10-- **Git tag** [tasty-dejafu-0.3.0.2][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.3.0.2--### Miscellaneous--- Now supports concurrency 1.0.0.0 and dejafu 0.4.0.0--[tasty-dejafu-0.3.0.2]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.3.0.2---------------------------------------------------------------------------------------------------------0.3.0.1----------- **Date** 2016-05-26-- **Git tag** [tasty-dejafu-0.3.0.1][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.3.0.1--### Miscellaneous--- Now supports GHC 8.--[tasty-dejafu-0.3.0.1]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.3.0.1---------------------------------------------------------------------------------------------------------0.3.0.0----------- **Date** 2016-04-28-- **Git tag** [tasty-dejafu-0.3.0.0][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.3.0.0--### Test.Tasty.DejaFu--- New `IsTest` instances for `ConcST t (Maybe String)` and `ConcIO (Maybe String)`, with a `Just- String` result being a test failure with an error message.-- The `Bounds` type from dejafu is now re-exported.-- New `IsOption` instances for `Bounds` and `MemType`.-- New command-line parameter to set the `MemType` parameter:- - "sc": sequential consistency.- - "tso": total store order.- - "pso": partial store order.--### Miscellaneous--- Now supports dejafu 0.2 (again).--[tasty-dejafu-0.3.0.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.3.0.0---------------------------------------------------------------------------------------------------------0.1.1.0----------- **Date** 2016-04-03-- **Git tag** [tasty-dejafu-0.1.1.0][]-- **This version was never pushed to hackage, whoops!**--**This version was misnumbered! It should have been 0.2.1.0!**--### Miscellaneous--- Now supports dejafu 0.3, but drops support for dejafu 0.2.--[tasty-dejafu-0.1.1.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.1.1.0---------------------------------------------------------------------------------------------------------0.2.0.0----------- **Date** 2015-12-01-- **Git tag** [0.2.0.0][]-- **Hackage** https://hackage.haskell.org/package/tasty-dejafu-0.2.0.0--Initial release. Go read the API docs.--[0.2.0.0]: https://github.com/barrucadu/dejafu/releases/tag/0.2.0.0
+ CHANGELOG.rst view
@@ -0,0 +1,323 @@+Release Notes+=============++This project is versioned according to the PVP_, the *de facto*+standard Haskell versioning scheme.++.. _PVP: https://pvp.haskell.org/+++1.0.1.1 (2018-02-22)+--------------------++* Git: :tag:`tasty-dejafu-1.0.1.1`+* Hackage: :hackage:`tasty-dejafu-1.0.1.1`++Miscellaneous+~~~~~~~~~~~~~++* The upper bound on :hackage:`dejafu` is <1.2.+++1.0.1.0 (2018-02-13)+--------------------++* Git: :tag:`tasty-dejafu-1.0.1.0`+* Hackage: :hackage:`tasty-dejafu-1.0.1.0`++Added+~~~~~++* (:pull:`195`) ``Test.Tasty.DejaFu.testDejafusDiscard`` function.+++1.0.0.1 (2018-01-09)+--------------------++* Git: :tag:`tasty-dejafu-1.0.0.1`+* Hackage: :hackage:`tasty-dejafu-1.0.0.1`++Miscellaneous+~~~~~~~~~~~~~++* The upper bound on :hackage:`tasty` is <1.1.+++1.0.0.0 - The API Friendliness Release (2017-12-23)+---------------------------------------------------++* Git: :tag:`tasty-dejafu-1.0.0.0`+* Hackage: :hackage:`tasty-dejafu-1.0.0.0`++Added+~~~~~++* (:issue:`124`) Re-exports of ``Test.DejaFu.Predicate`` and+ ``ProPredicate``.++Changed+~~~~~~~++* All testing functions require ``MonadConc``, ``MonadRef``, and+ ``MonadIO`` constraints. Testing with ``ST`` is no longer possible.++* (:issue:`123`) All testing functions take the action to run as the+ final parameter.++* (:issue:`124`) All testing functions have been generalised to take a+ ``Test.DejaFu.ProPredicate`` instead of a ``Predicate``.++Removed+~~~~~~~++* The ``Test.DejaFu.Conc.ConcST`` specific functions.++* The orphan ``IsTest`` instance for ``Test.DejaFu.Conc.ConcST t+ (Maybe String)``.++Miscellaneous+~~~~~~~~~~~~~++* The version bounds on :hackage:`dejafu` are >=1.0 && <1.1.+++0.7.1.1 (2017-11-30)+--------------------++* Git: :tag:`tasty-dejafu-0.7.1.1`+* Hackage: :hackage:`tasty-dejafu-0.7.1.1`++Fixed+~~~~~++* A missing Haddock ``@since`` comments.+++0.7.1.0 (2017-11-30)+--------------------++* Git: :tag:`tasty-dejafu-0.7.1.0`+* Hackage: :hackage:`tasty-dejafu-0.7.1.0`++Added+~~~~~++* ``Test.Tasty.DejaFu.testPropertyFor`` function.+++0.7.0.3 (2017-11-02)+--------------------++* Git: :tag:`tasty-dejafu-0.7.0.3`+* Hackage: :hackage:`tasty-dejafu-0.7.0.3`++Miscellaneous+~~~~~~~~~~~~~++* The upper bound on :hackage:`tasty` is <0.13.+++0.7.0.2 (2017-10-11)+--------------------++* Git: :tag:`tasty-dejafu-0.7.0.2`+* Hackage: :hackage:`tasty-dejafu-0.7.0.2`++Miscellaneous+~~~~~~~~~~~~~++* The upper bound on :hackage:`dejafu` is <0.10.+++0.7.0.1 (2017-09-26)+--------------------++* Git: :tag:`tasty-dejafu-0.7.0.1`+* Hackage: :hackage:`tasty-dejafu-0.7.0.1`++Miscellaneous+~~~~~~~~~~~~~++* The upper bound on :hackage:`dejafu` is <0.9.+++0.7.0.0 - The Discard Release (2017-08-10)+------------------------------------------++* Git: :tag:`tasty-dejafu-0.7.0.0`+* Hackage: :hackage:`tasty-dejafu-0.6.0.0`++Added+~~~~~++* Re-export for ``Test.DejaFu.SCT.Discard`` and+ ``Test.DejaFu.Defaults.defaultDiscarder``.++* ``Test.Tasty.DejaFu.testDejafuDiscard`` and ``testDejafuDiscardIO``+ functions.++Miscellaneous+~~~~~~~~~~~~~++* The lower bound on :hackage:`dejafu` is >=0.7.1.+++0.6.0.0 - The Refinement Release (2017-04-08)+---------------------------------------------++* Git: :tag:`tasty-dejafu-0.6.0.0`+* Hackage: :hackage:`tasty-dejafu-0.6.0.0`++Added+~~~~~++* ``Test.Tasty.DejaFu.testProperty`` function++* Re-exports for ``Test.DejaFu.SCT.systematically``, ``randomly``,+ ``uniformly``, and ``swarmy``.++* Re-exports for ``Test.DejaFu.Defaults.defaultWay``,+ ``defaultMemType``, and ``defaultBounds``.++Removed+~~~~~~~++* Re-exports of the ``Test.DejaFu.SCT.Way`` constructors:+ ``Systematically`` and ``Randomly``.++Miscellaneous+~~~~~~~~~~~~~++* The version bounds on :hackage:`dejafu` are >=0.7 && <0.8.+++0.5.0.0 - The Way Release (2017-04-08)+--------------------------------------++* Git: :tag:`tasty-dejafu-0.5.0.0`+* Hackage: :hackage:`tasty-dejafu-0.5.0.0`++Changed+~~~~~~~++* Due to changes in :hackage:`dejafu`, the ``Way`` type no longer+ takes a parameter; it is now a GADT.++Miscellaneous+~~~~~~~~~~~~~++* Every definition, class, and instance now has a Haddock ``@since``+ annotation.++* The version bounds on :hackage:`dejafu` are >=0.6 && <0.7.+++0.4.0.0 (2017-02-21)+--------------------++* Git: :tag:`tasty-dejafu-0.4.0.0`+* Hackage: :hackage:`tasty-dejafu-0.4.0.0`++Added+~~~~~++* Re-export of ``Test.DejaFu.SCT.Way``.++* 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++Changed+~~~~~~~++* All the functions which took a ``Test.DejaFu.SCT.Bounds`` now take a+ ``Way``.++Miscellaneous+~~~~~~~~~~~~~++* The version bounds on :hackage:`dejafu` are >=0.5 && <0.6.++* Dependency on :hackage:`random` with bounds >=1.0 && <1.2.+++0.3.0.2 (2016-09-10)+--------------------++* Git: :tag:`tasty-dejafu-0.3.0.2`+* Hackage: :hackage:`tasty-dejafu-0.3.0.2`++Miscellaneous+~~~~~~~~~~~~~++* The upper bound on :hackage:`dejafu` is <0.5.+++0.3.0.1 (2016-05-26)+--------------------++* Git: :tag:`tasty-dejafu-0.3.0.1`+* Hackage: :hackage:`tasty-dejafu-0.3.0.1`++Miscellaneous+~~~~~~~~~~~~~+++* The lower bound on :hackage:`base` is >=4.8.++* The upper bound on :hackage:`dejafu` is <0.4.+++0.3.0.0 (2016-04-28)+--------------------++* Git: :tag:`tasty-dejafu-0.3.0.0`+* Hackage: :hackage:`tasty-dejafu-0.3.0.0`++Added+~~~~~++* Orphan ``IsTest`` instances for ``Test.DejaFu.Conc.ConcST t (Maybe+ String)`` and ``ConcIO (Maybe String)``.++* 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++* Re-export ``Test.DejaFu.SCT.Bounds``.++Miscellaneous+~~~~~~~~~~~~~++* The version bounds on :hackage:`dejafu` are >=0.2+++0.1.1.0 (2016-04-03)+--------------------++* 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!++Miscellaneous+~~~~~~~~~~~~~++* The version bounds on :hackage:`dejafu` are 0.3.*.+++0.2.0.0 - The Initial Release (2015-12-01)+------------------------------------------++* Git: :tag:`0.2.0.0`+* Hackage: :hackage:`tasty-dejafu-0.2.0.0`++Added+~~~~~++* Everything.
tasty-dejafu.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: tasty-dejafu-version: 1.0.1.0+version: 1.0.1.1 synopsis: Deja Fu support for the Tasty test framework. description:@@ -20,7 +20,7 @@ copyright: (c) 2015--2017 Michael Walker category: Testing build-type: Simple-extra-source-files: README.markdown CHANGELOG.markdown+extra-source-files: README.markdown CHANGELOG.rst cabal-version: >=1.10 source-repository head@@ -30,14 +30,14 @@ source-repository this type: git location: https://github.com/barrucadu/dejafu.git- tag: tasty-dejafu-1.0.1.0+ tag: tasty-dejafu-1.0.1.1 library exposed-modules: Test.Tasty.DejaFu -- other-modules: -- other-extensions: build-depends: base >=4.8 && <5- , dejafu >=1.0 && <1.1+ , dejafu >=1.0 && <1.2 , random >=1.0 && <1.2 , tagged >=0.8 && <0.9 , tasty >=0.10 && <1.1