Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq-community/reglang issues and pull requests
#74 - generalize derE to eqType, add mem_der language inclusion check
Pull Request -
State: closed - Opened by palmskog 4 months ago
#74 - generalize derE to eqType, add mem_der language inclusion check
Pull Request -
State: closed - Opened by palmskog 4 months ago
#73 - add definition and result about regexp derivatives
Pull Request -
State: closed - Opened by palmskog 4 months ago
- 4 comments
#73 - add definition and result about regexp derivatives
Pull Request -
State: closed - Opened by palmskog 4 months ago
- 4 comments
#72 - Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01
Issue -
State: closed - Opened by rtetley 8 months ago
#72 - Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01
Issue -
State: closed - Opened by rtetley 8 months ago
#71 - Can we build with dune?
Issue -
State: closed - Opened by ju-sh 9 months ago
- 3 comments
#71 - Can we build with dune?
Issue -
State: closed - Opened by ju-sh 9 months ago
- 3 comments
#70 - add CI for MathComp 2.2.0
Pull Request -
State: closed - Opened by palmskog 10 months ago
#70 - add CI for MathComp 2.2.0
Pull Request -
State: closed - Opened by palmskog 10 months ago
#69 - use elpi version 1.18.1
Pull Request -
State: closed - Opened by CohenCyril 11 months ago
#69 - use elpi version 1.18.1
Pull Request -
State: closed - Opened by CohenCyril 11 months ago
#68 - refresh boilerplate and ci
Pull Request -
State: closed - Opened by palmskog 11 months ago
#68 - refresh boilerplate and ci
Pull Request -
State: closed - Opened by palmskog 11 months ago
#67 - Update HB branch in Nix CI
Pull Request -
State: closed - Opened by proux01 12 months ago
- 1 comment
#67 - Update HB branch in Nix CI
Pull Request -
State: closed - Opened by proux01 12 months ago
- 1 comment
#66 - Adapt to https://github.com/math-comp/math-comp/pull/1046
Pull Request -
State: closed - Opened by proux01 12 months ago
- 2 comments
#66 - Adapt to https://github.com/math-comp/math-comp/pull/1046
Pull Request -
State: closed - Opened by proux01 12 months ago
- 2 comments
#65 - clearer hypothesis of right-quotient dfa proof
Pull Request -
State: closed - Opened by palmskog about 1 year ago
- 1 comment
#65 - clearer hypothesis of right-quotient dfa proof
Pull Request -
State: closed - Opened by palmskog about 1 year ago
- 1 comment
#64 - Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10
Issue -
State: closed - Opened by rtetley about 1 year ago
- 2 comments
#64 - Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10
Issue -
State: closed - Opened by rtetley about 1 year ago
- 2 comments
#63 - add CI for Coq 8.18
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#63 - add CI for Coq 8.18
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#62 - consistently use #[local] instead of Local
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#62 - consistently use #[local] instead of Local
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#61 - Purge redundant misc lemmas
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#61 - Purge redundant misc lemmas
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#60 - Switch back to Dune-Coq 0.3, fix duplicate-clear warning
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#60 - Switch back to Dune-Coq 0.3, fix duplicate-clear warning
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#59 - upgrade to Dune-Coq 0.8, record dependency on Hierarchy Builder
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#59 - upgrade to Dune-Coq 0.8, record dependency on Hierarchy Builder
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#58 - add back mathcomp-dev into Docker CI
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#58 - add back mathcomp-dev into Docker CI
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#57 - Please tag a new release with MC 2 support
Issue -
State: closed - Opened by SnarkBoojum over 1 year ago
- 8 comments
#57 - Please tag a new release with MC 2 support
Issue -
State: closed - Opened by SnarkBoojum over 1 year ago
- 8 comments
#56 - [CI] Use Coq Nix Toolbox
Pull Request -
State: closed - Opened by proux01 over 1 year ago
- 2 comments
#56 - [CI] Use Coq Nix Toolbox
Pull Request -
State: closed - Opened by proux01 over 1 year ago
- 2 comments
#55 - Support mathcomp 2
Issue -
State: closed - Opened by SnarkBoojum over 1 year ago
- 4 comments
#55 - Support mathcomp 2
Issue -
State: closed - Opened by SnarkBoojum over 1 year ago
- 4 comments
#54 - Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
Issue -
State: closed - Opened by MSoegtropIMC over 1 year ago
- 6 comments
#54 - Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
Issue -
State: closed - Opened by MSoegtropIMC over 1 year ago
- 6 comments
#53 - support Coq 8.17 and MathComp 1.16.0 and check in ci
Pull Request -
State: closed - Opened by palmskog almost 2 years ago
#53 - support Coq 8.17 and MathComp 1.16.0 and check in ci
Pull Request -
State: closed - Opened by palmskog almost 2 years ago
#52 - fix typos, minor refactor
Pull Request -
State: closed - Opened by clayrat almost 2 years ago
#52 - fix typos, minor refactor
Pull Request -
State: closed - Opened by clayrat almost 2 years ago
#51 - re-enable MathComp dev in Docker CI
Pull Request -
State: closed - Opened by palmskog about 2 years ago
#51 - re-enable MathComp dev in Docker CI
Pull Request -
State: closed - Opened by palmskog about 2 years ago
#50 - bundle take_take due to breaking change in math-comp/math-comp#909
Pull Request -
State: closed - Opened by palmskog about 2 years ago
- 1 comment
#50 - bundle take_take due to breaking change in math-comp/math-comp#909
Pull Request -
State: closed - Opened by palmskog about 2 years ago
- 1 comment
#49 - switch to coq dev Docker image due to failing mathcomp dev image
Pull Request -
State: closed - Opened by palmskog about 2 years ago
#49 - switch to coq dev Docker image due to failing mathcomp dev image
Pull Request -
State: closed - Opened by palmskog about 2 years ago
#48 - add MathComp-1.15.0 to CI
Pull Request -
State: closed - Opened by chdoc over 2 years ago
#48 - add MathComp-1.15.0 to CI
Pull Request -
State: closed - Opened by chdoc over 2 years ago
#47 - Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09
Issue -
State: closed - Opened by MSoegtropIMC over 2 years ago
- 3 comments
#47 - Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09
Issue -
State: closed - Opened by MSoegtropIMC over 2 years ago
- 3 comments
#46 - Port to MathComp 2
Pull Request -
State: closed - Opened by proux01 over 2 years ago
- 7 comments
#46 - Port to MathComp 2
Pull Request -
State: closed - Opened by proux01 over 2 years ago
- 7 comments
#45 - disable Nix CI for Coq master due to failures
Pull Request -
State: closed - Opened by palmskog almost 3 years ago
#45 - disable Nix CI for Coq master due to failures
Pull Request -
State: closed - Opened by palmskog almost 3 years ago
#44 - Update boilerplate for MathComp 1.14.0
Pull Request -
State: closed - Opened by palmskog almost 3 years ago
- 1 comment
#44 - Update boilerplate for MathComp 1.14.0
Pull Request -
State: closed - Opened by palmskog almost 3 years ago
- 1 comment
#43 - Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02
Issue -
State: closed - Opened by MSoegtropIMC almost 3 years ago
- 3 comments
#43 - Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02
Issue -
State: closed - Opened by MSoegtropIMC almost 3 years ago
- 3 comments
#42 - update opam and CI boilerplate for 8.15
Pull Request -
State: closed - Opened by palmskog almost 3 years ago
#42 - update opam and CI boilerplate for 8.15
Pull Request -
State: closed - Opened by palmskog almost 3 years ago
#41 - consistent variable names in languages.v
Pull Request -
State: closed - Opened by palmskog almost 3 years ago
- 1 comment
#41 - consistent variable names in languages.v
Pull Request -
State: closed - Opened by palmskog almost 3 years ago
- 1 comment
#40 - Release 1.1.3
Issue -
State: closed - Opened by palmskog almost 3 years ago
- 8 comments
#40 - Release 1.1.3
Issue -
State: closed - Opened by palmskog almost 3 years ago
- 8 comments
#39 - add star_id from regexp-Brzozowski to languages.v
Pull Request -
State: closed - Opened by palmskog almost 3 years ago
- 1 comment
#39 - add star_id from regexp-Brzozowski to languages.v
Pull Request -
State: closed - Opened by palmskog almost 3 years ago
- 1 comment
#38 - add in_dot, in_compl, and in_residual from regexp-Brzozowski
Pull Request -
State: closed - Opened by palmskog almost 3 years ago
#38 - add in_dot, in_compl, and in_residual from regexp-Brzozowski
Pull Request -
State: closed - Opened by palmskog almost 3 years ago
#37 - remove no longer needed lemmas (as of mathcomp-1.11)
Pull Request -
State: closed - Opened by chdoc about 3 years ago
- 6 comments
#37 - remove no longer needed lemmas (as of mathcomp-1.11)
Pull Request -
State: closed - Opened by chdoc about 3 years ago
- 6 comments
#36 - additions to languages.v from regexp-Brzozowski
Pull Request -
State: closed - Opened by palmskog about 3 years ago
- 1 comment
#36 - additions to languages.v from regexp-Brzozowski
Pull Request -
State: closed - Opened by palmskog about 3 years ago
- 1 comment
#35 - update opam and ci for MathComp 1.13.0, adjust dune boilerplate
Pull Request -
State: closed - Opened by palmskog about 3 years ago
#35 - update opam and ci for MathComp 1.13.0, adjust dune boilerplate
Pull Request -
State: closed - Opened by palmskog about 3 years ago
#34 - Please pick the version you prefer for Coq 8.14 in Coq Platform 2021.11
Issue -
State: closed - Opened by MSoegtropIMC about 3 years ago
- 5 comments
#34 - Please pick the version you prefer for Coq 8.14 in Coq Platform 2021.11
Issue -
State: closed - Opened by MSoegtropIMC about 3 years ago
- 5 comments
#33 - Docker-based CI for 8.14
Pull Request -
State: closed - Opened by palmskog about 3 years ago
#33 - Docker-based CI for 8.14
Pull Request -
State: closed - Opened by palmskog about 3 years ago
#32 - Dummy PR to test #31
Pull Request -
State: closed - Opened by Zimmi48 about 3 years ago
- 1 comment
#32 - Dummy PR to test #31
Pull Request -
State: closed - Opened by Zimmi48 about 3 years ago
- 1 comment
#31 - Fix support of schedule triggers in Nix workflow.
Pull Request -
State: closed - Opened by Zimmi48 about 3 years ago
#31 - Fix support of schedule triggers in Nix workflow.
Pull Request -
State: closed - Opened by Zimmi48 about 3 years ago
#30 - refresh Nix CI configuration
Pull Request -
State: closed - Opened by palmskog about 3 years ago
#30 - refresh Nix CI configuration
Pull Request -
State: closed - Opened by palmskog about 3 years ago
#29 - New Nix CI setup.
Pull Request -
State: closed - Opened by Zimmi48 over 3 years ago
- 7 comments
#29 - New Nix CI setup.
Pull Request -
State: closed - Opened by Zimmi48 over 3 years ago
- 7 comments
#28 - Fix cron in CI, update metadata for 8.14
Pull Request -
State: closed - Opened by palmskog over 3 years ago
- 1 comment
#28 - Fix cron in CI, update metadata for 8.14
Pull Request -
State: closed - Opened by palmskog over 3 years ago
- 1 comment
#27 - set up nightly builds and regenerate from templates
Pull Request -
State: closed - Opened by chdoc over 3 years ago
#27 - set up nightly builds and regenerate from templates
Pull Request -
State: closed - Opened by chdoc over 3 years ago
#26 - replace omega with lia
Pull Request -
State: closed - Opened by chdoc almost 4 years ago
#26 - replace omega with lia
Pull Request -
State: closed - Opened by chdoc almost 4 years ago
#25 - use #[export] hint locality
Pull Request -
State: closed - Opened by chdoc almost 4 years ago
- 3 comments
#24 - update Coq range to include 8.13 in CI
Pull Request -
State: closed - Opened by palmskog almost 4 years ago
- 1 comment