Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / coq-community/atbr issues and pull requests

#45 - Remove code that has been deprecated for a while.

Pull Request - State: closed - Opened by ppedrot 4 months ago

#45 - Remove code that has been deprecated for a while.

Pull Request - State: closed - Opened by ppedrot 4 months ago

#44 - Adapt to https://github.com/coq/coq/pull/19530

Pull Request - State: open - Opened by proux01 5 months ago - 1 comment

#44 - Adapt to https://github.com/coq/coq/pull/19530

Pull Request - State: open - Opened by proux01 5 months ago - 1 comment

#43 - Adapt to coq/coq#18938 (EConstr.ERelevance)

Pull Request - State: closed - Opened by SkySkimmer 10 months ago

#43 - Adapt to coq/coq#18938 (EConstr.ERelevance)

Pull Request - State: closed - Opened by SkySkimmer 10 months ago

#42 - Adapt to https://github.com/coq/coq/pull/18590

Pull Request - State: closed - Opened by proux01 about 1 year ago - 3 comments

#42 - Adapt to https://github.com/coq/coq/pull/18590

Pull Request - State: closed - Opened by proux01 about 1 year ago - 3 comments

#41 - remove use of deprecated NPeano module

Pull Request - State: closed - Opened by palmskog over 1 year ago

#41 - remove use of deprecated NPeano module

Pull Request - State: closed - Opened by palmskog over 1 year ago

#40 - fix arith deprecations

Pull Request - State: closed - Opened by palmskog over 1 year ago

#40 - fix arith deprecations

Pull Request - State: closed - Opened by palmskog over 1 year ago

#39 - make ad-hoc simpl never in DKA_Merge local, avoid unfolds

Pull Request - State: closed - Opened by palmskog over 1 year ago

#39 - make ad-hoc simpl never in DKA_Merge local, avoid unfolds

Pull Request - State: closed - Opened by palmskog over 1 year ago

#38 - switch to -Q, use From X Require Y everywhere

Pull Request - State: closed - Opened by palmskog over 1 year ago

#38 - switch to -Q, use From X Require Y everywhere

Pull Request - State: closed - Opened by palmskog over 1 year ago

#37 - StrictKleeneAlgebra compatible again

Pull Request - State: closed - Opened by palmskog over 1 year ago

#37 - StrictKleeneAlgebra compatible again

Pull Request - State: closed - Opened by palmskog over 1 year ago

#36 - Update boilerplate

Pull Request - State: closed - Opened by palmskog over 1 year ago

#36 - Update boilerplate

Pull Request - State: closed - Opened by palmskog over 1 year ago

#35 - Adapt w.r.t. coq/coq#17781.

Pull Request - State: closed - Opened by ppedrot over 1 year ago

#34 - Stop using auto with * in intuition

Pull Request - State: closed - Opened by SkySkimmer over 1 year ago - 3 comments

#34 - Stop using auto with * in intuition

Pull Request - State: closed - Opened by SkySkimmer over 1 year ago - 3 comments

#33 - Port to master

Pull Request - State: closed - Opened by palmskog over 1 year ago

#33 - Port to master

Pull Request - State: closed - Opened by palmskog over 1 year ago

#32 - Release for coq 8.13

Issue - State: closed - Opened by ddemange over 3 years ago - 1 comment

#32 - Release for coq 8.13

Issue - State: closed - Opened by ddemange over 3 years ago - 1 comment

#31 - Compatibility with Coq 8.13

Pull Request - State: closed - Opened by tchajed about 4 years ago

#31 - Compatibility with Coq 8.13

Pull Request - State: closed - Opened by tchajed about 4 years ago

#30 - Regenerate files from latest templates.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago - 3 comments

#30 - Regenerate files from latest templates.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago - 3 comments

#29 - Fixed: counterexample was not displayed when empty word.

Pull Request - State: closed - Opened by jmadiot almost 5 years ago

#29 - Fixed: counterexample was not displayed when empty word.

Pull Request - State: closed - Opened by jmadiot almost 5 years ago

