Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / shapr/kudzu issues and pull requests
#13 - update hackage
Issue -
State: open - Opened by shapr about 1 year ago
#12 - quick, greasy hack to address #8
Pull Request -
State: closed - Opened by Rewbert about 1 year ago
#11 - report coverage after convergence?
Issue -
State: open - Opened by shapr about 1 year ago
#10 - split into core, hedgehog, leancheck, quickcheck?
Issue -
State: open - Opened by shapr about 1 year ago
#9 - report counterexample for LeanCheck failures
Pull Request -
State: closed - Opened by rudymatela about 1 year ago
- 1 comment
Labels: enhancement
#8 - QuickCheck driver always runs the same test
Issue -
State: closed - Opened by rudymatela about 1 year ago
- 4 comments
Labels: bug
#7 - Add a GitHub Actions CI script
Pull Request -
State: closed - Opened by rudymatela about 1 year ago
- 1 comment
Labels: enhancement
#6 - Link to haddock documentation from the README
Pull Request -
State: closed - Opened by rudymatela about 1 year ago
#5 - fix typo: "Samy" -> "Same"
Pull Request -
State: closed - Opened by rudymatela about 1 year ago
#4 - figure out how to find and read a mix file automagically
Issue -
State: open - Opened by shapr about 2 years ago
- 1 comment
#3 - figure out how to extract a tree structure from the mix file
Issue -
State: open - Opened by shapr about 2 years ago
#2 - test kudzu with kudzu, without an infinite loop of coverage
Issue -
State: open - Opened by shapr over 2 years ago
#1 - hook it up to trynocular
Issue -
State: open - Opened by shapr over 2 years ago