Ecosyste.ms: Issues

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

GitHub / math-comp/mczify issues and pull requests

#57 - Update CI

Pull Request - State: closed - Opened by pi8027 5 months ago

#57 - Update CI

Pull Request - State: closed - Opened by pi8027 5 months ago

#56 - adapt to MC#1256

Pull Request - State: closed - Opened by Tragicus 6 months ago - 1 comment

#56 - adapt to MC#1256

Pull Request - State: closed - Opened by Tragicus 6 months ago - 1 comment

#55 - Update CI

Pull Request - State: closed - Opened by pi8027 8 months ago

#55 - Update CI

Pull Request - State: closed - Opened by pi8027 8 months ago

#54 - Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01

Issue - State: closed - Opened by rtetley 11 months ago - 2 comments

#54 - Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01

Issue - State: closed - Opened by rtetley 11 months ago - 2 comments

#53 - Update CI

Pull Request - State: closed - Opened by pi8027 about 1 year ago

#53 - Update CI

Pull Request - State: closed - Opened by pi8027 about 1 year ago

#52 - Update CI

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

#52 - Update CI

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

#51 - Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10

Issue - State: closed - Opened by MSoegtropIMC over 1 year ago - 2 comments

#51 - Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10

Issue - State: closed - Opened by MSoegtropIMC over 1 year ago - 2 comments

#50 - Update CI

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

#50 - Update CI

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

#48 - Add morphism instances for N.to_nat and N.of_nat

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

#48 - Add morphism instances for N.to_nat and N.of_nat

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

#47 - `N` forms a semiring

Pull Request - State: closed - Opened by pi8027 over 1 year ago - 2 comments

#47 - `N` forms a semiring

Pull Request - State: closed - Opened by pi8027 over 1 year ago - 2 comments

#46 - Adapt to math-comp/math-comp#980

Pull Request - State: closed - Opened by pi8027 almost 2 years ago

#45 - 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 - 1 comment

#45 - 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 - 1 comment

#44 - Release compatible with Coq 8.17

Issue - State: closed - Opened by proux01 almost 2 years ago - 3 comments

#44 - Release compatible with Coq 8.17

Issue - State: closed - Opened by proux01 almost 2 years ago - 3 comments

#43 - Update CI

Pull Request - State: closed - Opened by pi8027 almost 2 years ago

#42 - 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 - 1 comment

#42 - 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 - 1 comment

#41 - Update CI

Pull Request - State: closed - Opened by pi8027 over 2 years ago

#41 - Update CI

Pull Request - State: closed - Opened by pi8027 over 2 years ago

#40 - Adapt w.r.t. coq/coq#16004.

Pull Request - State: closed - Opened by ppedrot over 2 years ago - 1 comment

#40 - Adapt w.r.t. coq/coq#16004.

Pull Request - State: closed - Opened by ppedrot over 2 years ago - 1 comment

#39 - Port to Hierarchy Builder

Pull Request - State: closed - Opened by proux01 almost 3 years ago - 1 comment

#38 - Fix dependencies

Pull Request - State: closed - Opened by pi8027 almost 3 years ago

#38 - Fix dependencies

Pull Request - State: closed - Opened by pi8027 almost 3 years ago

#37 - Update CI

Pull Request - State: closed - Opened by pi8027 about 3 years ago

#37 - Update CI

Pull Request - State: closed - Opened by pi8027 about 3 years ago

#36 - 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 - 2 comments

#36 - 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 - 2 comments

#35 - Update CI

Pull Request - State: closed - Opened by pi8027 about 3 years ago

#35 - Update CI

Pull Request - State: closed - Opened by pi8027 about 3 years ago

#34 - Add more instances and test cases

Pull Request - State: closed - Opened by pi8027 about 3 years ago

#34 - Add more instances and test cases

Pull Request - State: closed - Opened by pi8027 about 3 years ago

#33 - More test cases

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#33 - More test cases

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#32 - Add support for `eq_op : rel N`

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#32 - Add support for `eq_op : rel N`

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#31 - Update CI

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#31 - Update CI

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#30 - Update CI and dependencies

Pull Request - State: closed - Opened by pi8027 over 3 years ago - 1 comment

#29 - Add support for NatTrec and nat <-> BinNums conversion

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#29 - Add support for NatTrec and nat <-> BinNums conversion

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#28 - Fix Makefile

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#28 - Fix Makefile

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#27 - Add support for `GRing.unit`

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#27 - Add support for `GRing.unit`

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#26 - Add the `ssrZ` library

