Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / aya-prover/aya-dev issues and pull requests
#928 - Stdlib and TODOs
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 2 comments
#927 - Tex improve and add more tests
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 2 comments
Labels: feature, concrete, literate
#927 - Tex improve and add more tests
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 2 comments
Labels: feature, concrete, literate
#927 - Tex improve and add more tests
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 2 comments
Labels: feature, concrete, literate
#926 - Keyword: `Pi` -> `Fn`, `λ` -> `fn`
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 8 comments
Labels: syntax design
#925 - Anonymous examples
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: syntax design
#924 - Unification bug
Issue -
State: closed - Opened by ice1000 over 1 year ago
Labels: bug, meta variables
#923 - Improve unification to compile the blogs
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 6 comments
Labels: meta variables
#922 - Kala improvements
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: coverage, deps: kala
#921 - KALA: upgrade to 0.64.0
Pull Request -
State: closed - Opened by Glavo over 1 year ago
- 3 comments
Labels: deps: kala
#920 - Improve library
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: library
#919 - Pattern classifier v2
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: coverage
#919 - Pattern classifier v2
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: coverage
#918 - Merge: declModifiers + fnModifiers
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 7 comments
Labels: parser
#918 - Merge: declModifiers + fnModifiers
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 7 comments
Labels: parser
#918 - Merge: declModifiers + fnModifiers
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 7 comments
Labels: parser
#918 - Merge: declModifiers + fnModifiers
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 7 comments
Labels: parser
#917 - Slightly improve MCTs
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: coverage
#917 - Slightly improve MCTs
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: coverage
#917 - Slightly improve MCTs
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: coverage
#916 - Unfold before termination check!
Pull Request -
State: closed - Opened by wsx-ucb over 1 year ago
- 7 comments
Labels: unfold, terck
#916 - Unfold before termination check!
Pull Request -
State: closed - Opened by wsx-ucb over 1 year ago
- 7 comments
Labels: unfold, terck
#916 - Unfold before termination check!
Pull Request -
State: closed - Opened by wsx-ucb over 1 year ago
- 7 comments
Labels: unfold, terck
#915 - Rework `Term` visitor to include patterns.
Pull Request -
State: closed - Opened by wsx-ucb over 1 year ago
- 8 comments
Labels: refactoring
#915 - Rework `Term` visitor to include patterns.
Pull Request -
State: closed - Opened by wsx-ucb over 1 year ago
- 8 comments
Labels: refactoring
#914 - Coverage checker bug
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: coverage
#914 - Coverage checker bug
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: coverage
#914 - Coverage checker bug
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: coverage
#913 - Partially address some problems in pretty printer
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: highlighter
#913 - Partially address some problems in pretty printer
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: highlighter
#913 - Partially address some problems in pretty printer
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: highlighter
#912 - Literate output problems
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 7 comments
Labels: literate, highlighter
#912 - Literate output problems
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 7 comments
Labels: literate, highlighter
#912 - Literate output problems
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 7 comments
Labels: literate, highlighter
#911 - Gradle upgrade
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 1 comment
Labels: build
#911 - Gradle upgrade
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 1 comment
Labels: build
#911 - Gradle upgrade
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 1 comment
Labels: build
#909 - Let Open Expr
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: syntax design
#909 - Let Open Expr
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 3 comments
Labels: syntax design
#908 - Predicativity assumption for terck
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: library, terck
#908 - Predicativity assumption for terck
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: library, terck
#907 - Predicativity of extension types (obviously) for terck
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: terck
#907 - Predicativity of extension types (obviously) for terck
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: terck
#907 - Predicativity of extension types (obviously) for terck
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: terck
#907 - Predicativity of extension types (obviously) for terck
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: terck
#906 - Fix graal, fix an infinite loop in `CallResolver`, implement unify for `MetaLitTerm`
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: bug, build
#906 - Fix graal, fix an infinite loop in `CallResolver`, implement unify for `MetaLitTerm`
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: bug, build
#906 - Fix graal, fix an infinite loop in `CallResolver`, implement unify for `MetaLitTerm`
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: bug, build
#905 - Try to fix GraalVM build
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: build
#905 - Try to fix GraalVM build
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: build
#904 - Improve library, support `aya-hidden`
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: literate, library
#904 - Improve library, support `aya-hidden`
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: literate, library
#904 - Improve library, support `aya-hidden`
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: literate, library
#904 - Improve library, support `aya-hidden`
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: literate, library
#904 - Improve library, support `aya-hidden`
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: literate, library
#903 - Dedicated token for eols
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: literate, highlighter
#903 - Dedicated token for eols
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: literate, highlighter
#903 - Dedicated token for eols
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: literate, highlighter
#903 - Dedicated token for eols
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: literate, highlighter
#902 - Improve LaTeX literate backend
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 3 comments
Labels: highlighter
#902 - Improve LaTeX literate backend
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 3 comments
Labels: highlighter
#902 - Improve LaTeX literate backend
Pull Request -
State: closed - Opened by imkiva over 1 year ago
- 3 comments
Labels: highlighter
#901 - Fix #900
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: bug
#901 - Fix #900
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: bug
#901 - Fix #900
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: bug
#901 - Fix #900
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: bug
#901 - Fix #900
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: bug
#901 - Fix #900
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: bug
#900 - NPE
Issue -
State: closed - Opened by ice1000 over 1 year ago
Labels: bug
#900 - NPE
Issue -
State: closed - Opened by ice1000 over 1 year ago
Labels: bug
#900 - NPE
Issue -
State: closed - Opened by ice1000 over 1 year ago
Labels: bug
#900 - NPE
Issue -
State: closed - Opened by ice1000 over 1 year ago
Labels: bug
#900 - NPE
Issue -
State: closed - Opened by ice1000 over 1 year ago
Labels: bug
#900 - NPE
Issue -
State: closed - Opened by ice1000 over 1 year ago
Labels: bug
#899 - Use snapshot jacoco
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: build, test fixtures
#899 - Use snapshot jacoco
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: build, test fixtures
#899 - Use snapshot jacoco
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: build, test fixtures
#899 - Use snapshot jacoco
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: build, test fixtures
#899 - Use snapshot jacoco
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: build, test fixtures
#899 - Use snapshot jacoco
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: build, test fixtures
#898 - Implement #896
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: feature, cherry-pick
#898 - Implement #896
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: feature, cherry-pick
#898 - Implement #896
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: feature, cherry-pick
#898 - Implement #896
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: feature, cherry-pick
#898 - Implement #896
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: feature, cherry-pick
#898 - Implement #896
Pull Request -
State: closed - Opened by ice1000 over 1 year ago
- 4 comments
Labels: feature, cherry-pick
#897 - Anonymous examples
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: feature, counterexample
#897 - Anonymous examples
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: feature, counterexample
#897 - Anonymous examples
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: feature, counterexample
#897 - Anonymous examples
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 2 comments
Labels: feature, counterexample
#896 - Support projection out of conCalls
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: feature
#896 - Support projection out of conCalls
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: feature
#896 - Support projection out of conCalls
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: feature
#896 - Support projection out of conCalls
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: feature
#896 - Support projection out of conCalls
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: feature
#896 - Support projection out of conCalls
Issue -
State: closed - Opened by ice1000 over 1 year ago
- 3 comments
Labels: feature
#895 - Leafover of #894
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 6 comments
Labels: resolving, syntax design
#895 - Leafover of #894
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 6 comments
Labels: resolving, syntax design
#895 - Leafover of #894
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 6 comments
Labels: resolving, syntax design
#895 - Leafover of #894
Pull Request -
State: closed - Opened by HoshinoTented over 1 year ago
- 6 comments
Labels: resolving, syntax design