Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mit-plv/rupicola issues and pull requests
#130 - Adapt to https://github.com/coq/coq/pull/19530
Pull Request -
State: open - Opened by proux01 6 days ago
#100 - build(deps): bump bedrock2 from `7603637` to `ab6f7a1`
Pull Request -
State: closed - Opened by dependabot[bot] 8 months ago
- 2 comments
Labels: submodules
#100 - build(deps): bump bedrock2 from `7603637` to `ab6f7a1`
Pull Request -
State: closed - Opened by dependabot[bot] 8 months ago
- 2 comments
Labels: submodules
#99 - build(deps): bump bedrock2 from `8c4bcd7` to `7603637`
Pull Request -
State: closed - Opened by dependabot[bot] 8 months ago
Labels: submodules
#99 - build(deps): bump bedrock2 from `8c4bcd7` to `7603637`
Pull Request -
State: closed - Opened by dependabot[bot] 8 months ago
Labels: submodules
#98 - build(deps): bump bedrock2 from `8c4bcd7` to `a5a9d61`
Pull Request -
State: closed - Opened by dependabot[bot] 9 months ago
- 2 comments
Labels: submodules
#98 - build(deps): bump bedrock2 from `8c4bcd7` to `a5a9d61`
Pull Request -
State: closed - Opened by dependabot[bot] 9 months ago
- 2 comments
Labels: submodules
#97 - build(deps): bump bedrock2 from `8c4bcd7` to `65988d2`
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: submodules
#97 - build(deps): bump bedrock2 from `8c4bcd7` to `65988d2`
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: submodules
#96 - adapt to Coq/Coq#18164
Pull Request -
State: closed - Opened by Villetaneuse 10 months ago
#96 - adapt to Coq/Coq#18164
Pull Request -
State: closed - Opened by Villetaneuse 10 months ago
#95 - build(deps): bump bedrock2 from `f5b29c5` to `29e7fe9`
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 2 comments
Labels: submodules
#95 - build(deps): bump bedrock2 from `f5b29c5` to `29e7fe9`
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 2 comments
Labels: submodules
#94 - build(deps): bump bedrock2 from `f5b29c5` to `985199b`
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 3 comments
Labels: submodules
#94 - build(deps): bump bedrock2 from `f5b29c5` to `985199b`
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 3 comments
Labels: submodules
#93 - Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10
Issue -
State: closed - Opened by rtetley 12 months ago
- 1 comment
#93 - Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10
Issue -
State: closed - Opened by rtetley 12 months ago
- 1 comment
#92 - build(deps): bump bedrock2 from `b36804f` to `f5b29c5`
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
Labels: submodules
#92 - build(deps): bump bedrock2 from `b36804f` to `f5b29c5`
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
Labels: submodules
#91 - build(deps): bump bedrock2 from `b36804f` to `1640546`
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 2 comments
Labels: submodules
#91 - build(deps): bump bedrock2 from `b36804f` to `1640546`
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 2 comments
Labels: submodules
#90 - Adapt to coq/coq#17836 (sort poly) (update bedrock2)
Pull Request -
State: closed - Opened by SkySkimmer about 1 year ago
- 3 comments
#90 - Adapt to coq/coq#17836 (sort poly) (update bedrock2)
Pull Request -
State: closed - Opened by SkySkimmer about 1 year ago
- 3 comments
#89 - build(deps): bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies
#89 - build(deps): bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies
#88 - build(deps): bump bedrock2 from `4be89c9` to `b36804f`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: submodules
#88 - build(deps): bump bedrock2 from `4be89c9` to `b36804f`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: submodules
#87 - updating bedrock2
Pull Request -
State: closed - Opened by bMacSwigg about 1 year ago
- 1 comment
#86 - adapt to coq/coq#17937
Pull Request -
State: closed - Opened by andres-erbsen about 1 year ago
#86 - adapt to coq/coq#17937
Pull Request -
State: closed - Opened by andres-erbsen about 1 year ago
#85 - Wp is really exec
Pull Request -
State: open - Opened by samuelgruetter about 1 year ago
#85 - Wp is really exec
Pull Request -
State: open - Opened by samuelgruetter about 1 year ago
#84 - update to a bedrock2 where wp is complete wrt exec
Pull Request -
State: closed - Opened by samuelgruetter about 1 year ago
#84 - update to a bedrock2 where wp is complete wrt exec
Pull Request -
State: closed - Opened by samuelgruetter about 1 year ago
#83 - bump bedrock2
Pull Request -
State: closed - Opened by samuelgruetter about 1 year ago
- 1 comment
#83 - bump bedrock2
Pull Request -
State: closed - Opened by samuelgruetter about 1 year ago
- 1 comment
#82 - build(deps): bump bedrock2 from `7f2d764` to `0893c1f`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 2 comments
Labels: submodules
#82 - build(deps): bump bedrock2 from `7f2d764` to `0893c1f`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 2 comments
Labels: submodules
#81 - build(deps): bump bedrock2 from `7f2d764` to `9cb8481`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: submodules
#81 - build(deps): bump bedrock2 from `7f2d764` to `9cb8481`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: submodules
#80 - build(deps): bump bedrock2 from `7f2d764` to `ca50e3a`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: submodules
#80 - build(deps): bump bedrock2 from `7f2d764` to `ca50e3a`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: submodules
#79 - bump bedrock2
Pull Request -
State: closed - Opened by andres-erbsen over 1 year ago
#79 - bump bedrock2
Pull Request -
State: closed - Opened by andres-erbsen over 1 year ago
#78 - build(deps): bump bedrock2 from `eb7c242` to `b79365d`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 5 comments
Labels: submodules
#78 - build(deps): bump bedrock2 from `eb7c242` to `b79365d`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 5 comments
Labels: submodules
#77 - Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
Issue -
State: closed - Opened by MSoegtropIMC over 1 year ago
- 3 comments
#77 - Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
Issue -
State: closed - Opened by MSoegtropIMC over 1 year ago
- 3 comments
#76 - build(deps): bump bedrock2 from `eb7c242` to `9ecdd75`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: submodules
#75 - build(deps): bump bedrock2 from `471d059` to `eb7c242`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: submodules
#75 - build(deps): bump bedrock2 from `471d059` to `eb7c242`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: submodules
#74 - build(deps): bump bedrock2 from `a894b82` to `471d059`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: submodules
#74 - build(deps): bump bedrock2 from `a894b82` to `471d059`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: submodules
#73 - Rely on Nat2Z.inj_div and Nat2Z.inj_mod from coq stdlib
Pull Request -
State: closed - Opened by olaure01 almost 2 years ago
#73 - Rely on Nat2Z.inj_div and Nat2Z.inj_mod from coq stdlib
Pull Request -
State: closed - Opened by olaure01 almost 2 years ago
#72 - Why is ident-to-string conversion done during parsing instead of compilation?
Issue -
State: open - Opened by andres-erbsen almost 2 years ago
#72 - Why is ident-to-string conversion done during parsing instead of compilation?
Issue -
State: open - Opened by andres-erbsen almost 2 years ago
#71 - build(deps): bump bedrock2 from `3160051` to `c0ebdc9`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: submodules
#71 - build(deps): bump bedrock2 from `3160051` to `c0ebdc9`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: submodules
#70 - build(deps): bump bedrock2 from `fb4fa24` to `3160051`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: submodules
#70 - build(deps): bump bedrock2 from `fb4fa24` to `3160051`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: submodules
#69 - build(deps): bump bedrock2 from `335e57a` to `fb4fa24`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: submodules
#69 - build(deps): bump bedrock2 from `335e57a` to `fb4fa24`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: submodules
#68 - build(deps): bump bedrock2 from `c9ed329` to `b82ce36`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: submodules
#67 - build(deps): bump bedrock2 from `7c6a089` to `c9ed329`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: submodules
#67 - build(deps): bump bedrock2 from `7c6a089` to `c9ed329`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: submodules
#66 - use cygpath -m for -Q on Windows
Pull Request -
State: closed - Opened by andres-erbsen almost 2 years ago
#66 - use cygpath -m for -Q on Windows
Pull Request -
State: closed - Opened by andres-erbsen almost 2 years ago
#65 - bump bedrock2
Pull Request -
State: closed - Opened by andres-erbsen about 2 years ago
#65 - bump bedrock2
Pull Request -
State: closed - Opened by andres-erbsen about 2 years ago
#64 - build(deps): bump bedrock2 from `6a11fc3` to `49d48b8`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 3 comments
Labels: submodules
#64 - build(deps): bump bedrock2 from `6a11fc3` to `49d48b8`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 3 comments
Labels: submodules
#63 - build(deps): bump bedrock2 from `2f01ee4` to `6a11fc3`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
Labels: submodules
#63 - build(deps): bump bedrock2 from `2f01ee4` to `6a11fc3`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
Labels: submodules
#62 - Adapt w.r.t. coq/coq#16004.
Pull Request -
State: closed - Opened by ppedrot about 2 years ago
#62 - Adapt w.r.t. coq/coq#16004.
Pull Request -
State: closed - Opened by ppedrot about 2 years ago
#61 - build(deps): bump bedrock2 from `252ddd1` to `2f01ee4`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: submodules
#61 - build(deps): bump bedrock2 from `252ddd1` to `2f01ee4`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: submodules
#60 - build(deps): bump bedrock2 from `6b58118` to `252ddd1`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: submodules
#60 - build(deps): bump bedrock2 from `6b58118` to `252ddd1`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: submodules
#59 - Add back submodules dependabot, on monthly basis
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
- 3 comments
#59 - Add back submodules dependabot, on monthly basis
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
- 3 comments
#58 - bump bedrock2 to bump coq-record-update
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
#58 - bump bedrock2 to bump coq-record-update
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
#57 - Move crypto functions to fiat-crypto
Pull Request -
State: closed - Opened by DIJamner over 2 years ago
#57 - Move crypto functions to fiat-crypto
Pull Request -
State: closed - Opened by DIJamner over 2 years ago
#56 - Bump bedrock2 for riscv-coq EXTERNAL_COQUTIL=1
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
#56 - Bump bedrock2 for riscv-coq EXTERNAL_COQUTIL=1
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
#55 - Use find for .v files when building without git
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
- 1 comment
#55 - Use find for .v files when building without git
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
- 1 comment
#54 - Build is broken when using a tarball rather than git
Issue -
State: closed - Opened by JasonGross over 2 years ago
- 1 comment
Labels: bug, question
#54 - Build is broken when using a tarball rather than git
Issue -
State: closed - Opened by JasonGross over 2 years ago
- 1 comment
Labels: bug, question
#53 - build(deps): bump actions/checkout from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
#53 - build(deps): bump actions/checkout from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
#52 - Add support for EXTERNAL_DEPENDENCIES=1
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
- 5 comments
#51 - Adapt to coq/coq#15754
Pull Request -
State: closed - Opened by proux01 over 2 years ago
#51 - Adapt to coq/coq#15754
Pull Request -
State: closed - Opened by proux01 over 2 years ago
#50 - Bump bedrock2
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
- 12 comments
#50 - Bump bedrock2
Pull Request -
State: closed - Opened by JasonGross over 2 years ago
- 12 comments
#49 - Buf append
Pull Request -
State: closed - Opened by andres-erbsen over 2 years ago