Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / plclub/lngen issues and pull requests
#10 - Put back generating close definitions
Pull Request -
State: closed - Opened by ionathanch about 1 month ago
- 1 comment
#9 - Fix ott link in README
Pull Request -
State: closed - Opened by slanterns 8 months ago
- 1 comment
#8 - GitHub Actions
Pull Request -
State: closed - Opened by liyishuai 12 months ago
#7 - Fix several invalid links in README.md
Pull Request -
State: closed - Opened by slanterns about 1 year ago
- 1 comment
#6 - Support for phantom grammar rules and option to suppress the Set version of local closure
Pull Request -
State: closed - Opened by yiyunliu over 1 year ago
- 1 comment
#5 - Updates for Coq v8.13.2
Pull Request -
State: closed - Opened by k4rtik over 3 years ago
- 1 comment
#4 - Generated infrastructure has incomplete proofs
Issue -
State: closed - Opened by b-studios about 4 years ago
- 7 comments
#3 - Update installation instructions?
Issue -
State: closed - Opened by rjraya over 4 years ago
- 1 comment
#2 - Using stack
Pull Request -
State: closed - Opened by zjhmale about 8 years ago
- 1 comment
#1 - Update and rename README.txt to README.md
Pull Request -
State: closed - Opened by liyishuai about 8 years ago
- 1 comment