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

#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

#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