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

#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