Ecosyste.ms: Issues

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

GitHub / JetBrains/intellij-arend issues and pull requests

#552 - Deadlock in read/write actions

Issue - State: closed - Opened by sxhya 7 days ago - 1 comment
Labels: bug

#550 - False positive redundant parentheses inspection

Issue - State: closed - Opened by sxhya 10 days ago
Labels: bug, redundant-parens

#101 - NPE

Issue - State: closed - Opened by valis over 4 years ago
Labels: bug

#101 - NPE

Issue - State: closed - Opened by valis over 4 years ago
Labels: bug

#100 - Show types of declarations

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

#100 - Show types of declarations

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

#99 - Add PsiViewer

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: building

#99 - Add PsiViewer

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: building

#98 - Control whether to show implicits in #97

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: subexpr

#98 - Control whether to show implicits in #97

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: subexpr

#97 - Show expr type

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: subexpr

#97 - Show expr type

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: subexpr

#96 - Change grammar to improve formatting

Issue - State: closed - Opened by sxhya over 4 years ago
Labels: parser

#96 - Change grammar to improve formatting

Issue - State: closed - Opened by sxhya over 4 years ago
Labels: parser

#95 - Change explicitness of parameters

Issue - State: closed - Opened by valis over 4 years ago
Labels: feature, D-medium

#95 - Change explicitness of parameters

Issue - State: closed - Opened by valis over 4 years ago
Labels: feature, D-medium

#94 - Highlight expressions in error messages

Issue - State: closed - Opened by valis over 4 years ago
Labels: tool window

#94 - Highlight expressions in error messages

Issue - State: closed - Opened by valis over 4 years ago
Labels: tool window

#93 - Resolve references in error message

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

#93 - Resolve references in error message

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

#92 - Fix implementation of Referable interface

Issue - State: closed - Opened by valis over 4 years ago
Labels: internal

#92 - Fix implementation of Referable interface

Issue - State: closed - Opened by valis over 4 years ago
Labels: internal

#91 - Generate signatures for field implementations in instances

Issue - State: open - Opened by valis over 4 years ago - 1 comment

#91 - Generate signatures for field implementations in instances

Issue - State: open - Opened by valis over 4 years ago - 1 comment

#90 - Update gradle-intellij-plugin & gradle-grammar-kit-plugin

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: building

#90 - Update gradle-intellij-plugin & gradle-grammar-kit-plugin

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: building

#89 - Improve BinOpUtils

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

#89 - Improve BinOpUtils

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

#88 - Better names in generated patterns

Issue - State: closed - Opened by valis over 4 years ago - 3 comments
Labels: pattern generator

#88 - Better names in generated patterns

Issue - State: closed - Opened by valis over 4 years ago - 3 comments
Labels: pattern generator

#87 - Splitting patterns in tuples

Issue - State: closed - Opened by valis over 4 years ago
Labels: pattern generator

#87 - Splitting patterns in tuples

Issue - State: closed - Opened by valis over 4 years ago
Labels: pattern generator

#86 - Generate patterns for path types

Issue - State: closed - Opened by valis over 4 years ago
Labels: enhancement, pattern generator

#86 - Generate patterns for path types

Issue - State: closed - Opened by valis over 4 years ago
Labels: enhancement, pattern generator

#85 - Generate patterns for Sigma-types and records

Issue - State: closed - Opened by valis over 4 years ago
Labels: pattern generator

#85 - Generate patterns for Sigma-types and records

Issue - State: closed - Opened by valis over 4 years ago
Labels: pattern generator

#84 - Pattern generator for case expressions

Issue - State: closed - Opened by valis over 4 years ago
Labels: pattern generator

#84 - Pattern generator for case expressions

Issue - State: closed - Opened by valis over 4 years ago
Labels: pattern generator

#83 - Formatter improvement

Issue - State: closed - Opened by valis over 4 years ago
Labels: formatter

#83 - Formatter improvement

Issue - State: closed - Opened by valis over 4 years ago
Labels: formatter

#82 - No cast needed

Issue - State: closed - Opened by ice1000 over 4 years ago - 1 comment
Labels: D-easy

#82 - No cast needed

Issue - State: closed - Opened by ice1000 over 4 years ago - 1 comment
Labels: D-easy

#81 - Feature request: "refine"

Issue - State: closed - Opened by ice1000 over 4 years ago - 1 comment
Labels: feature, typed goal

#81 - Feature request: "refine"

Issue - State: closed - Opened by ice1000 over 4 years ago - 1 comment
Labels: feature, typed goal

#80 - Feature request: "fill goal"

Issue - State: closed - Opened by ice1000 over 4 years ago
Labels: feature, typed goal

#80 - Feature request: "fill goal"

Issue - State: closed - Opened by ice1000 over 4 years ago
Labels: feature, typed goal

#79 - Renaming does not work

Issue - State: closed - Opened by valis over 4 years ago - 4 comments
Labels: name resolution

#79 - Renaming does not work

Issue - State: closed - Opened by valis over 4 years ago - 4 comments
Labels: name resolution

#78 - Improve CI error message

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: ci

#78 - Improve CI error message

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: ci

#77 - Fix compilation

Pull Request - State: closed - Opened by ice1000 over 4 years ago - 2 comments
Labels: building

#77 - Fix compilation

Pull Request - State: closed - Opened by ice1000 over 4 years ago - 2 comments
Labels: building

#76 - Invalid PSI element exception

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

#76 - Invalid PSI element exception

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

#75 - Quick fix for \case without braces

Issue - State: closed - Opened by valis almost 5 years ago
Labels: quickfix

