mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-12-29 00:22:38 +03:00
Rewrite tasty-dejafu changelog
This commit is contained in:
Michael Walker
parent
4181a9dab6
commit
481bf1eca6
@ -1 +0,0 @@
|
||||
../tasty-dejafu/CHANGELOG.markdown
|
||||
1
doc/changelog_tasty-dejafu.rst
Symbolic link
1
doc/changelog_tasty-dejafu.rst
Symbolic link
@ -0,0 +1 @@
|
||||
../tasty-dejafu/CHANGELOG.rst
|
||||
@ -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
|
||||
311
tasty-dejafu/CHANGELOG.rst
Normal file
311
tasty-dejafu/CHANGELOG.rst
Normal file
@ -0,0 +1,311 @@
|
||||
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.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.
|
||||
@ -20,7 +20,7 @@ maintainer: mike@barrucadu.co.uk
|
||||
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
|
||||
|
||||
Loading…
Reference in New Issue
Block a user