Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leepike/SmartCheck issues and pull requests
#14 - fix #9 missing SubTypes instance
Pull Request -
State: open - Opened by kwibus almost 7 years ago
#13 - Wrong generalization for the overflow example (PaperExample1)
Issue -
State: open - Opened by rudymatela almost 7 years ago
#12 - Counter-example too general (includes incorrect counter-examples)
Issue -
State: open - Opened by rudymatela almost 7 years ago
#11 - Only activate existential sub-value generalization when there is more than one constructor
Issue -
State: open - Opened by rudymatela almost 7 years ago
#10 - Bug/regression: no counter-example for `\xs -> nub xs == (xs :: [Int])`
Issue -
State: closed - Opened by rudymatela almost 7 years ago
- 3 comments
#9 - SmartCheck not compiling with GHC 8.0.2 or QuickCheck 2.10.*
Issue -
State: closed - Opened by rudymatela almost 7 years ago
- 3 comments
#8 - README: Small changes and corrections
Pull Request -
State: closed - Opened by markus1189 over 8 years ago
- 1 comment
#7 - SmartCheck fails to compile against QuickCheck 2.8
Issue -
State: closed - Opened by gridaphobe about 9 years ago
- 1 comment
#6 - Support custom QuickCheck generators
Issue -
State: open - Opened by gridaphobe about 9 years ago
- 1 comment
#5 - Bug in SmartCheck pretty printer
Issue -
State: closed - Opened by rudymatela almost 10 years ago
- 5 comments
#4 - fix small typo in readme
Pull Request -
State: closed - Opened by tavisrudd over 10 years ago
- 1 comment
#3 - Upload to Hackage
Issue -
State: closed - Opened by mkscrg almost 11 years ago
- 2 comments
#2 - Shrinking base types
Issue -
State: open - Opened by leepike over 11 years ago
Labels: enhancement
#1 - Results of proof reading.
Pull Request -
State: closed - Opened by sw17ch almost 12 years ago
- 1 comment