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
#47 - Adapt w.r.t. coq/coq#16004.
Pull Request -
State: closed - Opened by ppedrot about 2 years ago
- 3 comments
#46 - Added later credit generation across pure steps
Pull Request -
State: closed - Opened by upamanyus about 2 years ago
- 1 comment
#45 - Bump the coqutil submodule.
Pull Request -
State: closed - Opened by ppedrot about 2 years ago
- 5 comments
#44 - Please update stdpp and iris once more
Issue -
State: closed - Opened by mattam82 over 2 years ago
- 1 comment
#43 - Please update iris and stdpp again
Issue -
State: closed - Opened by mattam82 over 2 years ago
- 2 comments
#42 - Update stdpp and iris
Issue -
State: closed - Opened by mattam82 over 2 years ago
- 1 comment
#41 - check on CI that Goose files are clean
Pull Request -
State: closed - Opened by RalfJung almost 3 years ago
- 1 comment
#40 - adjust for opaque pointer type
Pull Request -
State: closed - Opened by RalfJung almost 3 years ago
- 2 comments
#39 - Add comment explaining scope annotations in atomic_fupd
Pull Request -
State: closed - Opened by abeln almost 3 years ago
- 1 comment
#38 - Adapt to coq/coq#13837 ("apply with" does not rename arguments)
Pull Request -
State: closed - Opened by SkySkimmer almost 3 years ago
- 1 comment
#37 - Simplify wptp_recv_strong_normal_adequacy
Pull Request -
State: closed - Opened by paldepind about 3 years ago
- 2 comments
#36 - Remove crashGS arguments
Pull Request -
State: closed - Opened by paldepind about 3 years ago
- 1 comment
#35 - Revert a57832ec6f4a43c184151f4a962b296d0e1cc982 and remove `-noglob`
Pull Request -
State: closed - Opened by JasonGross over 3 years ago
- 1 comment
#34 - For Coq PR #14392
Pull Request -
State: closed - Opened by mattam82 over 3 years ago
#33 - Backward compatible fix
Pull Request -
State: closed - Opened by mattam82 over 3 years ago
- 2 comments
#32 - Small changes
Pull Request -
State: closed - Opened by paldepind over 3 years ago
- 2 comments
#31 - Bump coqutil, stdpp
Pull Request -
State: closed - Opened by mrhaandi over 3 years ago
#30 - Please update iris and stdpp
Issue -
State: closed - Opened by mattam82 over 3 years ago
- 1 comment
#29 - Distriris
Pull Request -
State: closed - Opened by RalfJung over 3 years ago
- 6 comments
#28 - Don't rely on ssreflect setoid rewrite bug (coq/coq#13882)
Pull Request -
State: closed - Opened by SkySkimmer over 3 years ago
- 2 comments
#27 - Fix Coq benchmark timing flags.
Pull Request -
State: closed - Opened by ppedrot almost 4 years ago
- 1 comment
#26 - Adapt the Makefile to be compatible with the Coq bench infrastructure.
Pull Request -
State: closed - Opened by ppedrot almost 4 years ago
- 3 comments
#25 - program_logic/gen_dir
Issue -
State: closed - Opened by ismailkuru almost 4 years ago
- 1 comment
#24 - Adapt to a more-principled name generation in the "%" introduction pattern
Pull Request -
State: closed - Opened by herbelin almost 4 years ago
- 3 comments
#23 - detail: the "permissions workaround" needs a fix
Issue -
State: closed - Opened by erikmd almost 4 years ago
- 1 comment
#22 - Adapt to coq/coq#13188 (no auto generalization of Instance type)
Pull Request -
State: closed - Opened by SkySkimmer almost 4 years ago
- 4 comments
#21 - Remove need for lockservice_alloc_token in lockservice_is_lock witness
Pull Request -
State: closed - Opened by upamanyus almost 4 years ago
#20 - add some comments to rpc.v
Pull Request -
State: closed - Opened by RalfJung almost 4 years ago
#19 - Speed up compilation
Issue -
State: open - Opened by tchajed about 4 years ago
- 3 comments
#18 - Added funcT definition
Pull Request -
State: closed - Opened by sharontlin about 4 years ago
- 1 comment
#17 - Develop an asynchronous inode resource to reason about buffered state
Issue -
State: open - Opened by tchajed about 4 years ago
#16 - Implement an auth-heap RA construction
Issue -
State: closed - Opened by tchajed about 4 years ago
#15 - Implement an append-only list RA
Issue -
State: closed - Opened by tchajed about 4 years ago
- 1 comment
#14 - Split up big_op.v
Issue -
State: closed - Opened by tchajed about 4 years ago
#13 - Implement an asynchronous disk FFI and corresponding resources
Issue -
State: open - Opened by tchajed about 4 years ago
#12 - Reimplement the marshalling library to hide internal details
Issue -
State: closed - Opened by tchajed about 4 years ago
- 1 comment
#11 - Make sure allocation theorems actually apply after [simpl]
Issue -
State: open - Opened by tchajed about 4 years ago
#10 - Write a new typed slice library with a clean abstraction
Issue -
State: open - Opened by tchajed about 4 years ago
#9 - Finish implementing support for restoring propositions while destructing
Issue -
State: closed - Opened by tchajed about 4 years ago
- 1 comment
#8 - Make iNamed extensible by using a typeclass to name propositions
Issue -
State: closed - Opened by tchajed about 4 years ago
- 1 comment
#7 - Remove later in definition of na_crash_inv
Pull Request -
State: closed - Opened by tchajed about 4 years ago
- 5 comments
#6 - inode, alloc: consistently keep P below one level of later
Pull Request -
State: closed - Opened by RalfJung over 4 years ago
- 1 comment
#5 - |={E1,E2}_k=>^n notation makes no sense with different masks
Pull Request -
State: closed - Opened by RalfJung over 4 years ago
- 1 comment
#4 - Error compiling
Issue -
State: closed - Opened by sitilge over 4 years ago
#3 - Fix misuse of modes for SemiSet
Pull Request -
State: closed - Opened by mattam82 over 4 years ago
- 4 comments
#2 - factor out such_that pattern for pointer allocs
Pull Request -
State: closed - Opened by sydgibs over 5 years ago
#1 - relation reification
Pull Request -
State: closed - Opened by sydgibs over 5 years ago
- 8 comments