The documentation of the latest developmental version is available online.
Bug reports, pull requests, and comments are very welcome!
Feel free to contact me on GitHub, through IRC (#haskell on freenode), or email (email@example.com).
All notable changes to this project will be documented in this file.
This project is versioned according to the Package Versioning Policy, the de facto standard Haskell versioning scheme.
0.5.0.0 [2017-04-08] (git tag: tasty-dejafu-0.5.0.0)
Due to changes in dejafu, the
Waytype no longer takes a parameter; it is now a GADT.
- There is now a changelog.
- Every definition and instance now has a Haddock "@since" annotation.
- Only dejafu 0.6 is supported.
0.4.0.0 [2017-02-21] (git tag: tasty-dejafu-0.4.0.0)
- All the functions which did take a
Boundsnow take a
Wayinstead and support random scheduling as well.
Waytype from dejafu is now re-exported.
IsOptioninstance (and so corresponding command-line argument) for
- A new
Way(and so corresponding command-line argument):
- "systematically": systematic testing with the default bounds.
- "randomly": 100 executions with a fixed random seed.
The minimum supported version of dejafu has been increased to 0.5 (from 0.2)
0.3.0.2 [2016-09-10] (git tag: tasty-dejafu-0.3.0.2)
Now supports concurrency 18.104.22.168 and dejafu 0.4.0.0
0.3.0.1 [2016-05-26] (git tag: tasty-dejafu-0.3.0.1)
Now supports GHC 8.
0.3.0.0 [2016-04-28] (git tag: tasty-dejafu-0.3.0.0)
ConcST t (Maybe String)and
ConcIO (Maybe String), with a
Just Stringresult being a test failure with an error message.
Boundstype from dejafu is now re-exported.
- New command-line parameter to set the
- "sc": sequential consistency.
- "tso": total store order.
- "pso": partial store order.
Now supports dejafu 0.2 (again).
0.1.1.0 [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!
Now supports dejafu 0.3, but drops support for dejafu 0.2.
0.2.0.0 [2015-12-01] (git tag: 0.2.0.0)
Initial release. Go read the API docs.