Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq-community/qarith-stern-brocot issues and pull requests
#19 - fix Arith-related deprecations, notably for even-odd
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#19 - fix Arith-related deprecations, notably for even-odd
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#18 - port to Coq 8.18 and later
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#18 - port to Coq 8.18 and later
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#17 - adjust CI for 8.15, fix some deprecations in master
Pull Request -
State: closed - Opened by palmskog about 3 years ago
#17 - adjust CI for 8.15, fix some deprecations in master
Pull Request -
State: closed - Opened by palmskog about 3 years ago
#16 - use Dune in repo opam packages, use Nix CI
Pull Request -
State: closed - Opened by palmskog over 3 years ago
#16 - use Dune in repo opam packages, use Nix CI
Pull Request -
State: closed - Opened by palmskog over 3 years ago
#15 - Naming fixes for 8.14 and later
Pull Request -
State: closed - Opened by palmskog over 3 years ago
#15 - Naming fixes for 8.14 and later
Pull Request -
State: closed - Opened by palmskog over 3 years ago
#14 - Fixes for 8.13
Pull Request -
State: closed - Opened by palmskog over 3 years ago
#13 - switch to GitHub Actions CI
Pull Request -
State: closed - Opened by palmskog about 4 years ago
#12 - reorganize files for maintainability
Pull Request -
State: closed - Opened by palmskog over 4 years ago
#11 - port to 8.11
Pull Request -
State: closed - Opened by palmskog over 4 years ago
#10 - Regenerate files from latest templates.
Pull Request -
State: closed - Opened by Zimmi48 over 4 years ago
- 2 comments
#9 - Opam package for compiling with Coq 8.10
Issue -
State: closed - Opened by herbelin about 5 years ago
- 6 comments
#8 - Extending rationalify_R_goal to support more variants of real constants.
Pull Request -
State: closed - Opened by herbelin about 5 years ago
#7 - update Makefile and generate files from templates
Pull Request -
State: closed - Opened by palmskog almost 6 years ago
#6 - update meta.yml with paper and regenerate from templates
Pull Request -
State: closed - Opened by palmskog about 6 years ago
#5 - Add opam file and other files generated from meta.yml
Pull Request -
State: closed - Opened by Zimmi48 about 6 years ago
- 1 comment
#4 - Fix deprecations
Pull Request -
State: closed - Opened by palmskog about 6 years ago
- 2 comments
#3 - Fix incomplete previous change to the Makefile.
Pull Request -
State: closed - Opened by Zimmi48 over 6 years ago
#2 - Introduce CI tests.
Pull Request -
State: closed - Opened by Zimmi48 over 6 years ago
- 4 comments
#1 - Port to Coq 8.9
Pull Request -
State: closed - Opened by Zimmi48 over 6 years ago
- 4 comments