Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mit-plv/fiat issues and pull requests
#115 - Adapt to coq#19822
Pull Request -
State: closed - Opened by Tragicus 12 days ago
#100 - Test more versions of Coq
Pull Request -
State: closed - Opened by JasonGross about 1 year ago
#100 - Test more versions of Coq
Pull Request -
State: closed - Opened by JasonGross about 1 year ago
#99 - Bump etc/coq-scripts from `8b66ebe` to `3e0523e`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 2 comments
Labels: submodules
#99 - Bump etc/coq-scripts from `8b66ebe` to `3e0523e`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 2 comments
Labels: submodules
#98 - Bump etc/coq-scripts from `8b66ebe` to `bbe2c4c`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 4 comments
Labels: submodules
#98 - Bump etc/coq-scripts from `8b66ebe` to `bbe2c4c`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 4 comments
Labels: submodules
#97 - Bump etc/coq-scripts from `8b66ebe` to `8648113`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 4 comments
Labels: submodules
#96 - Bump etc/coq-scripts from `8ce1d5d` to `8b66ebe`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: submodules
#96 - Bump etc/coq-scripts from `8ce1d5d` to `8b66ebe`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: submodules
#95 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, github_actions
#95 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, github_actions
#94 - Adapt to Coq PR #17993 fixing Coq bug #12521 about simpl failing on mutual fixpoints with parameters
Pull Request -
State: closed - Opened by herbelin about 1 year ago
#94 - Adapt to Coq PR #17993 fixing Coq bug #12521 about simpl failing on mutual fixpoints with parameters
Pull Request -
State: closed - Opened by herbelin about 1 year ago
#93 - Adapt w.r.t. coq/coq#17955.
Pull Request -
State: closed - Opened by ppedrot over 1 year ago
- 2 comments
#93 - Adapt w.r.t. coq/coq#17955.
Pull Request -
State: closed - Opened by ppedrot over 1 year ago
- 2 comments
#92 - Bump etc/coq-scripts from `6e07fa2` to `8ce1d5d`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: submodules
#92 - Bump etc/coq-scripts from `6e07fa2` to `8ce1d5d`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: submodules
#91 - Bump coq-scripts, remove autogenerated files
Pull Request -
State: closed - Opened by JasonGross over 1 year ago
#91 - Bump coq-scripts, remove autogenerated files
Pull Request -
State: closed - Opened by JasonGross over 1 year ago
#90 - Adapt w.r.t. coq/coq#16910.
Pull Request -
State: closed - Opened by ppedrot almost 2 years ago
#90 - Adapt w.r.t. coq/coq#16910.
Pull Request -
State: closed - Opened by ppedrot almost 2 years ago
#89 - Adapt to coq/coq#16920
Pull Request -
State: closed - Opened by olaure01 about 2 years ago
#88 - Use Ubuntu 20.04
Pull Request -
State: closed - Opened by JasonGross about 2 years ago
#88 - Use Ubuntu 20.04
Pull Request -
State: closed - Opened by JasonGross about 2 years ago
#87 - Adapt w.r.t. coq/coq#16904.
Pull Request -
State: closed - Opened by ppedrot about 2 years ago
#87 - Adapt w.r.t. coq/coq#16904.
Pull Request -
State: closed - Opened by ppedrot about 2 years ago
#86 - Bump etc/coq-scripts from `153ac32` to `efae533`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
Labels: submodules
#86 - Bump etc/coq-scripts from `153ac32` to `efae533`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
Labels: submodules
#85 - Bump etc/coq-scripts from `1ed58e3` to `153ac32`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: submodules
#85 - Bump etc/coq-scripts from `1ed58e3` to `153ac32`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: submodules
#84 - Bump etc/coq-scripts from `1ed58e3` to `3711598`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 7 comments
Labels: submodules
#84 - Bump etc/coq-scripts from `1ed58e3` to `3711598`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 7 comments
Labels: submodules
#83 - Bump etc/coq-scripts from `1f0568f` to `1ed58e3`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
Labels: submodules
#83 - Bump etc/coq-scripts from `1f0568f` to `1ed58e3`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
Labels: submodules
#82 - Bump etc/coq-scripts from `e662395` to `1f0568f`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: submodules
#82 - Bump etc/coq-scripts from `e662395` to `1f0568f`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: submodules
#81 - Bump etc/coq-scripts from `e662395` to `9f77622`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: submodules
#81 - Bump etc/coq-scripts from `e662395` to `9f77622`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: submodules
#80 - Bump etc/coq-scripts from `e662395` to `642a22e`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: submodules
#80 - Bump etc/coq-scripts from `e662395` to `642a22e`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: submodules
#79 - Bump etc/coq-scripts from `5116cc9` to `e662395`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
Labels: submodules
#79 - Bump etc/coq-scripts from `5116cc9` to `e662395`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
Labels: submodules
#78 - Bump etc/coq-scripts from `5116cc9` to `69a526b`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#78 - Bump etc/coq-scripts from `5116cc9` to `69a526b`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#77 - Adapt w.r.t. coq/coq#16004.
Pull Request -
State: closed - Opened by ppedrot over 2 years ago
- 6 comments
#77 - Adapt w.r.t. coq/coq#16004.
Pull Request -
State: closed - Opened by ppedrot over 2 years ago
- 6 comments
#76 - improved auto goal selection
Pull Request -
State: closed - Opened by mrhaandi over 2 years ago
- 1 comment
#76 - improved auto goal selection
Pull Request -
State: closed - Opened by mrhaandi over 2 years ago
- 1 comment
#75 - Bump etc/coq-scripts from `d85c149` to `5116cc9`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#75 - Bump etc/coq-scripts from `d85c149` to `5116cc9`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: submodules
#74 - Update CI build targets
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
#74 - Update CI build targets
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
#73 - Bump etc/coq-scripts from `7e68a28` to `3ad4791`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: submodules
#73 - Bump etc/coq-scripts from `7e68a28` to `3ad4791`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: submodules
#72 - Adapt w.r.t. coq/coq#16099.
Pull Request -
State: closed - Opened by ppedrot over 2 years ago
- 6 comments
#72 - Adapt w.r.t. coq/coq#16099.
Pull Request -
State: closed - Opened by ppedrot over 2 years ago
- 6 comments
#71 - Bump etc/coq-scripts from `7e68a28` to `0ca86bb`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: submodules
#71 - Bump etc/coq-scripts from `7e68a28` to `0ca86bb`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: submodules
#70 - Bump etc/coq-scripts from `3be05c7` to `7e68a28`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
Labels: submodules
#70 - Bump etc/coq-scripts from `3be05c7` to `7e68a28`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
Labels: submodules
#69 - Adapt to https://github.com/coq/coq/pull/15754
Pull Request -
State: closed - Opened by proux01 over 2 years ago
- 2 comments
#69 - Adapt to https://github.com/coq/coq/pull/15754
Pull Request -
State: closed - Opened by proux01 over 2 years ago
- 2 comments
#68 - Adapt to coq/coq#15802
Pull Request -
State: closed - Opened by proux01 over 2 years ago
- 2 comments
#68 - Adapt to coq/coq#15802
Pull Request -
State: closed - Opened by proux01 over 2 years ago
- 2 comments
#67 - Bump actions/checkout from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies, github_actions
#67 - Bump actions/checkout from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies, github_actions
#66 - Fix adaptation to coq/coq#15220 (`sed` typoed to `set`)
Pull Request -
State: closed - Opened by SkySkimmer almost 3 years ago
- 4 comments
#66 - Fix adaptation to coq/coq#15220 (`sed` typoed to `set`)
Pull Request -
State: closed - Opened by SkySkimmer almost 3 years ago
- 4 comments
#65 - Bump etc/coq-scripts from `e55edc0` to `3be05c7`
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
Labels: submodules
#65 - Bump etc/coq-scripts from `e55edc0` to `3be05c7`
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
Labels: submodules
#64 - Bump etc/coq-scripts from `e55edc0` to `c34a5e9`
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 2 comments
Labels: submodules
#64 - Bump etc/coq-scripts from `e55edc0` to `c34a5e9`
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 2 comments
Labels: submodules
#63 - Adapt w.r.t. coq/coq#15327.
Pull Request -
State: closed - Opened by ppedrot almost 3 years ago
- 1 comment
#63 - Adapt w.r.t. coq/coq#15327.
Pull Request -
State: closed - Opened by ppedrot almost 3 years ago
- 1 comment
#62 - adapt to coq/coq#15220
Pull Request -
State: closed - Opened by gares almost 3 years ago
- 4 comments
#61 - Prepare for 8.16
Pull Request -
State: closed - Opened by SkySkimmer about 3 years ago
#61 - Prepare for 8.16
Pull Request -
State: closed - Opened by SkySkimmer about 3 years ago
#60 - [CI] Update Coq versions
Pull Request -
State: closed - Opened by JasonGross about 3 years ago
#60 - [CI] Update Coq versions
Pull Request -
State: closed - Opened by JasonGross about 3 years ago
#59 - Adapt w.r.t. coq/coq#15159.
Pull Request -
State: closed - Opened by ppedrot about 3 years ago
- 1 comment
#59 - Adapt w.r.t. coq/coq#15159.
Pull Request -
State: closed - Opened by ppedrot about 3 years ago
- 1 comment
#58 - Adapt to coq/coq#14986 (setoid_rewrite nondep assumptions under binders)
Pull Request -
State: closed - Opened by SkySkimmer about 3 years ago
#58 - Adapt to coq/coq#14986 (setoid_rewrite nondep assumptions under binders)
Pull Request -
State: closed - Opened by SkySkimmer about 3 years ago
#57 - Adapt to coq/coq#14819
Pull Request -
State: closed - Opened by proux01 about 3 years ago
#57 - Adapt to coq/coq#14819
Pull Request -
State: closed - Opened by proux01 about 3 years ago
#56 - Update coq-script submodule
Pull Request -
State: closed - Opened by proux01 about 3 years ago
#56 - Update coq-script submodule
Pull Request -
State: closed - Opened by proux01 about 3 years ago
#55 - Adapt to coq/coq#14705 (hints.ml has its own locality type instead of reusing option locality)
Pull Request -
State: closed - Opened by SkySkimmer over 3 years ago
- 1 comment
#55 - Adapt to coq/coq#14705 (hints.ml has its own locality type instead of reusing option locality)
Pull Request -
State: closed - Opened by SkySkimmer over 3 years ago
- 1 comment
#54 - Adapt w.r.t. coq/coq#14684
Pull Request -
State: closed - Opened by ppedrot over 3 years ago
- 4 comments
#54 - Adapt w.r.t. coq/coq#14684
Pull Request -
State: closed - Opened by ppedrot over 3 years ago
- 4 comments
#53 - Speed up morphism search of setoid-rewrite
Pull Request -
State: closed - Opened by mattam82 over 3 years ago
- 10 comments
#53 - Speed up morphism search of setoid-rewrite
Pull Request -
State: closed - Opened by mattam82 over 3 years ago
- 10 comments
#52 - Backwards compatible fix for pr 13969: perf issues with setoid-rewrite
Pull Request -
State: closed - Opened by mattam82 over 3 years ago
#52 - Backwards compatible fix for pr 13969: perf issues with setoid-rewrite
Pull Request -
State: closed - Opened by mattam82 over 3 years ago
#51 - Split off v8.14 files for https://github.com/mit-plv/fiat/pull/50
Pull Request -
State: closed - Opened by JasonGross over 3 years ago
#50 - ML code compatibility for Coq PR # 6285
Pull Request -
State: closed - Opened by mattam82 over 3 years ago
- 6 comments
#49 - Hopefully compat with coq/coq#13741: remove omega
Pull Request -
State: closed - Opened by JasonGross over 3 years ago
#49 - Hopefully compat with coq/coq#13741: remove omega
Pull Request -
State: closed - Opened by JasonGross over 3 years ago