Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / buzden/idris2-summary-stat issues and pull requests
#20 - [ refactor ] Use external library for weak traversals
Pull Request -
State: closed - Opened by buzden 14 days ago
#19 - [ breaking, traversablest ] Improve `TraversableSt`
Pull Request -
State: closed - Opened by buzden 16 days ago
#18 - [ confidence ] Split computing bounds and calculating the result
Pull Request -
State: closed - Opened by buzden 17 days ago
Labels: enhancement
#17 - [ ci ] Switch to an appropriate pack collection when on bleeding edge
Pull Request -
State: closed - Opened by buzden about 2 months ago
#16 - [ feature request ] Be able to use `IO a`, of indeed any monadic `m a` as a supplier for a sequence of `a`s for coverage condition checker
Issue -
State: open - Opened by buzden 5 months ago
#15 - [ test ] Cleanup tests
Pull Request -
State: closed - Opened by buzden 7 months ago
#14 - [ refactor ] Move `invnormcdf` and impls to separate modules
Pull Request -
State: closed - Opened by buzden 8 months ago
#13 - [ refactor ] Export rough variant of the `invnormcdf`
Pull Request -
State: closed - Opened by buzden 8 months ago
#12 - [ cleanup ] Use standard proof of one used property
Pull Request -
State: closed - Opened by buzden 8 months ago
#11 - [ ci ] Update and optimise CI config, bump versions
Pull Request -
State: closed - Opened by buzden about 1 year ago
#10 - [ cleanup ] Get rid of `contrib` dependency
Pull Request -
State: closed - Opened by buzden about 1 year ago
#9 - [ revert ] Revert `Fin` back to `Subset Nat` due to performance problems
Pull Request -
State: closed - Opened by buzden about 1 year ago
Labels: bug
#8 - [ refactor ] Use `Fin` instead of `Subset Nat $ ... LT ...`
Pull Request -
State: closed - Opened by buzden about 1 year ago
#7 - [ test ] Use nicer tests runner layout after the upstream updates
Pull Request -
State: closed - Opened by buzden over 1 year ago
#6 - [ new ] Add a function for a single coverage check
Pull Request -
State: closed - Opened by buzden over 1 year ago
Labels: enhancement
#5 - [ upstream ] Adapt to recent extraction of bounded-double as a lib
Pull Request -
State: closed - Opened by buzden about 2 years ago
#4 - [ pack ] Test failures during generation of nightly require user interaction
Issue -
State: open - Opened by stefan-hoeck about 2 years ago
#3 - [ new, fix ] Use rough fitting instead of `believe_me` wider
Pull Request -
State: closed - Opened by buzden over 2 years ago
#2 - [ test, build ] Use universal tests runner
Pull Request -
State: closed - Opened by buzden over 2 years ago
#1 - [ fix + build ] Make tests work again + use `pack test` for tests running
Pull Request -
State: closed - Opened by buzden over 2 years ago