Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / math-comp/multinomials issues and pull requests
#92 - [PATCH] Missing elpi_elpi in src/dune
Issue -
State: open - Opened by SnarkBoojum 5 months ago
#92 - [PATCH] Missing elpi_elpi in src/dune
Issue -
State: open - Opened by SnarkBoojum 5 months ago
#91 - #90 broke nix derivation
Issue -
State: closed - Opened by CohenCyril 6 months ago
- 5 comments
#91 - #90 broke nix derivation
Issue -
State: closed - Opened by CohenCyril 6 months ago
- 5 comments
#90 - Fix CI by reverting to coq_makefile
Pull Request -
State: closed - Opened by pi8027 8 months ago
- 8 comments
#90 - Fix CI by reverting to coq_makefile
Pull Request -
State: closed - Opened by pi8027 8 months ago
- 8 comments
#89 - Remove notations deprecated in MathComp 1.17.0
Pull Request -
State: closed - Opened by proux01 11 months ago
- 2 comments
#88 - Adapt to math-comp/math-comp#1166
Pull Request -
State: closed - Opened by pi8027 11 months ago
- 1 comment
#88 - Adapt to math-comp/math-comp#1166
Pull Request -
State: closed - Opened by pi8027 11 months ago
- 1 comment
#87 - [CI] Add Coq 8.19 and MC 2.2
Pull Request -
State: closed - Opened by proux01 about 1 year ago
- 2 comments
#87 - [CI] Add Coq 8.19 and MC 2.2
Pull Request -
State: closed - Opened by proux01 about 1 year ago
- 2 comments
#86 - Adapt to math-comp/math-comp#1133 (replace fun_scope with function_scope)
Pull Request -
State: closed - Opened by pi8027 about 1 year ago
- 1 comment
#86 - Adapt to math-comp/math-comp#1133 (replace fun_scope with function_scope)
Pull Request -
State: closed - Opened by pi8027 about 1 year ago
- 1 comment
#85 - Adapt to https://github.com/math-comp/math-comp/pull/1046
Pull Request -
State: closed - Opened by proux01 about 1 year ago
- 2 comments
#85 - Adapt to https://github.com/math-comp/math-comp/pull/1046
Pull Request -
State: closed - Opened by proux01 about 1 year ago
- 2 comments
#84 - Cleanup some phantom related stuff and proofs
Pull Request -
State: closed - Opened by pi8027 over 1 year ago
- 1 comment
#84 - Cleanup some phantom related stuff and proofs
Pull Request -
State: closed - Opened by pi8027 over 1 year ago
- 1 comment
#83 - Generalize some results in monalg to `nmodType` and `semiRingType`
Pull Request -
State: open - Opened by pi8027 over 1 year ago
#83 - Generalize some results in monalg to `nmodType` and `semiRingType`
Pull Request -
State: open - Opened by pi8027 over 1 year ago
#82 - Update ci
Pull Request -
State: closed - Opened by proux01 over 1 year ago
- 1 comment
#81 - Adapt to https://github.com/math-comp/math-comp/pull/1031
Pull Request -
State: closed - Opened by proux01 over 1 year ago
- 2 comments
#81 - Adapt to https://github.com/math-comp/math-comp/pull/1031
Pull Request -
State: closed - Opened by proux01 over 1 year ago
- 2 comments
#80 - Cleanup/refactor freeg.v and monalg.v
Pull Request -
State: closed - Opened by pi8027 over 1 year ago
- 5 comments
#80 - Cleanup/refactor freeg.v and monalg.v
Pull Request -
State: closed - Opened by pi8027 over 1 year ago
- 5 comments
#79 - dune: bump to 3.8
Pull Request -
State: closed - Opened by Alizter almost 2 years ago
- 28 comments
#79 - dune: bump to 3.8
Pull Request -
State: closed - Opened by Alizter almost 2 years ago
- 28 comments
#78 - update opam and CI
Pull Request -
State: closed - Opened by CohenCyril almost 2 years ago
#78 - update opam and CI
Pull Request -
State: closed - Opened by CohenCyril almost 2 years ago
#77 - Releasing a multinomials 1.6.0
Issue -
State: closed - Opened by proux01 almost 2 years ago
- 1 comment
#76 - add coq_makefile build method
Pull Request -
State: closed - Opened by haansn08 almost 2 years ago
- 7 comments
#76 - add coq_makefile build method
Pull Request -
State: closed - Opened by haansn08 almost 2 years ago
- 7 comments
#75 - make install fails
Issue -
State: closed - Opened by haansn08 almost 2 years ago
- 8 comments
#75 - make install fails
Issue -
State: closed - Opened by haansn08 almost 2 years ago
- 8 comments
#74 - use uncurry instead of prod_curry
Pull Request -
State: closed - Opened by haansn08 almost 2 years ago
- 1 comment
#74 - use uncurry instead of prod_curry
Pull Request -
State: closed - Opened by haansn08 almost 2 years ago
- 1 comment
#73 - seq compatibility with math-comp/math-comp#790
Pull Request -
State: closed - Opened by JasonGross almost 2 years ago
- 1 comment
#73 - seq compatibility with math-comp/math-comp#790
Pull Request -
State: closed - Opened by JasonGross almost 2 years ago
- 1 comment
#72 - Cleanup
Pull Request -
State: closed - Opened by pi8027 almost 2 years ago
- 2 comments
#72 - Cleanup
Pull Request -
State: closed - Opened by pi8027 almost 2 years ago
- 2 comments
#71 - Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
Issue -
State: closed - Opened by MSoegtropIMC almost 2 years ago
- 6 comments
#71 - Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
Issue -
State: closed - Opened by MSoegtropIMC almost 2 years ago
- 6 comments
#70 - release/update for mathcomp 1.16
Issue -
State: closed - Opened by clayrat about 2 years ago
- 1 comment
#69 - [CI] Add Coq 8.17
Pull Request -
State: closed - Opened by proux01 about 2 years ago
- 1 comment
#69 - [CI] Add Coq 8.17
Pull Request -
State: closed - Opened by proux01 about 2 years ago
- 1 comment
#68 - Adapt to https://github.com/math-comp/math-comp/pull/863
Pull Request -
State: closed - Opened by proux01 about 2 years ago
- 1 comment
#68 - Adapt to https://github.com/math-comp/math-comp/pull/863
Pull Request -
State: closed - Opened by proux01 about 2 years ago
- 1 comment
#67 - Adapt to future MathComp 1.16.0
Pull Request -
State: closed - Opened by proux01 about 2 years ago
- 1 comment
#66 - Redefine msupp as sorted
Pull Request -
State: open - Opened by proux01 about 2 years ago
#66 - Redefine msupp as sorted
Pull Request -
State: open - Opened by proux01 about 2 years ago
#65 - Change logical path from SsrMultinomials to mathcomp.multinomials
Pull Request -
State: closed - Opened by strub over 2 years ago
#65 - Change logical path from SsrMultinomials to mathcomp.multinomials
Pull Request -
State: closed - Opened by strub over 2 years ago
#64 - Failure with coq master
Issue -
State: closed - Opened by CohenCyril over 2 years ago
- 4 comments
#64 - Failure with coq master
Issue -
State: closed - Opened by CohenCyril over 2 years ago
- 4 comments
#63 - Compile with Coq master
Pull Request -
State: closed - Opened by proux01 over 2 years ago
- 5 comments
#62 - Adapt to coq/coq#16004
Pull Request -
State: closed - Opened by proux01 over 2 years ago
- 2 comments
#62 - Adapt to coq/coq#16004
Pull Request -
State: closed - Opened by proux01 over 2 years ago
- 2 comments
#61 - 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
- 2 comments
#61 - 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
- 2 comments
#60 - deprecated lemma
Issue -
State: closed - Opened by affeldt-aist over 2 years ago
- 1 comment
#59 - More precise copyrights?
Issue -
State: open - Opened by SnarkBoojum almost 3 years ago
#59 - More precise copyrights?
Issue -
State: open - Opened by SnarkBoojum almost 3 years ago
#58 - Installation directories - follow a convention?
Issue -
State: closed - Opened by SnarkBoojum almost 3 years ago
#58 - Installation directories - follow a convention?
Issue -
State: closed - Opened by SnarkBoojum almost 3 years ago
#57 - Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02
Issue -
State: closed - Opened by MSoegtropIMC about 3 years ago
- 5 comments
#57 - Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02
Issue -
State: closed - Opened by MSoegtropIMC about 3 years ago
- 5 comments
#56 - Don't mix implicit types and sequence variables
Pull Request -
State: closed - Opened by JasonGross about 3 years ago
- 2 comments
#56 - Don't mix implicit types and sequence variables
Pull Request -
State: closed - Opened by JasonGross about 3 years ago
- 2 comments
#55 - Push dune version bound in opam file
Pull Request -
State: closed - Opened by proux01 about 3 years ago
#55 - Push dune version bound in opam file
Pull Request -
State: closed - Opened by proux01 about 3 years ago
#54 - Allow Coq 8.15 in the OPAM file
Pull Request -
State: closed - Opened by pi8027 about 3 years ago
#54 - Allow Coq 8.15 in the OPAM file
Pull Request -
State: closed - Opened by pi8027 about 3 years ago
#53 - Remove old capitalized syntax for instantiate
Pull Request -
State: closed - Opened by proux01 about 3 years ago
- 1 comment
#53 - Remove old capitalized syntax for instantiate
Pull Request -
State: closed - Opened by proux01 about 3 years ago
- 1 comment
#52 - multinomial and coq-native
Issue -
State: closed - Opened by thery over 3 years ago
- 10 comments
#52 - multinomial and coq-native
Issue -
State: closed - Opened by thery over 3 years ago
- 10 comments
#51 - [CI, OPAM] Compatible with MathComp 1.13.0 and dev
Pull Request -
State: closed - Opened by pi8027 over 3 years ago
- 5 comments
#51 - [CI, OPAM] Compatible with MathComp 1.13.0 and dev
Pull Request -
State: closed - Opened by pi8027 over 3 years ago
- 5 comments
#50 - fix: Add dummy support of `--prefix` CLI option
Pull Request -
State: closed - Opened by erikmd over 3 years ago
#49 - Make `(mode native)` configurable
Pull Request -
State: closed - Opened by erikmd over 3 years ago
- 2 comments
#49 - Make `(mode native)` configurable
Pull Request -
State: closed - Opened by erikmd over 3 years ago
- 2 comments
#48 - Extend the test suite (with coq 8.12.1 and coq-native)
Pull Request -
State: closed - Opened by erikmd over 3 years ago
#48 - Extend the test suite (with coq 8.12.1 and coq-native)
Pull Request -
State: closed - Opened by erikmd over 3 years ago
#47 - adding nix toolbox
Pull Request -
State: open - Opened by CohenCyril over 3 years ago
#47 - adding nix toolbox
Pull Request -
State: open - Opened by CohenCyril over 3 years ago
#46 - Please pick the version you prefer for Coq 8.14 in Coq Platform 2021.11
Issue -
State: closed - Opened by MSoegtropIMC over 3 years ago
#46 - Please pick the version you prefer for Coq 8.14 in Coq Platform 2021.11
Issue -
State: closed - Opened by MSoegtropIMC over 3 years ago
#45 - Add coq-native support (if available) as per CEP 48
Pull Request -
State: closed - Opened by erikmd over 3 years ago
- 10 comments
#45 - Add coq-native support (if available) as per CEP 48
Pull Request -
State: closed - Opened by erikmd over 3 years ago
- 10 comments
#44 - Inclusion in the Coq Platform
Issue -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 10 comments
#44 - Inclusion in the Coq Platform
Issue -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 10 comments
#43 - pihomog and symmetry
Pull Request -
State: closed - Opened by hivert over 3 years ago
- 1 comment
#43 - pihomog and symmetry
Pull Request -
State: closed - Opened by hivert over 3 years ago
- 1 comment
#42 - Port to Hierarchy Builder
Pull Request -
State: closed - Opened by proux01 over 3 years ago
- 4 comments
#42 - Port to Hierarchy Builder
Pull Request -
State: closed - Opened by proux01 over 3 years ago
- 4 comments
#41 - fix: Use coq_makefile instead of dune, temporarily
Pull Request -
State: closed - Opened by erikmd almost 4 years ago
- 11 comments
#41 - fix: Use coq_makefile instead of dune, temporarily
Pull Request -
State: closed - Opened by erikmd almost 4 years ago
- 11 comments
#40 - Fix w.r.t. math-comp/math-comp#464 (new order structures and definitionally involutive duals)
Pull Request -
State: closed - Opened by pi8027 about 4 years ago
#40 - Fix w.r.t. math-comp/math-comp#464 (new order structures and definitionally involutive duals)
Pull Request -
State: closed - Opened by pi8027 about 4 years ago
#39 - [opam] allow dev dependencies
Pull Request -
State: closed - Opened by CohenCyril about 4 years ago
#38 - Compile with Coq 8.13
Pull Request -
State: closed - Opened by proux01 about 4 years ago
- 4 comments