#28 - improvements from master branch for 8.11

Pull Request - State: closed - Opened by palmskog almost 5 years ago

#28 - improvements from master branch for 8.11

Pull Request - State: closed - Opened by palmskog almost 5 years ago

#27 - Update from templates and fix dune build

Pull Request - State: closed - Opened by palmskog almost 5 years ago

#27 - Update from templates and fix dune build

Pull Request - State: closed - Opened by palmskog almost 5 years ago

#26 - migrate documentation to gh-pages branch

Pull Request - State: closed - Opened by palmskog about 5 years ago

#26 - migrate documentation to gh-pages branch

Pull Request - State: closed - Opened by palmskog about 5 years ago

#25 - Dune support and other fixes

Pull Request - State: closed - Opened by palmskog about 5 years ago

#25 - Dune support and other fixes

Pull Request - State: closed - Opened by palmskog about 5 years ago

#24 - add coqdoc documentation via coqdocjs

Pull Request - State: closed - Opened by palmskog about 5 years ago

#24 - add coqdoc documentation via coqdocjs

Pull Request - State: closed - Opened by palmskog about 5 years ago

#23 - Checking time increase in 8.11 and master

Issue - State: closed - Opened by palmskog about 5 years ago - 14 comments

#23 - Checking time increase in 8.11 and master

Issue - State: closed - Opened by palmskog about 5 years ago - 14 comments

#22 - Synch updates

Pull Request - State: closed - Opened by palmskog about 5 years ago

#21 - update metadata and documentation for 8.10

Pull Request - State: closed - Opened by palmskog about 5 years ago

#20 - Fix compilation and CI for 8.10

Pull Request - State: closed - Opened by palmskog over 5 years ago

#19 - update ci and README from templates

Pull Request - State: closed - Opened by palmskog over 5 years ago

#18 - Release for Coq 8.9

Issue - State: closed - Opened by palmskog over 5 years ago - 2 comments

#17 - update files from templates for Coq 8.9

Pull Request - State: closed - Opened by palmskog over 5 years ago

#16 - Adapt to SProp and new warnings to fix build, regenerate scripts

Pull Request - State: closed - Opened by palmskog almost 6 years ago

#15 - update meta.yml and regenerate opam and README.md

Pull Request - State: closed - Opened by palmskog almost 6 years ago

#14 - update meta.yml and regenerate opam and README.md for 8.9

Pull Request - State: closed - Opened by palmskog almost 6 years ago

#13 - Fix atbr following coq/coq#9270.

Pull Request - State: closed - Opened by Zimmi48 about 6 years ago

#12 - License fix for master

Pull Request - State: closed - Opened by palmskog about 6 years ago

#11 - Add template universe annotations

Pull Request - State: closed - Opened by palmskog about 6 years ago - 12 comments

#9 - Convert to Coqpp, fix warnings on Coq master

Pull Request - State: closed - Opened by palmskog about 6 years ago

#8 - Reorganize files for 8.9

Pull Request - State: closed - Opened by palmskog about 6 years ago - 1 comment

#7 - Update README with paper link and superseded status for 8.9

Pull Request - State: closed - Opened by palmskog about 6 years ago - 2 comments

#6 - Fix deprecations and warnings for 8.9, add CI

Pull Request - State: closed - Opened by palmskog about 6 years ago - 4 comments

#5 - Branch for Coq 8.9?

Issue - State: closed - Opened by palmskog about 6 years ago - 2 comments

#4 - Build is broken on Coq master

Issue - State: closed - Opened by tchajed about 6 years ago

#3 - Add CI, opam and README.md generated from templates in coq-community/manifesto.

Pull Request - State: closed - Opened by Zimmi48 about 6 years ago - 3 comments

#2 - Update reification plugin for upstream API changes

Pull Request - State: closed - Opened by tchajed over 6 years ago - 6 comments

#1 - Fixes for compatibility with Coq v8.8

Pull Request - State: closed - Opened by tchajed over 6 years ago - 1 comment