All Versions
Latest Version
Avg Release Cycle
65 days
Latest Release
573 days ago

Changelog History
Page 1

  • v0.9.3 Changes

    March 29, 2020
    • ๐Ÿ‘Œ improve Haddock documentation
    • ๐Ÿ‘‰ use consistent code format
    • ๐Ÿ‘Œ improve CI scripts and Makefile
  • v0.9.2 Changes

    March 22, 2020
    • โœ… rename most functions on Test.LeanCheck.Utils.Operators; deprecated names are provided;
    • ๐Ÿ‘Œ improve documentation:
      • 100% haddock coverage;
      • LeanCheck memory usage thoroughly documented;
    • implement stub function conditionStatsT;
    • ๐Ÿ‘Œ improve function display on Test.LeanCheck.Function.*;
    • ๐Ÿ›  fix some compiler warnings (newer GHC);
    • ๐Ÿ‘Œ improve build scripts;
    • ๐Ÿ‘Œ improve tests;
    • โšก๏ธ update tests scripts to support the new cabal (test/sdist).
  • v0.9.1 Changes

    February 07, 2019
    • ๐Ÿ›  fix bug in genericTiers where using it bound to a recursive datatype could cause an infinite loop;
    • ๐Ÿ“š minor improvements in documentation and tests.
  • v0.9.0 Changes

    January 17, 2019
    • logo for LeanCheck;
    • Listable instances to most types in the Haskell 2010 Language Report:
      • Word<n>;
      • Int<n>;
      • Complex;
      • etc...;
    • ๐Ÿ“š minor improvements in documentation and README.
  • v0.8.0 Changes

    November 18, 2018
    • export tiersFractional from Core and main module;
    • ๐Ÿ‘Œ improve Listable instance for Floats and Doubles;
    • ๐Ÿ‘Œ improve Show instance for functions;
    • ๐Ÿ‘Œ improve Haddock documentation;
    • โœ‚ remove experimental function enumeration modules, in favour of the working ListsOfPairs enumeration;
    • โž• add special String and Char types to Utils.Types;
    • ๐Ÿ›  fix bug in the Natural type of the Utils.Types modules;
    • ๐Ÿ‘ฎ force non-negativity in Natural and Nat types from Utils.Types;
    • ๐Ÿ“‡ rename some exported symbols in the ShowFunction module;
    • ๐Ÿ‘Œ improve tests of LeanCheck itself.
  • v0.7.7 Changes

    October 18, 2018
    • โž• Add a file with the contents of git tag annotations: git tag -ln99.
  • 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.