Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / regehr/guided-tree-search issues and pull requests
#7 - Add WIP notes to keep all info in one place
Pull Request -
State: closed - Opened by Vsevolod-Livinskij over 1 year ago
#6 - Do we want to incorporate test-case reduction?
Issue -
State: open - Opened by DRMacIver about 3 years ago
Labels: design-question
#5 - incorporating feedback from coverage
Issue -
State: closed - Opened by regehr about 3 years ago
- 4 comments
#4 - Glossary of terms
Issue -
State: closed - Opened by DRMacIver about 3 years ago
- 11 comments
Labels: design-question
#3 - How do we handle unbounded generator depth?
Issue -
State: open - Opened by DRMacIver about 3 years ago
- 13 comments
Labels: design-question
#2 - How do we handle rejection sampling?
Issue -
State: open - Opened by DRMacIver about 3 years ago
- 1 comment
Labels: design-question
#1 - Is generation allowed to fail?
Issue -
State: open - Opened by DRMacIver about 3 years ago
Labels: design-question