2017-04-07 20:16:08 +03:00
|
|
|
Release Notes
|
|
|
|
=============
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
All notable changes to this project will be documented in this file.
|
|
|
|
|
2017-04-07 20:16:08 +03:00
|
|
|
This project is versioned according to the [Package Versioning Policy](https://pvp.haskell.org), the
|
|
|
|
*de facto* standard Haskell versioning scheme.
|
|
|
|
|
|
|
|
|
|
|
|
unreleased
|
|
|
|
----------
|
|
|
|
|
2017-02-26 05:51:36 +03:00
|
|
|
### Test.Tasty.DejaFu
|
|
|
|
|
|
|
|
- Due to changes in dejafu, the `Way` type no longer takes a parameter; it is now a GADT.
|
|
|
|
|
2017-04-07 20:16:08 +03:00
|
|
|
### Miscellaneous
|
|
|
|
|
|
|
|
- There is now a changelog.
|
2017-04-08 21:51:09 +03:00
|
|
|
- Every definition and instance now has a Haddock "@since" annotation.
|
2017-04-07 20:16:08 +03:00
|
|
|
|
|
|
|
|
|
|
|
---------------------------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
0.4.0.0 [2017-02-21] (git tag: [tasty-dejafu-0.4.0.0][])
|
2017-04-07 20:16:08 +03:00
|
|
|
-------
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
https://hackage.haskell.org/package/tasty-dejafu-0.4.0.0
|
2017-04-07 20:16:08 +03:00
|
|
|
|
|
|
|
### 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)
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
[tasty-dejafu-0.4.0.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.4.0.0
|
|
|
|
|
2017-04-07 20:16:08 +03:00
|
|
|
|
|
|
|
---------------------------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
0.3.0.2 [2016-09-10] (git tag: [tasty-dejafu-0.3.0.2][])
|
2017-04-07 20:16:08 +03:00
|
|
|
-------
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
https://hackage.haskell.org/package/tasty-dejafu-0.3.0.2
|
2017-04-07 20:16:08 +03:00
|
|
|
|
|
|
|
### Miscellaneous
|
|
|
|
|
|
|
|
- Now supports concurrency 1.0.0.0 and dejafu 0.4.0.0
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
[tasty-dejafu-0.3.0.2]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.3.0.2
|
|
|
|
|
2017-04-07 20:16:08 +03:00
|
|
|
|
|
|
|
---------------------------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
0.3.0.1 [2016-05-26] (git tag: [tasty-dejafu-0.3.0.1][])
|
2017-04-07 20:16:08 +03:00
|
|
|
-------
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
https://hackage.haskell.org/package/tasty-dejafu-0.3.0.1
|
2017-04-07 20:16:08 +03:00
|
|
|
|
|
|
|
### Miscellaneous
|
|
|
|
|
|
|
|
- Now supports GHC 8.
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
[tasty-dejafu-0.3.0.1]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.3.0.1
|
|
|
|
|
2017-04-07 20:16:08 +03:00
|
|
|
|
|
|
|
---------------------------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
0.3.0.0 [2016-04-28] (git tag: [tasty-dejafu-0.3.0.0][])
|
2017-04-07 20:16:08 +03:00
|
|
|
-------
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
https://hackage.haskell.org/package/tasty-dejafu-0.3.0.0
|
2017-04-07 20:16:08 +03:00
|
|
|
|
|
|
|
### 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).
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
[tasty-dejafu-0.3.0.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.3.0.0
|
|
|
|
|
2017-04-07 20:16:08 +03:00
|
|
|
|
|
|
|
---------------------------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
0.1.1.0 [2016-04-03] (git tag: [tasty-dejafu-0.1.1.0][])
|
2017-04-07 20:16:08 +03:00
|
|
|
-------
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
**This version was never pushed to hackage, whoops!**
|
2017-04-07 20:16:08 +03:00
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
**This version was misnumbered! It should have been 0.2.1.0!**
|
2017-04-07 20:16:08 +03:00
|
|
|
|
|
|
|
### Miscellaneous
|
|
|
|
|
|
|
|
- Now supports dejafu 0.3, but drops support for dejafu 0.2.
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
[tasty-dejafu-0.1.1.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.1.1.0
|
|
|
|
|
2017-04-07 20:16:08 +03:00
|
|
|
|
|
|
|
---------------------------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
0.2.0.0 [2015-12-01] (git tag: [0.2.0.0][])
|
2017-04-07 20:16:08 +03:00
|
|
|
-------
|
|
|
|
|
2017-04-07 21:48:37 +03:00
|
|
|
https://hackage.haskell.org/package/tasty-dejafu-0.2.0.0
|
2017-04-07 20:16:08 +03:00
|
|
|
|
|
|
|
Initial release. Go read the API docs.
|
2017-04-07 21:48:37 +03:00
|
|
|
|
|
|
|
[0.2.0.0]: https://github.com/barrucadu/dejafu/releases/tag/0.2.0.0
|