#74 - Generate tuple patterns

Issue - State: closed - Opened by valis almost 5 years ago - 2 comments
Labels: quickfix

#74 - Generate tuple patterns

Issue - State: closed - Opened by valis almost 5 years ago - 2 comments
Labels: quickfix

#73 - Case split chooses unsafe names

Issue - State: closed - Opened by rjmk almost 5 years ago - 1 comment

#73 - Case split chooses unsafe names

Issue - State: closed - Opened by rjmk almost 5 years ago - 1 comment

#72 - 2019.3 Compatibility: NoSuchFieldError

Issue - State: closed - Opened by ice1000 almost 5 years ago - 1 comment

#72 - 2019.3 Compatibility: NoSuchFieldError

Issue - State: closed - Opened by ice1000 almost 5 years ago - 1 comment

#71 - Uninformative errors in the event log

Issue - State: closed - Opened by ShrykeWindgrace almost 5 years ago - 3 comments

#71 - Uninformative errors in the event log

Issue - State: closed - Opened by ShrykeWindgrace almost 5 years ago - 3 comments

#70 - Add a quickfix for MisplacedImport

Issue - State: closed - Opened by valis almost 5 years ago
Labels: quickfix

#70 - Add a quickfix for MisplacedImport

Issue - State: closed - Opened by valis almost 5 years ago
Labels: quickfix

#69 - Add a quickfix for ExpectedConstructorError

Issue - State: closed - Opened by valis about 5 years ago
Labels: quickfix

#69 - Add a quickfix for ExpectedConstructorError

Issue - State: closed - Opened by valis about 5 years ago
Labels: quickfix

#68 - Add a quickfix for ImpossibleEliminationError

Issue - State: closed - Opened by valis about 5 years ago
Labels: quickfix

#68 - Add a quickfix for ImpossibleEliminationError

Issue - State: closed - Opened by valis about 5 years ago
Labels: quickfix

#67 - Add a quickfix for DataTypeNotEmptyError

Issue - State: closed - Opened by valis about 5 years ago
Labels: quickfix

#67 - Add a quickfix for DataTypeNotEmptyError

Issue - State: closed - Opened by valis about 5 years ago
Labels: quickfix

#66 - Correctly fix imports for infix and postfix operators

Issue - State: closed - Opened by valis about 5 years ago

#66 - Correctly fix imports for infix and postfix operators

Issue - State: closed - Opened by valis about 5 years ago

#65 - Parse documentation in source code

Issue - State: closed - Opened by valis about 5 years ago - 2 comments
Labels: documentation

#65 - Parse documentation in source code

Issue - State: closed - Opened by valis about 5 years ago - 2 comments
Labels: documentation

#64 - Stubs do not work

Issue - State: open - Opened by valis about 5 years ago - 5 comments
Labels: stubs

#64 - Stubs do not work

Issue - State: open - Opened by valis about 5 years ago - 5 comments
Labels: stubs

#63 - Ctrl+P does not work for infix and postfix notations

Issue - State: closed - Opened by valis about 5 years ago

#63 - Ctrl+P does not work for infix and postfix notations

Issue - State: closed - Opened by valis about 5 years ago

#62 - Indentation lost when pasting something syntactically incorrect

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

#62 - Indentation lost when pasting something syntactically incorrect

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

#61 - \elim cannot be nested!?

Issue - State: closed - Opened by andreasabel about 5 years ago - 3 comments

#61 - \elim cannot be nested!?

Issue - State: closed - Opened by andreasabel about 5 years ago - 3 comments

#60 - Qualified constructor treated as variable in pattern matching

Issue - State: closed - Opened by andreasabel about 5 years ago - 1 comment

#60 - Qualified constructor treated as variable in pattern matching

Issue - State: closed - Opened by andreasabel about 5 years ago - 1 comment

#59 - Infix notation not supported in patterns

Issue - State: closed - Opened by andreasabel about 5 years ago - 1 comment

#59 - Infix notation not supported in patterns

Issue - State: closed - Opened by andreasabel about 5 years ago - 1 comment

#58 - Confusing error when trying to overload constructor

Issue - State: closed - Opened by andreasabel about 5 years ago - 4 comments

#58 - Confusing error when trying to overload constructor

Issue - State: closed - Opened by andreasabel about 5 years ago - 4 comments

#57 - instance parameters are not resolved in the editor

Issue - State: closed - Opened by Odomontois over 5 years ago - 1 comment

#57 - instance parameters are not resolved in the editor

Issue - State: closed - Opened by Odomontois over 5 years ago - 1 comment

#56 - Scopes behave differently for ArendFile and inside ArendWhere.

Issue - State: closed - Opened by sxhya over 5 years ago
Labels: bug

#56 - Scopes behave differently for ArendFile and inside ArendWhere.

Issue - State: closed - Opened by sxhya over 5 years ago
Labels: bug

#55 - Exception in ArendStructureViewModel

Issue - State: closed - Opened by sxhya over 5 years ago

#55 - Exception in ArendStructureViewModel

Issue - State: closed - Opened by sxhya over 5 years ago

#54 - Fix menu elements for modules in usages view

Issue - State: closed - Opened by sxhya over 5 years ago - 1 comment

#54 - Fix menu elements for modules in usages view

Issue - State: closed - Opened by sxhya over 5 years ago - 1 comment

#53 - Wrong formatting of comments

Issue - State: closed - Opened by xamgore almost 6 years ago

#53 - Wrong formatting of comments

Issue - State: closed - Opened by xamgore almost 6 years ago