Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / skyskimmer/coq-lean-import issues and pull requests
#20 - Adapt to coq/coq#19620 (Global.push_context_set no strict argument)
Pull Request -
State: closed - Opened by SkySkimmer 4 months ago
- 1 comment
#19 - Adapt to coq/coq#18938 (EConstr.ERelevance)
Pull Request -
State: closed - Opened by SkySkimmer 10 months ago
- 1 comment
#18 - Adapt w.r.t. coq/coq#18935.
Pull Request -
State: closed - Opened by ppedrot 10 months ago
#17 - Adapt to coq/coq#18833 (indrec doesn't use sort family)
Pull Request -
State: closed - Opened by SkySkimmer 11 months ago
- 1 comment
#16 - Adapt to coq/coq#18546.
Pull Request -
State: closed - Opened by rlepigre about 1 year ago
- 1 comment
#15 - Adapt to coq/coq#18327 (projection opacity)
Pull Request -
State: closed - Opened by rlepigre about 1 year ago
- 1 comment
#14 - Adapt to coq/coq#18331 (mind_kelim -> mind_squashed)
Pull Request -
State: closed - Opened by SkySkimmer about 1 year ago
- 1 comment
#13 - Use sort poly instead of duplicating definitions
Issue -
State: open - Opened by SkySkimmer over 1 year ago
#12 - Adapt to coq/coq#17836 (sort poly)
Pull Request -
State: closed - Opened by SkySkimmer over 1 year ago
#11 - Adapt to coq/coq#18023 (RedFlags moving out of CClosure)
Pull Request -
State: closed - Opened by rlepigre over 1 year ago
#10 - Adapt to coq/coq#17664 (goptions use Deprecation.t option instead of bool)
Pull Request -
State: closed - Opened by SkySkimmer over 1 year ago
- 1 comment
#9 - Adapt to coq/coq#17633 (decompose_app returns array not list)
Pull Request -
State: closed - Opened by SkySkimmer over 1 year ago
- 1 comment
#8 - Adapt to coq/coq#17605 (summary doesn't use marshallable argument when freezing)
Pull Request -
State: closed - Opened by SkySkimmer over 1 year ago
- 1 comment
#7 - Adapt to Coq's PR #17331
Pull Request -
State: closed - Opened by maximedenes almost 2 years ago
#6 - Adapt to coq/coq#17310 (subst_univs_universe takes -> option)
Pull Request -
State: closed - Opened by SkySkimmer almost 2 years ago
- 1 comment
#5 - Generate correct relevance for binders
Pull Request -
State: closed - Opened by SkySkimmer about 2 years ago
- 1 comment
#4 - Adapt to coq/coq#16938 (staged options)
Pull Request -
State: closed - Opened by SkySkimmer about 2 years ago
#3 - Adapt w.r.t. coq/coq#16903.
Pull Request -
State: closed - Opened by ppedrot about 2 years ago
#2 - Adapt w.r.t. coq/coq#16933 (retyping returns esort not sort)
Pull Request -
State: closed - Opened by ppedrot about 2 years ago
- 1 comment
#1 - Do not rely on Reduction.nf_betaiota.
Pull Request -
State: closed - Opened by ppedrot about 2 years ago