Pull Request - State: closed - Opened by pi8027 over 3 years ago - 7 comments

#26 - Add the `ssrZ` library

Pull Request - State: closed - Opened by pi8027 over 3 years ago - 7 comments

#25 - `rewrite -> unfold_in in *` in `zify_pre_hook` is incomplete

Issue - State: closed - Opened by pi8027 over 3 years ago

#25 - `rewrite -> unfold_in in *` in `zify_pre_hook` is incomplete

Issue - State: closed - Opened by pi8027 over 3 years ago

#24 - Add a new example: zagier.v

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#24 - Add a new example: zagier.v

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#23 - Update CI

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#23 - Update CI

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#22 - Test suite

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#22 - Test suite

Pull Request - State: closed - Opened by pi8027 over 3 years ago

#21 - Performence issue

Issue - State: open - Opened by thery almost 4 years ago - 12 comments

#19 - Update CI

Pull Request - State: closed - Opened by pi8027 almost 4 years ago

#19 - Update CI

Pull Request - State: closed - Opened by pi8027 almost 4 years ago

#18 - Pair equality handling

Issue - State: open - Opened by ecranceMERCE about 4 years ago - 2 comments

#18 - Pair equality handling

Issue - State: open - Opened by ecranceMERCE about 4 years ago - 2 comments

#16 - Test suite

Issue - State: open - Opened by pi8027 about 4 years ago - 2 comments
Labels: good first issue

#16 - Test suite

Issue - State: open - Opened by pi8027 about 4 years ago - 2 comments
Labels: good first issue

#15 - Missing instances

Issue - State: open - Opened by pi8027 about 4 years ago

#15 - Missing instances

Issue - State: open - Opened by pi8027 about 4 years ago

#14 - nice example

Issue - State: closed - Opened by thery about 4 years ago - 2 comments

#14 - nice example

Issue - State: closed - Opened by thery about 4 years ago - 2 comments

#13 - Setup CI

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

#12 - Inclusion of mczify into Coq platform 8.12.0

Issue - State: closed - Opened by MSoegtropIMC over 4 years ago - 19 comments

#12 - Inclusion of mczify into Coq platform 8.12.0

Issue - State: closed - Opened by MSoegtropIMC over 4 years ago - 19 comments

#11 - Support several versions of MathComp by splitting zify.v

Issue - State: closed - Opened by pi8027 over 4 years ago - 3 comments

#11 - Support several versions of MathComp by splitting zify.v

Issue - State: closed - Opened by pi8027 over 4 years ago - 3 comments

#10 - Adjust two proofs to mathcomp 1.11 (should also work with 1.10)

Pull Request - State: closed - Opened by MSoegtropIMC over 4 years ago - 1 comment

#10 - Adjust two proofs to mathcomp 1.11 (should also work with 1.10)

Pull Request - State: closed - Opened by MSoegtropIMC over 4 years ago - 1 comment

#9 - The 8.11 branch does not compile with mathcomp 1.11.0

Issue - State: closed - Opened by MSoegtropIMC over 4 years ago - 6 comments

#9 - The 8.11 branch does not compile with mathcomp 1.11.0

Issue - State: closed - Opened by MSoegtropIMC over 4 years ago - 6 comments

#8 - Reimplement the pre-hook properly by relying on coq/coq#12552

Pull Request - State: closed - Opened by pi8027 over 4 years ago

#8 - Reimplement the pre-hook properly by relying on coq/coq#12552

Pull Request - State: closed - Opened by pi8027 over 4 years ago

#7 - Reimplement the post-process for divZ and modZ

Pull Request - State: closed - Opened by pi8027 over 4 years ago

#6 - Reimplement the post-process for divZ and modZ

Issue - State: closed - Opened by pi8027 over 4 years ago

#5 - Do not overwrite the `zify` tactic

Issue - State: closed - Opened by pi8027 over 4 years ago

#4 - Better support for boolean operators by taking advantage of coq/coq#11906

Pull Request - State: closed - Opened by pi8027 over 4 years ago

#3 - Stricter typing of operators.

Pull Request - State: closed - Opened by fajb over 4 years ago

#2 - applySpec tactic is not found

Issue - State: closed - Opened by anton-trunov almost 5 years ago - 2 comments

#1 - eq_op operator treated as a binary operator

Issue - State: closed - Opened by ecranceMERCE almost 5 years ago - 10 comments