Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jasongross/coq-scripts issues and pull requests
#12 - Remove reference to Int31 in Grab88v819
Pull Request -
State: closed - Opened by Villetaneuse over 1 year ago
#12 - Remove reference to Int31 in Grab88v819
Pull Request -
State: closed - Opened by Villetaneuse over 1 year ago
#11 - Copied Int31 inside Grab88v819.v
Pull Request -
State: closed - Opened by Villetaneuse over 1 year ago
- 8 comments
#10 - Compatibility with Coq 8.17.
Pull Request -
State: closed - Opened by ppedrot over 2 years ago
- 2 comments
#9 - Adapt to https://github.com/coq/coq/pull/15754
Pull Request -
State: closed - Opened by proux01 almost 3 years ago
- 2 comments
#8 - Compatibility for Coq 8.16
Pull Request -
State: closed - Opened by SkySkimmer over 3 years ago
- 1 comment
#7 - Adapt to coq/coq#14819
Pull Request -
State: closed - Opened by proux01 over 3 years ago
- 1 comment
#6 - strictify-coqdep should not call python2
Issue -
State: closed - Opened by cpitclaudel over 5 years ago
- 4 comments
#5 - Change VectorDef to Vector to work around OCaml extraction issues
Pull Request -
State: closed - Opened by cpitclaudel about 6 years ago
- 2 comments
#4 - Use of VectorDef in compat files breaks extraction
Issue -
State: closed - Opened by cpitclaudel about 6 years ago
- 1 comment
#3 - detached head
Issue -
State: closed - Opened by mikeshulman over 7 years ago
#2 - strictify-coqdep.py should explicitly use python2
Issue -
State: closed - Opened by duxovni over 9 years ago
#1 - timing scripts should detect failure of 'git checkout'
Issue -
State: closed - Opened by mikeshulman about 10 years ago
- 2 comments