Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / david-a-wheeler/mmverify.py issues and pull requests
#26 - Issues about $d variables
Issue -
State: closed - Opened by XiaoHLim 6 months ago
- 2 comments
#26 - Issues about $d variables
Issue -
State: closed - Opened by XiaoHLim 6 months ago
- 2 comments
#25 - This commit addresses an issue where hypotheses are erroneously activ…
Pull Request -
State: closed - Opened by drvdw 10 months ago
- 1 comment
#25 - This commit addresses an issue where hypotheses are erroneously activ…
Pull Request -
State: closed - Opened by drvdw 10 months ago
- 1 comment
#24 - Fixing Nonactive Hypotheses Treated as Active
Issue -
State: open - Opened by drvdw 10 months ago
- 1 comment
#24 - Fixing Nonactive Hypotheses Treated as Active
Issue -
State: open - Opened by drvdw 10 months ago
- 1 comment
#23 - Fix Fhyp type
Pull Request -
State: closed - Opened by zhengying-liu 11 months ago
- 1 comment
#23 - Fix Fhyp type
Pull Request -
State: closed - Opened by zhengying-liu 11 months ago
- 1 comment
#22 - Issues of the hidden state
Issue -
State: open - Opened by jp-guo over 1 year ago
- 2 comments
#22 - Issues of the hidden state
Issue -
State: open - Opened by jp-guo over 1 year ago
- 2 comments
#21 - Parallelize tests
Pull Request -
State: closed - Opened by david-a-wheeler over 1 year ago
#21 - Parallelize tests
Pull Request -
State: closed - Opened by david-a-wheeler over 1 year ago
#20 - Add a simple pipeline to test changes
Pull Request -
State: closed - Opened by david-a-wheeler over 1 year ago
#20 - Add a simple pipeline to test changes
Pull Request -
State: closed - Opened by david-a-wheeler over 1 year ago
#19 - Fix errors when static type checking (e.g., mypy)
Pull Request -
State: closed - Opened by minopret over 1 year ago
- 2 comments
#19 - Fix errors when static type checking (e.g., mypy)
Pull Request -
State: closed - Opened by minopret over 1 year ago
- 2 comments
#18 - Replace comment with type hint
Pull Request -
State: closed - Opened by io12 almost 2 years ago
- 2 comments
#18 - Replace comment with type hint
Pull Request -
State: closed - Opened by io12 almost 2 years ago
- 2 comments
#17 - This software no longer works with Python 3.x
Issue -
State: closed - Opened by enjoysmath over 2 years ago
- 2 comments
#17 - This software no longer works with Python 3.x
Issue -
State: closed - Opened by enjoysmath over 2 years ago
- 2 comments
#16 - remove a logging command used only for temporary debugging
Pull Request -
State: closed - Opened by benjub over 2 years ago
#16 - remove a logging command used only for temporary debugging
Pull Request -
State: closed - Opened by benjub over 2 years ago
#15 - Inclusions
Pull Request -
State: closed - Opened by benjub over 2 years ago
#15 - Inclusions
Pull Request -
State: closed - Opened by benjub over 2 years ago
#14 - raise on encountering '$(' or '$)' within a comment
Pull Request -
State: closed - Opened by benjub over 2 years ago
- 5 comments
#14 - raise on encountering '$(' or '$)' within a comment
Pull Request -
State: closed - Opened by benjub over 2 years ago
- 5 comments
#13 - Clarify license statements
Pull Request -
State: closed - Opened by david-a-wheeler almost 3 years ago
#13 - Clarify license statements
Pull Request -
State: closed - Opened by david-a-wheeler almost 3 years ago
#12 - add active/typed checks
Pull Request -
State: closed - Opened by benjub almost 3 years ago
- 4 comments
#12 - add active/typed checks
Pull Request -
State: closed - Opened by benjub almost 3 years ago
- 4 comments
#11 - make constants global
Pull Request -
State: closed - Opened by benjub almost 3 years ago
- 1 comment
#11 - make constants global
Pull Request -
State: closed - Opened by benjub almost 3 years ago
- 1 comment
#10 - check for unclosed comments
Pull Request -
State: closed - Opened by benjub almost 3 years ago
#9 - vprint lines must not be multilines
Pull Request -
State: closed - Opened by benjub almost 3 years ago
#8 - Faster
Pull Request -
State: closed - Opened by benjub almost 3 years ago
#7 - Faster
Pull Request -
State: closed - Opened by benjub almost 3 years ago
- 13 comments
#6 - Some code streamlining
Pull Request -
State: closed - Opened by benjub almost 3 years ago
- 1 comment
#5 - Update comment to reflect the current (MIT) license on the code.
Pull Request -
State: closed - Opened by cpressey almost 3 years ago
- 6 comments
#4 - Some unused variables
Issue -
State: closed - Opened by benjub about 3 years ago
- 6 comments
#3 - Frame in make_assertion appears to be unused.
Issue -
State: closed - Opened by treeform about 3 years ago
- 1 comment
#2 - I am not sure what `dvs` supposed to be.
Issue -
State: closed - Opened by treeform about 3 years ago
- 1 comment
#1 - What does stat_type do?
Issue -
State: closed - Opened by treeform about 3 years ago
- 2 comments