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

#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

#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