Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / math-comp/odd-order issues and pull requests
#61 - [CI] Update Nix toolbox
Pull Request -
State: closed - Opened by proux01 3 months ago
#61 - [CI] Update Nix toolbox
Pull Request -
State: closed - Opened by proux01 3 months ago
#60 - annotate card_vspace1
Pull Request -
State: closed - Opened by Tragicus 3 months ago
#60 - annotate card_vspace1
Pull Request -
State: closed - Opened by Tragicus 3 months ago
#59 - Adapt to MC#1256
Pull Request -
State: closed - Opened by Tragicus 6 months ago
#59 - Adapt to MC#1256
Pull Request -
State: closed - Opened by Tragicus 6 months ago
#58 - adapt to MC#1229
Pull Request -
State: closed - Opened by Tragicus 6 months ago
- 2 comments
#58 - adapt to MC#1229
Pull Request -
State: closed - Opened by Tragicus 6 months ago
- 2 comments
#57 - Address deprecation warnings and clean up the import lists
Pull Request -
State: closed - Opened by pi8027 7 months ago
- 2 comments
#57 - Address deprecation warnings and clean up the import lists
Pull Request -
State: closed - Opened by pi8027 7 months ago
- 2 comments
#56 - `rewrite (can_eq (dprod_IirrK _))` is slow
Issue -
State: open - Opened by pi8027 7 months ago
#56 - `rewrite (can_eq (dprod_IirrK _))` is slow
Issue -
State: open - Opened by pi8027 7 months ago
#55 - Adapt to https://github.com/math-comp/math-comp/pull/1223
Pull Request -
State: closed - Opened by proux01 7 months ago
- 2 comments
#55 - Adapt to https://github.com/math-comp/math-comp/pull/1223
Pull Request -
State: closed - Opened by proux01 7 months ago
- 2 comments
#54 - Adapt to Coq PR #18591: better refolding of addn induces "simpl never" now respected
Pull Request -
State: closed - Opened by herbelin 8 months ago
- 1 comment
#54 - Adapt to Coq PR #18591: better refolding of addn induces "simpl never" now respected
Pull Request -
State: closed - Opened by herbelin 8 months ago
- 1 comment
#53 - [CI] Update Nix toolbox
Pull Request -
State: closed - Opened by proux01 about 1 year ago
#53 - [CI] Update Nix toolbox
Pull Request -
State: closed - Opened by proux01 about 1 year ago
#52 - Adapt to https://github.com/math-comp/math-comp/pull/1046
Pull Request -
State: closed - Opened by proux01 about 1 year ago
#52 - Adapt to https://github.com/math-comp/math-comp/pull/1046
Pull Request -
State: closed - Opened by proux01 about 1 year ago
#51 - Adapt to https://github.com/coq/coq/pull/18031
Pull Request -
State: closed - Opened by proux01 over 1 year ago
#51 - Adapt to https://github.com/coq/coq/pull/18031
Pull Request -
State: closed - Opened by proux01 over 1 year ago
#50 - Adapt to https://github.com/math-comp/math-comp/pull/1068
Pull Request -
State: closed - Opened by proux01 over 1 year ago
#50 - Adapt to https://github.com/math-comp/math-comp/pull/1068
Pull Request -
State: closed - Opened by proux01 over 1 year ago
#49 - Adapt to https://github.com/math-comp/math-comp/pull/1052
Pull Request -
State: closed - Opened by proux01 over 1 year ago
#49 - Adapt to https://github.com/math-comp/math-comp/pull/1052
Pull Request -
State: closed - Opened by proux01 over 1 year ago
#48 - Fix deprecation warnings from MC 1.17 and 2.0
Pull Request -
State: closed - Opened by proux01 over 1 year ago
#48 - Fix deprecation warnings from MC 1.17 and 2.0
Pull Request -
State: closed - Opened by proux01 over 1 year ago
#47 - Adapt to https://github.com/math-comp/math-comp/pull/1031
Pull Request -
State: closed - Opened by proux01 over 1 year ago
#47 - Adapt to https://github.com/math-comp/math-comp/pull/1031
Pull Request -
State: closed - Opened by proux01 over 1 year ago
#46 - Attempt to fix seq notation
Pull Request -
State: closed - Opened by JasonGross almost 2 years ago
#46 - Attempt to fix seq notation
Pull Request -
State: closed - Opened by JasonGross almost 2 years ago
#45 - Adapt to future MathComp 1.16.0
Pull Request -
State: closed - Opened by proux01 about 2 years ago
#45 - Adapt to future MathComp 1.16.0
Pull Request -
State: closed - Opened by proux01 about 2 years ago
#44 - Adapt to coq/coq#16920
Pull Request -
State: closed - Opened by olaure01 about 2 years ago
- 2 comments
#44 - Adapt to coq/coq#16920
Pull Request -
State: closed - Opened by olaure01 about 2 years ago
- 2 comments
#43 - Hierarchy builder
Pull Request -
State: closed - Opened by gares over 2 years ago
- 1 comment
#43 - Hierarchy builder
Pull Request -
State: closed - Opened by gares over 2 years ago
- 1 comment
#42 - update CI
Pull Request -
State: closed - Opened by CohenCyril over 2 years ago
#42 - update CI
Pull Request -
State: closed - Opened by CohenCyril over 2 years ago
#41 - [build] Initial Dune support
Pull Request -
State: open - Opened by ejgallego over 2 years ago
#41 - [build] Initial Dune support
Pull Request -
State: open - Opened by ejgallego over 2 years ago
#40 - `inE` robustness wrt math-comp/math-comp#863
Pull Request -
State: closed - Opened by ggonthier almost 3 years ago
#40 - `inE` robustness wrt math-comp/math-comp#863
Pull Request -
State: closed - Opened by ggonthier almost 3 years ago
#39 - Updating nix toolbox + CI
Pull Request -
State: closed - Opened by CohenCyril about 3 years ago
#39 - Updating nix toolbox + CI
Pull Request -
State: closed - Opened by CohenCyril about 3 years ago
#38 - Add %N for nat constants
Pull Request -
State: closed - Opened by proux01 about 3 years ago
- 3 comments
#38 - Add %N for nat constants
Pull Request -
State: closed - Opened by proux01 about 3 years ago
- 3 comments
#37 - [wip] port to HB
Pull Request -
State: closed - Opened by gares about 3 years ago
- 7 comments
#37 - [wip] port to HB
Pull Request -
State: closed - Opened by gares about 3 years ago
- 7 comments
#36 - force use of mathcomp 1.12 and use cachix
Pull Request -
State: closed - Opened by CohenCyril over 3 years ago
#36 - force use of mathcomp 1.12 and use cachix
Pull Request -
State: closed - Opened by CohenCyril over 3 years ago
#35 - fix implicate database warning
Pull Request -
State: closed - Opened by thery over 3 years ago
- 1 comment
#35 - fix implicate database warning
Pull Request -
State: closed - Opened by thery over 3 years ago
- 1 comment
#34 - Init odd-order nix toolbox
Pull Request -
State: closed - Opened by CohenCyril over 3 years ago
#34 - Init odd-order nix toolbox
Pull Request -
State: closed - Opened by CohenCyril over 3 years ago
#33 - remove warning implicite scope
Pull Request -
State: closed - Opened by thery over 3 years ago
#33 - remove warning implicite scope
Pull Request -
State: closed - Opened by thery over 3 years ago
#32 - remove duplicate clear warnings
Pull Request -
State: closed - Opened by thery over 3 years ago
#32 - remove duplicate clear warnings
Pull Request -
State: closed - Opened by thery over 3 years ago
#31 - Update coq-action.yml
Pull Request -
State: open - Opened by CohenCyril over 3 years ago
#31 - Update coq-action.yml
Pull Request -
State: open - Opened by CohenCyril over 3 years ago
#30 - remove deprecated for mathcomp 1.12
Pull Request -
State: closed - Opened by thery over 3 years ago
- 3 comments
#30 - remove deprecated for mathcomp 1.12
Pull Request -
State: closed - Opened by thery over 3 years ago
- 3 comments
#29 - Adapt to coq/coq#14041
Pull Request -
State: closed - Opened by proux01 almost 4 years ago
#29 - Adapt to coq/coq#14041
Pull Request -
State: closed - Opened by proux01 almost 4 years ago
#28 - Fix w.r.t. math-comp/math-comp#682
Pull Request -
State: closed - Opened by pi8027 about 4 years ago
#28 - Fix w.r.t. math-comp/math-comp#682
Pull Request -
State: closed - Opened by pi8027 about 4 years ago
#27 - Removing 1.11.0+dev, adding 8.12
Pull Request -
State: closed - Opened by CohenCyril over 4 years ago
#27 - Removing 1.11.0+dev, adding 8.12
Pull Request -
State: closed - Opened by CohenCyril over 4 years ago
#26 - CI fails consistently
Issue -
State: closed - Opened by pi8027 over 4 years ago
#26 - CI fails consistently
Issue -
State: closed - Opened by pi8027 over 4 years ago
#25 - Be robust to a change in the default argument naming algorithm.
Pull Request -
State: closed - Opened by jashug over 4 years ago
- 1 comment
#25 - Be robust to a change in the default argument naming algorithm.
Pull Request -
State: closed - Opened by jashug over 4 years ago
- 1 comment
#24 - activate github cron for docker
Pull Request -
State: closed - Opened by CohenCyril over 4 years ago
#24 - activate github cron for docker
Pull Request -
State: closed - Opened by CohenCyril over 4 years ago
#23 - Fixing github actions
Pull Request -
State: closed - Opened by CohenCyril over 4 years ago
- 1 comment
#23 - Fixing github actions
Pull Request -
State: closed - Opened by CohenCyril over 4 years ago
- 1 comment
#22 - CI is broken
Issue -
State: closed - Opened by CohenCyril over 4 years ago
- 3 comments
#22 - CI is broken
Issue -
State: closed - Opened by CohenCyril over 4 years ago
- 3 comments
#21 - [ci] Use docker-coq-action, mathcomp/mathcomp and mathcomp/mathcomp-dev
Pull Request -
State: closed - Opened by erikmd over 4 years ago
- 4 comments
#21 - [ci] Use docker-coq-action, mathcomp/mathcomp and mathcomp/mathcomp-dev
Pull Request -
State: closed - Opened by erikmd over 4 years ago
- 4 comments
#20 - update wrt PR 473 of mathcomp
Pull Request -
State: closed - Opened by affeldt-aist almost 5 years ago
#20 - update wrt PR 473 of mathcomp
Pull Request -
State: closed - Opened by affeldt-aist almost 5 years ago
#19 - Adapt to coq/coq#11368 (Turn trailing implicit warning into an error)
Pull Request -
State: closed - Opened by SimonBoulier about 5 years ago
- 2 comments
#19 - Adapt to coq/coq#11368 (Turn trailing implicit warning into an error)
Pull Request -
State: closed - Opened by SimonBoulier about 5 years ago
- 2 comments
#18 - Fix for math-comp/math-comp#399
Pull Request -
State: closed - Opened by CohenCyril about 5 years ago
- 1 comment
#18 - Fix for math-comp/math-comp#399
Pull Request -
State: closed - Opened by CohenCyril about 5 years ago
- 1 comment
#17 - Fix for math-comp/math-comp#270
Pull Request -
State: closed - Opened by pi8027 over 5 years ago
- 1 comment
#17 - Fix for math-comp/math-comp#270
Pull Request -
State: closed - Opened by pi8027 over 5 years ago
- 1 comment
#16 - [ci] fix badge & use mathcomp/mathcomp-dev images
Pull Request -
State: closed - Opened by erikmd over 5 years ago
- 1 comment
#16 - [ci] fix badge & use mathcomp/mathcomp-dev images
Pull Request -
State: closed - Opened by erikmd over 5 years ago
- 1 comment
#15 - Adapt to `seq` permutation lemmas renamings
Pull Request -
State: closed - Opened by ggonthier over 5 years ago
#15 - Adapt to `seq` permutation lemmas renamings
Pull Request -
State: closed - Opened by ggonthier over 5 years ago
#14 - robustness fixes for ssrbool update
Pull Request -
State: closed - Opened by ggonthier almost 6 years ago
#14 - robustness fixes for ssrbool update
Pull Request -
State: closed - Opened by ggonthier almost 6 years ago
#13 - Replace all the CoInductives with Variants
Pull Request -
State: closed - Opened by pi8027 almost 6 years ago
#13 - Replace all the CoInductives with Variants
Pull Request -
State: closed - Opened by pi8027 almost 6 years ago
#12 - Suppress spurious compilation warnings
Pull Request -
State: closed - Opened by ggonthier almost 6 years ago
#12 - Suppress spurious compilation warnings
Pull Request -
State: closed - Opened by ggonthier almost 6 years ago