All Versions
20
Latest Version
Avg Release Cycle
65 days
Latest Release
-

Changelog History
Page 2

  • v0.7.6 Changes

    October 16, 2018
    • โž• Add experimental Test.LeanCheck.Generic module with automatic derivation of Listable instances through GHC.Generics;
    • ๐Ÿ‘Œ Improve Haddock documentation.
  • v0.7.5 Changes

    September 25, 2018
    • ๐Ÿ›  Fix tests on systems with case-insensitive filesystems, like:
      • Windows;
      • Mac OS;
    • ๐Ÿ›  Fix tests on GHC 8.6.

    ๐Ÿš€ This release fixes just the tests of LeanCheck itself. The LeanCheck library is otherwise unaffected.

  • v0.7.4 Changes

    September 08, 2018
    • โž• Add list of providers on README;
    • Minor fix in haddock.
  • v0.7.3 Changes

    August 26, 2018
    • ๐Ÿ›  Fix bug: add missing Hugs backport file to source distribution (GHC users were not affected by this);
    • ๐Ÿ‘Œ Improve tests so I don't forget to include files in the source distribution (cabal sdist) again.
  • v0.7.2 Changes

    • ๐Ÿ“š Significantly improve documentation;
    • โœ… Slightly improve tests.
  • v0.7.1 Changes

    • LeanCheck now works on Hugs-200607 (only minor changes were needed);
    • โœ… Implement functions that calculate statistics: Test.LeanCheck.Stats;
    • More stuff on Utils: rational, okNum;
    • ๐Ÿ‘Œ Improve tests;
    • ๐Ÿ‘Œ Improve build scripts;
    • ๐Ÿ›  Minor assorted fixes.
  • v0.7.0 Changes

    • ๐Ÿ‘Œ Improved cabal file;
    • ๐Ÿ“ฆ Cabal package now has all files checked in on git repo;
    • โž• Add functions to compute Listable statistics (and some stubs);
    • ๐Ÿ‘Œ Improve tests;
    • ๐Ÿ”จ Code improvements (refactoring).
  • v0.6.7 Changes

    ๐Ÿ— The only change in relation to v0.6.6 is a fixed build on Travis (the reference output files were outdated). The code of the tool is otherwise unchanged.

  • v0.6.6 Changes

    • ๐Ÿ‘Œ Improve showing of functional counter-examples.
  • v0.6.5 Changes

    • โœ… Export ordering from 'Test.LeanCheck.TypeBinding';
    • ๐Ÿ‘Œ Improve documentation;
    • ๐Ÿ‘Œ Improve tests.

    Earlier versions

    Please refer to the git commit history.