Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mit-pdos/perennial issues and pull requests
#117 - Adapt to https://github.com/coq/coq/pull/19530
Pull Request -
State: closed - Opened by proux01 6 days ago
#116 - Bump external/iris from `f6ed092` to `6f24ed4`
Pull Request -
State: closed - Opened by dependabot[bot] 12 days ago
- 1 comment
Labels: dependencies, submodules
#115 - Bump external/stdpp from `d37b5e7` to `a1a12e0`
Pull Request -
State: closed - Opened by dependabot[bot] 12 days ago
- 1 comment
Labels: dependencies, submodules
#114 - Adapt to https://github.com/coq/coq/pull/19519
Pull Request -
State: closed - Opened by proux01 13 days ago
- 3 comments
#113 - Bump external/stdpp from `9d0f527` to `d37b5e7`
Pull Request -
State: closed - Opened by dependabot[bot] 14 days ago
Labels: dependencies, submodules
#112 - Add various specs for slice skip/take
Pull Request -
State: closed - Opened by tchajed 15 days ago
#111 - Rename Mutex and Cond methods for consistency
Pull Request -
State: closed - Opened by tchajed 16 days ago
- 1 comment
#110 - Make Var a coercion
Pull Request -
State: closed - Opened by tchajed 16 days ago
#109 - Bump external/iris from `0653ba6` to `f6ed092`
Pull Request -
State: closed - Opened by dependabot[bot] 18 days ago
Labels: dependencies, submodules
#108 - Bump external/stdpp from `6cb5c0f` to `80267a5`
Pull Request -
State: closed - Opened by dependabot[bot] 18 days ago
- 1 comment
Labels: dependencies, submodules
#100 - Bump ruff from 0.5.5 to 0.6.3
Pull Request -
State: closed - Opened by dependabot[bot] 21 days ago
Labels: dependencies, python
#100 - Bump ruff from 0.5.5 to 0.6.3
Pull Request -
State: closed - Opened by dependabot[bot] 21 days ago
Labels: dependencies, python
#99 - Bump external/stdpp from `463bf9d` to `84d0495`
Pull Request -
State: closed - Opened by dependabot[bot] 24 days ago
Labels: dependencies, submodules
#99 - Bump external/stdpp from `463bf9d` to `84d0495`
Pull Request -
State: closed - Opened by dependabot[bot] 24 days ago
Labels: dependencies, submodules
#98 - Bump external/iris from `657b34a` to `ff40b0a`
Pull Request -
State: closed - Opened by dependabot[bot] 25 days ago
Labels: dependencies, submodules
#97 - Bump external/stdpp from `6190d85` to `463bf9d`
Pull Request -
State: closed - Opened by dependabot[bot] 26 days ago
Labels: dependencies, submodules
#97 - Bump external/stdpp from `6190d85` to `463bf9d`
Pull Request -
State: closed - Opened by dependabot[bot] 26 days ago
Labels: dependencies, submodules
#96 - Make wp_if_destruct and word more powerful
Pull Request -
State: closed - Opened by tchajed 26 days ago
#96 - Make wp_if_destruct and word more powerful
Pull Request -
State: closed - Opened by tchajed 26 days ago
#95 - Bump external/iris-named-props from `0816ebe` to `1b155dc`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, submodules
#94 - Bump external/iris-named-props from `a890750` to `0816ebe`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, submodules
#94 - Bump external/iris-named-props from `a890750` to `0816ebe`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, submodules
#93 - Bump external/iris from `8a98d00` to `f11d6aa`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, submodules
#93 - Bump external/iris from `8a98d00` to `f11d6aa`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, submodules
#92 - Bump external/iris from `8890e30` to `8a98d00`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies, submodules
#92 - Bump external/iris from `8890e30` to `8a98d00`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies, submodules
#91 - Bump external/iris from `ed284f3` to `f9526b3`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies, submodules
#91 - Bump external/iris from `ed284f3` to `f9526b3`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies, submodules
#90 - Bump external/stdpp from `d80bbc1` to `6190d85`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies, submodules
#90 - Bump external/stdpp from `d80bbc1` to `6190d85`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
- 1 comment
Labels: dependencies, submodules
#89 - Bump external/iris from `0da37f4` to `ed284f3`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, submodules
#89 - Bump external/iris from `0da37f4` to `ed284f3`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, submodules
#88 - Bump external/record-update from `da1dae3` to `e2aaf32`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, submodules
#88 - Bump external/record-update from `da1dae3` to `e2aaf32`
Pull Request -
State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, submodules
#87 - Bump external/coqutil from `c1caa08` to `0833256`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, submodules
#87 - Bump external/coqutil from `c1caa08` to `0833256`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, submodules
#86 - Bump external/stdpp from `b431040` to `d80bbc1`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, submodules
#86 - Bump external/stdpp from `b431040` to `d80bbc1`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, submodules
#85 - Fix python venv inside docker-coq-action container
Pull Request -
State: closed - Opened by sanjit-bhat about 2 months ago
#84 - bunch of python changes
Pull Request -
State: closed - Opened by sanjit-bhat about 2 months ago
#84 - bunch of python changes
Pull Request -
State: closed - Opened by sanjit-bhat about 2 months ago
#83 - Bump external/iris from `d955d6a` to `0da37f4`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, submodules
#83 - Bump external/iris from `d955d6a` to `0da37f4`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, submodules
#82 - Bump external/iris from `426f2d2` to `d955d6a`
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, submodules
#82 - Bump external/iris from `426f2d2` to `d955d6a`
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, submodules
#81 - put proof
Pull Request -
State: closed - Opened by sanjit-bhat 2 months ago
#81 - put proof
Pull Request -
State: closed - Opened by sanjit-bhat 2 months ago
#80 - Bump external/stdpp from `9e2c523` to `b431040`
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
- 3 comments
Labels: dependencies, submodules
#80 - Bump external/stdpp from `9e2c523` to `b431040`
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
- 3 comments
Labels: dependencies, submodules
#79 - Bump external/iris from `6cb68cd` to `426f2d2`
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, submodules
#79 - Bump external/iris from `6cb68cd` to `426f2d2`
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, submodules
#78 - Failing test cases for tactics
Issue -
State: open - Opened by upamanyus 2 months ago
#78 - Failing test cases for tactics
Issue -
State: open - Opened by upamanyus 2 months ago
#77 - re-goose after changing alias gen
Pull Request -
State: closed - Opened by sanjit-bhat 2 months ago
- 1 comment
#77 - re-goose after changing alias gen
Pull Request -
State: closed - Opened by sanjit-bhat 2 months ago
- 1 comment
#76 - Bump external/stdpp from `375341e` to `9e2c523`
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, submodules
#76 - Bump external/stdpp from `375341e` to `9e2c523`
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, submodules
#75 - add bytes-to-string Inj instance and rename existing lemma
Pull Request -
State: closed - Opened by sanjit-bhat 2 months ago
#75 - add bytes-to-string Inj instance and rename existing lemma
Pull Request -
State: closed - Opened by sanjit-bhat 2 months ago
#74 - Bump external/coqutil from `126561c` to `c1caa08`
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, submodules
#74 - Bump external/coqutil from `126561c` to `c1caa08`
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, submodules
#73 - Bump ad-m/github-push-action from 0.6.0 to 0.8.0
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, github_actions
#73 - Bump ad-m/github-push-action from 0.6.0 to 0.8.0
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies, github_actions
#72 - Lots of steps towards new and more complete model for Go
Pull Request -
State: closed - Opened by upamanyus 2 months ago
#72 - Lots of steps towards new and more complete model for Go
Pull Request -
State: closed - Opened by upamanyus 2 months ago
#71 - Fix CI notation warnings
Issue -
State: closed - Opened by sanjit-bhat 3 months ago
- 2 comments
#71 - Fix CI notation warnings
Issue -
State: closed - Opened by sanjit-bhat 3 months ago
- 2 comments
#70 - Check print assumptions in CI
Issue -
State: open - Opened by upamanyus 3 months ago
- 1 comment
#70 - Check print assumptions in CI
Issue -
State: open - Opened by upamanyus 3 months ago
- 1 comment
#69 - Adapt to https://github.com/coq/coq/pull/19149
Pull Request -
State: closed - Opened by proux01 3 months ago
- 5 comments
#69 - Adapt to https://github.com/coq/coq/pull/19149
Pull Request -
State: closed - Opened by proux01 3 months ago
- 5 comments
#68 - Added support for general control flow in Go using an exception monad
Pull Request -
State: closed - Opened by upamanyus 4 months ago
#68 - Added support for general control flow in Go using an exception monad
Pull Request -
State: closed - Opened by upamanyus 4 months ago
#67 - rename int types to be more explicit about unsignedness
Pull Request -
State: closed - Opened by zeldovich 5 months ago
#67 - rename int types to be more explicit about unsignedness
Pull Request -
State: closed - Opened by zeldovich 5 months ago
#66 - Before merge
Pull Request -
State: closed - Opened by jzhang025 5 months ago
#66 - Before merge
Pull Request -
State: closed - Opened by jzhang025 5 months ago
#65 - bump stdpp (adapt to coq/coq#18936)
Pull Request -
State: closed - Opened by andres-erbsen 5 months ago
- 1 comment
#65 - bump stdpp (adapt to coq/coq#18936)
Pull Request -
State: closed - Opened by andres-erbsen 5 months ago
- 1 comment
#64 - Do not call vm_compute on proof-encumbered terms.
Pull Request -
State: closed - Opened by silene 5 months ago
- 1 comment
#64 - Do not call vm_compute on proof-encumbered terms.
Pull Request -
State: closed - Opened by silene 5 months ago
- 1 comment
#63 - Channel impl and type
Pull Request -
State: closed - Opened by jzhang025 6 months ago
- 2 comments
#63 - Channel impl and type
Pull Request -
State: closed - Opened by jzhang025 6 months ago
- 2 comments
#62 - Add verified subset of bytes pkg
Issue -
State: closed - Opened by sanjit-bhat 6 months ago
- 7 comments
#62 - Add verified subset of bytes pkg
Issue -
State: closed - Opened by sanjit-bhat 6 months ago
- 7 comments
#61 - adapt to coq/coq#18729
Pull Request -
State: closed - Opened by andres-erbsen 7 months ago
- 2 comments
#61 - adapt to coq/coq#18729
Pull Request -
State: closed - Opened by andres-erbsen 7 months ago
- 2 comments
#60 - switch to Iris's standard iFrame
Pull Request -
State: closed - Opened by RalfJung 7 months ago
- 1 comment
#59 - Fix broken proofs for improved iFrame ∃
Pull Request -
State: closed - Opened by snyke7 7 months ago
- 1 comment
#58 - Update stdpp
Pull Request -
State: closed - Opened by proux01 8 months ago
- 2 comments
#57 - Adapt wrt Coq/Coq#18164
Pull Request -
State: closed - Opened by Villetaneuse 10 months ago
#56 - Bump iris and stdpp
Pull Request -
State: closed - Opened by Villetaneuse 10 months ago
- 8 comments
#55 - Adapt to https://github.com/coq/coq/pull/14928
Pull Request -
State: closed - Opened by proux01 11 months ago
- 5 comments
#54 - Fix incorrect "replace by"
Pull Request -
State: closed - Opened by SkySkimmer 12 months ago
- 1 comment
#53 - Incorrect semantics for empty slice
Issue -
State: open - Opened by sanjit-bhat about 1 year ago
- 4 comments
#52 - Use : Set explicitly when needed
Pull Request -
State: closed - Opened by SkySkimmer about 1 year ago
- 6 comments
#51 - Adapt w.r.t. coq/coq#17564.
Pull Request -
State: closed - Opened by ppedrot over 1 year ago
- 1 comment
#50 - bump CI to Coq 8.16
Pull Request -
State: closed - Opened by RalfJung over 1 year ago
#49 - Update stdpp
Pull Request -
State: closed - Opened by proux01 over 1 year ago
- 9 comments
#48 - Update of stdpp (and iris)
Issue -
State: closed - Opened by olaure01 over 1 year ago