Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq-community/autosubst issues and pull requests
#37 - Adapt to https://github.com/coq/coq/pull/19530
Pull Request -
State: closed - Opened by proux01 5 days ago
#36 - Update manual.tex: Fixed way of importing autosubst
Pull Request -
State: closed - Opened by TheCodingWombat about 1 month ago
- 1 comment
#35 - Fix deprecations on 8.19 and 8.20, update CI
Pull Request -
State: closed - Opened by palmskog 2 months ago
#34 - New release for Coq V8.19.1?
Issue -
State: closed - Opened by jeandudey 3 months ago
- 5 comments
#33 - Remove deprecated files in Coq.Arith
Pull Request -
State: closed - Opened by Villetaneuse 11 months ago
- 3 comments
#32 - bump compatible Coq version to 8.18~
Pull Request -
State: closed - Opened by haselwarter about 1 year ago
- 5 comments
#31 - Bump max Coq version?
Issue -
State: closed - Opened by haselwarter about 1 year ago
- 3 comments
#30 - Adapt to Coq PR #17084: maximal implicit arguments now added to references in defined Ltac code
Pull Request -
State: open - Opened by herbelin over 1 year ago
#29 - Bump for Coq 8.16
Pull Request -
State: closed - Opened by Blaisorblade about 2 years ago
- 3 comments
#28 - bump minimal Coq version to 8.14
Pull Request -
State: closed - Opened by RalfJung over 2 years ago
#27 - Adapt w.r.t coq/coq#16004
Pull Request -
State: closed - Opened by Alizter over 2 years ago
- 2 comments
#26 - Remove all uses of omega from example-plain. Use lia instead.
Pull Request -
State: closed - Opened by Zimmi48 about 3 years ago
- 6 comments
#25 - question about languages with recursion
Issue -
State: closed - Opened by qcfu-bu over 3 years ago
- 1 comment
#24 - move license text from README.md into LICENSE file
Pull Request -
State: closed - Opened by palmskog almost 4 years ago
- 1 comment
#23 - opam packages for examples, use Dune for opam ci, add Nix ci
Pull Request -
State: closed - Opened by palmskog almost 4 years ago
- 22 comments
#22 - Add changelog
Pull Request -
State: closed - Opened by co-dan almost 4 years ago
- 1 comment
#21 - update the ssreflect version we mention in the README
Pull Request -
State: closed - Opened by RalfJung almost 4 years ago
#20 - avoid notation clash with ssr to make examples-ssr build again
Pull Request -
State: closed - Opened by palmskog almost 4 years ago
- 6 comments
#19 - Update the ssr examples
Pull Request -
State: closed - Opened by co-dan almost 4 years ago
- 5 comments
#18 - Remove broken symlink
Pull Request -
State: closed - Opened by co-dan almost 4 years ago
- 1 comment
#17 - Build examples on CI
Issue -
State: closed - Opened by RalfJung almost 4 years ago
- 1 comment
#16 - fix Coq 8.10 warnings and build examples on CI
Pull Request -
State: closed - Opened by RalfJung almost 4 years ago
- 8 comments
#15 - add metadata, opam package, and GitHub Actions for CI
Pull Request -
State: closed - Opened by palmskog almost 4 years ago
- 2 comments
#14 - update README
Pull Request -
State: closed - Opened by RalfJung almost 4 years ago
#13 - merge current branch into master
Pull Request -
State: closed - Opened by RalfJung almost 4 years ago
- 1 comment
#12 - Problem with use of ssrfun
Issue -
State: open - Opened by rjraya over 4 years ago
- 1 comment
#11 - Prevent HSubst ? ? instance from being resolved arbitrarily with Hint Mode.
Issue -
State: open - Opened by Blaisorblade over 5 years ago
#10 - fix for Coq 8.9
Pull Request -
State: closed - Opened by RalfJung almost 6 years ago
#9 - Mention 8.6-8.8 branch
Pull Request -
State: closed - Opened by Blaisorblade about 6 years ago
#8 - still maintained?
Issue -
State: closed - Opened by haselwarter almost 7 years ago
- 16 comments
#7 - Put autosubst on Coq's opam
Issue -
State: closed - Opened by RalfJung almost 7 years ago
- 17 comments
#6 - Nested types
Issue -
State: closed - Opened by sarahzrf about 7 years ago
- 1 comment
#5 - A few extra lemmas.
Pull Request -
State: closed - Opened by fpottier over 7 years ago
- 4 comments
#4 - Why is `Ids_outer` necessary for `HSubstLemmas`?
Issue -
State: open - Opened by sarahzrf over 7 years ago
- 2 comments
#3 - Doesn't build with Coq 8.6
Issue -
State: closed - Opened by wilbowma over 7 years ago
- 9 comments
#2 - [feature request] Support operation with assuming function extensionality
Issue -
State: open - Opened by RalfJung over 8 years ago
- 1 comment
#1 - ignore those .aux files I am seeing in theories/
Pull Request -
State: closed - Opened by RalfJung over 8 years ago
- 1 comment