rudymatela/leancheck issues and pull requests

#23 - remove CI hack

Pull Request - State: closed - Opened by rudymatela about 1 year ago
Labels: enhancement

#22 - please add instance Listable Numeric.Natural

Issue - State: open - Opened by jwaldmann over 1 year ago - 1 comment

#21 - instance Listable Data.Void.Void

Issue - State: closed - Opened by jwaldmann almost 2 years ago - 1 comment
Labels: enhancement

#20 - CI: test with GHC 9.2

Pull Request - State: closed - Opened by wolverian almost 2 years ago - 6 comments

#19 - "(exhausted)" is printed late?

Issue - State: closed - Opened by jwaldmann about 2 years ago - 1 comment

#18 - Define `resultsWithErrors` and such, with `Either String ()` rather than mere `Bool`.

Pull Request - State: closed - Opened by strake over 3 years ago - 1 comment

#17 - possible memory leak

Issue - State: closed - Opened by bfrk over 4 years ago - 2 comments

#16 - expose the Monad instance for the return type of tiers

Issue - State: open - Opened by bfrk over 4 years ago - 2 comments

#15 - Document limitation: intense memory use

Issue - State: closed - Opened by JonasDuregard about 5 years ago - 20 comments
Labels: wontfix, documentation

#14 - fairer enumerations?

Issue - State: open - Opened by jwaldmann about 5 years ago - 4 comments

#13 - how to find out what test failed?

Issue - State: closed - Opened by jwaldmann about 5 years ago - 2 comments

#12 - genericTiers is broken for recursive types (missing addWeight somewhere?)

Issue - State: closed - Opened by jwaldmann over 5 years ago - 3 comments
Labels: bug

#11 - doc/tutorial: add hedgehog

Pull Request - State: closed - Opened by moodmosaic over 5 years ago - 1 comment

#10 - haddock: remove trailing punctuation marks

Pull Request - State: closed - Opened by moodmosaic over 5 years ago

#9 - Tutorial: Insufficient properties for correct sort implementation

Issue - State: closed - Opened by csternagel over 5 years ago - 1 comment
Labels: documentation

#8 - Please add Changelog

Issue - State: closed - Opened by jwaldmann over 5 years ago - 2 comments
Labels: enhancement, documentation

#7 - Two test.hs files

Issue - State: closed - Opened by arianvp almost 6 years ago - 2 comments
Labels: bug

#6 - Add mapCons or mapsOf (or something similar).

Issue - State: closed - Opened by rudymatela over 6 years ago - 1 comment
Labels: enhancement

#5 - Make the check* family of functions exit as soon as a counterexample is found

Issue - State: closed - Opened by rudymatela over 6 years ago - 1 comment
Labels: bug, enhancement

#4 - Small counterexample found by Hedgehog but not by LeanCheck

Issue - State: closed - Opened by barrucadu over 6 years ago - 5 comments
Labels: question

Ecosyste.ms: Issues

GitHub / rudymatela/leancheck issues and pull requests