Skip to content
This repository

Jun 29, 2013

  1. Roman Cheplyaka

    Release 1.0.3

    authored
  2. Roman Cheplyaka

    Fix rs depth for altsN. Fixes #19

    authored
  3. Roman Cheplyaka

    Comment

    authored
  4. Roman Cheplyaka

    Better depth check

    authored
  5. Roman Cheplyaka

    Relax class constraints

    authored

Jun 04, 2013

  1. Roman Cheplyaka

    Added Safe Haskell annotations

    Fixes #20
    authored

Mar 12, 2013

  1. Roman Cheplyaka

    1.0.2

    authored
  2. Roman Cheplyaka

    Decrease depth at generic constructor application

    (and not at U1)
    authored

Feb 20, 2013

  1. Roman Cheplyaka

    Remove Monad constraints where they are implied by other constraints

    As suggested by illissius@reddit
    authored

Feb 19, 2013

  1. Roman Cheplyaka

    Release 1.0.1

    authored
  2. Roman Cheplyaka

    Re-implement modifyIORef'

    authored
  3. Roman Cheplyaka

    Correct tf-sc version

    authored
  4. Roman Cheplyaka

    Show instances for wrappers

    authored
  5. Roman Cheplyaka

    Update git tags

    authored
  6. Roman Cheplyaka

    Update changelog

    authored
  7. Roman Cheplyaka

    tf-smallcheck: pretty-print the error message

    authored
  8. Roman Cheplyaka

    Add some docs

    authored
  9. Roman Cheplyaka

    Fix various warnings

    authored
  10. Roman Cheplyaka

    Document NonNegative

    authored
  11. Roman Cheplyaka

    Update test-framework-smallcheck.cabal

    authored
  12. Roman Cheplyaka

    Bump version, update changelog

    authored
  13. Roman Cheplyaka

    Clarify the docs (context vs changeDepth)

    authored
  14. Roman Cheplyaka

    Rename withDepth to changeDepth

    authored
  15. Roman Cheplyaka

    Update test.hs

    authored
  16. Roman Cheplyaka

    Update tf-smallcheck

    authored
  17. Roman Cheplyaka

    Export test from Drivers

    authored
  18. Roman Cheplyaka

    Do not invoke the test hook in the antecedent

    authored
  19. Roman Cheplyaka

    Update ==> documentation

    authored
  20. Roman Cheplyaka

    Do not export N, Nat, Natural

    authored

Feb 18, 2013

  1. Roman Cheplyaka

    Change Drivers module description

    authored
  2. Roman Cheplyaka

    Hide Test.SmallCheck.Property

    authored
  3. Roman Cheplyaka

    Export more Property stuff from Drivers

    authored
  4. Roman Cheplyaka

    Drivers: no prune

    authored
  5. Roman Cheplyaka

    Remove property

    authored
  6. Roman Cheplyaka

    Export PropertyFailure and ppFailure from Drivers

    authored
Something went wrong with that request. Please try again.