Ecosyste.ms: Issues

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

GitHub / math-comp/algebra-tactics issues and pull requests

#101 - ring mysteriously fails or succeeds on convertible goals

Issue - State: open - Opened by andrew-appel 6 months ago - 3 comments

#101 - ring mysteriously fails or succeeds on convertible goals

Issue - State: open - Opened by andrew-appel 6 months ago - 3 comments

#100 - adapt to MC#1256

Pull Request - State: open - Opened by Tragicus 6 months ago

#100 - adapt to MC#1256

Pull Request - State: open - Opened by Tragicus 6 months ago

#99 - Revert "Workaround for #87"

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

#99 - Revert "Workaround for #87"

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

#98 - Update CI

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

#97 - 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

#97 - 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

#96 - Fix CI

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

#96 - Fix CI

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

#95 - Update CI

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

#95 - Update CI

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

#94 - Fix compilation with master

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

#94 - Fix compilation with master

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

#93 - Update CI

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

#93 - Update CI

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

#92 - Revert #90

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

#92 - Revert #90

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

#91 - Reorganize the test-suite and examples

Issue - State: open - Opened by pi8027 over 1 year ago
Labels: documentation, good first issue

#90 - Workaround for #87

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

#90 - Workaround for #87

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

#89 - Documentation

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

#89 - Documentation

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

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

Issue - State: closed - Opened by rtetley over 1 year ago - 5 comments

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

Issue - State: closed - Opened by rtetley over 1 year ago - 5 comments

#87 - mathcomp2 and Sub deprecated

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

#87 - mathcomp2 and Sub deprecated

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

#86 - Fix the support for semirings

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

#86 - Fix the support for semirings

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

#85 - Update the description

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

#85 - Update the description

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

#84 - Simplify the normalization functions for preprocessing

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

#84 - Simplify the normalization functions for preprocessing

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

#83 - Workaround for the type cast issue

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

#83 - Workaround for the type cast issue

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

#82 - Handle casts in lra parser

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

#81 - Add Pierre Roux as an author, and a slight update of doc

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

#81 - Add Pierre Roux as an author, and a slight update of doc

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

#80 - 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 - 8 comments

#80 - 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 - 8 comments

#79 - Commutative and non-commutative algebras

Issue - State: open - Opened by pi8027 about 2 years ago - 1 comment

#78 - new release/update for mathcomp 1.16

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

#77 - Update CI

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

#77 - Update CI

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

#76 - Fix a bug in ring

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

#76 - Fix a bug in ring

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

#75 - Improve the error message of lra

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

#75 - Improve the error message of lra

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

#74 - Avoid search for hypotheses and use refine instead

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

#74 - Avoid search for hypotheses and use refine instead

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

#73 - TODOs in `lra`

Issue - State: open - Opened by pi8027 about 2 years ago - 1 comment

#72 - Support uint constants

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

#72 - Support uint constants

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

#71 - Port to Hierarchy Builder

Pull Request - State: closed - Opened by proux01 over 2 years ago - 64 comments

#71 - Port to Hierarchy Builder

Pull Request - State: closed - Opened by proux01 over 2 years ago - 64 comments

#69 - Abstract natural integer powers can be a problem

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

#69 - Abstract natural integer powers can be a problem

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

#68 - Coq's ring tactic works with semi-ring where mc.a-t doesn't

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

#68 - Coq's ring tactic works with semi-ring where mc.a-t doesn't

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

#67 - 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

#67 - 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

#65 - Update CI

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

#65 - Update CI

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

#63 - Reflexive zify

Issue - State: open - Opened by pi8027 almost 3 years ago - 4 comments

#63 - Reflexive zify

Issue - State: open - Opened by pi8027 almost 3 years ago - 4 comments

#62 - Add tests for reverse dependencies to CI

Issue - State: open - Opened by pi8027 almost 3 years ago - 1 comment
Labels: good first issue

#62 - Add tests for reverse dependencies to CI

Issue - State: open - Opened by pi8027 almost 3 years ago - 1 comment
Labels: good first issue

#61 - Add documentation

Issue - State: closed - Opened by pi8027 almost 3 years ago - 2 comments
Labels: documentation, good first issue

#61 - Add documentation

Issue - State: closed - Opened by pi8027 almost 3 years ago - 2 comments
Labels: documentation, good first issue

#60 - Clean up ring.v

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

#60 - Clean up ring.v

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

#59 - Stop auto intro hypotheses

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

#58 - Add test cases for the use of `exact_no_check`

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

#58 - Add test cases for the use of `exact_no_check`

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

#57 - Magic number `100%N` used as "fuel" in reflexive normalization (?)

Issue - State: open - Opened by pi8027 almost 3 years ago - 11 comments
Labels: question

#57 - Magic number `100%N` used as "fuel" in reflexive normalization (?)

Issue - State: open - Opened by pi8027 almost 3 years ago - 11 comments
Labels: question

#56 - `ring_simplify`

Issue - State: open - Opened by pi8027 almost 3 years ago
Labels: enhancement

#56 - `ring_simplify`

Issue - State: open - Opened by pi8027 almost 3 years ago
Labels: enhancement

#55 - #[verbose] attribute

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

#55 - #[verbose] attribute

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

#54 - Lra

Pull Request - State: closed - Opened by proux01 almost 3 years ago - 33 comments

#54 - Lra

Pull Request - State: closed - Opened by proux01 almost 3 years ago - 33 comments

#53 - CI

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

#53 - CI

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

#52 - Release 1.0

Issue - State: closed - Opened by pi8027 almost 3 years ago - 1 comment

#52 - Release 1.0

Issue - State: closed - Opened by pi8027 almost 3 years ago - 1 comment

#51 - Credits

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

#51 - Credits

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

#50 - Compatibility with math-comp/math-comp#841

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

#50 - Compatibility with math-comp/math-comp#841

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

#49 - exact_no_check for the second step of reflection

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

#49 - exact_no_check for the second step of reflection

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

#48 - Optimizations

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

#47 - Fix dependencies

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

#47 - Fix dependencies

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