Version 0.5.3 (2018-03-12)

• Add Semigroup and Monoid instances for GenT that lift the inner Monoid (#156, @andrewthad)
• Gen.unicode no longer generates non-characters (#154, @johnchandlerburnham)
• Documentation improvements (#162, @fisx)
• Documentation fixes (#157, @dredozubov)

Version 0.5.2 (2018-02-05)

• Add doc explaining use of withTests 1 (#134, @chris-martin)
• Explicitly define Semigroup instance for Summary (#142, @gwils)
• Depend on semigroups (#140, @LightAndLight)
• Support transformers-0.4 (#150, @gwils)

Version 0.5.1 (2017-12-06)

• Only invoke setNumCapabilities when using the -threaded runtime (#130, @ekmett)
• Correct mixGamma oddness check (#124, @markhibberd)

Version 0.5 (2017-07-16)

• Parallel state machine testing, allows detection of commands which are not-atomic (#98, @jystic)
• Easier to use variables for state machine testing (#94, @jystic)
• MonadGen class allows the use of transformers like ReaderT and StateT on the outside of generators (#99, @jystic)
• Better error messages for tests which throw exceptions (#95, @jystic)
• Separated test input generation and assertions in to PropertyT and TestT respectively, this allows TestT to have a MonadBaseControl instance (#96, @jystic)
• This document grew links to the pull requests which introduced various changes (#93, @moodmosaic)

Version 0.4.1 (2017-06-28)

• Fixed runtime type error that could occur when shrinking state machine commands (#91, @jystic)

Version 0.4 (2017-06-28)

• Abstract state machine testing, check out the Tim Humphries' great blog post or the process registry example to see how it works (#89, @jystic)
• liftCatch, liftCatchIO, withCatch functions for isolating exceptions during tests (#89, @jystic)

Version 0.3 (2017-06-11)

• Exponential range combinators (#43, @chris-martin)
• Roundtrip example, check out the blog post (#85, @thumphries)
• tripping now displays intermediate value (#85, @jystic)
• distribute function for pulling a transformer out to the top level (#83, @jystic)
• withExceptT function for executing tests with an inner ExceptT (e.g. Test (ExceptT x m) a) (#83, @jystic)

Version 0.2.2 (2017-05-16)

• Fixed scope of unicode character generators (#76, @moodmosaic)
• Widen version bounds for some dependencies (#80, @amarpotghan)
• Expose test modules to fix build on nix / hydra (#78, @amarpotghan)
• Fixes for GHC 8.2 RC2 (#77, @erikd)

Version 0.2.1 (2017-05-09)

• Added ascii, latin1, unicode character generators (#73, @jystic)

Version 0.2 (2017-05-06)

• Added a quiet test runner which can be activated by setting HEDGEHOG_VERBOSITY=0 (@jystic)
• Concurrent test runner does not display tests until they are executing (@jystic)
• Test runner now outputs a summary of how many successful / failed tests were run (@jystic)
• checkSequential and checkParallel now allow for tests to be run without Template Haskell (@jystic)
• Auto-discovery of properties is now available via discover instead of being baked in (@jystic)
• annotate allows source code to be annotated inline with extra information (@jystic)
• forAllWith can be used to generate values without a Show instance (@jystic)
• Removed uses of Typeable to allow for generating types which cannot implement it (@jystic)