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
#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 almost 6 years ago
#55 - Exception in ArendStructureViewModel
Issue -
State: closed - Opened by sxhya almost 6 years ago
#54 - Fix menu elements for modules in usages view
Issue -
State: closed - Opened by sxhya almost 6 years ago
- 1 comment
#54 - Fix menu elements for modules in usages view
Issue -
State: closed - Opened by sxhya almost 6 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
#51 - Add "Remove already implemented field" intention
Issue -
State: closed - Opened by valis almost 6 years ago
#51 - Add "Remove already implemented field" intention
Issue -
State: closed - Opened by valis almost 6 years ago
#50 - Change signature refactoring
Issue -
State: closed - Opened by valis almost 6 years ago
Labels: refactoring, D-medium
#50 - Change signature refactoring
Issue -
State: closed - Opened by valis almost 6 years ago
Labels: refactoring, D-medium
#49 - Import error
Issue -
State: closed - Opened by demiurg906 about 6 years ago
- 1 comment
#49 - Import error
Issue -
State: closed - Opened by demiurg906 about 6 years ago
- 1 comment
#48 - Unable to run `./gradlew runIde`
Issue -
State: closed - Opened by breandan about 6 years ago
- 1 comment
#48 - Unable to run `./gradlew runIde`
Issue -
State: closed - Opened by breandan about 6 years ago
- 1 comment
#47 - Bug in idea-parser
Issue -
State: closed - Opened by demiurg906 about 6 years ago
#47 - Bug in idea-parser
Issue -
State: closed - Opened by demiurg906 about 6 years ago
#46 - Publish plugin on git push
Pull Request -
State: closed - Opened by xamgore about 6 years ago
#46 - Publish plugin on git push
Pull Request -
State: closed - Opened by xamgore about 6 years ago
#45 - Move refactoring
Issue -
State: closed - Opened by valis about 6 years ago
- 1 comment
#45 - Move refactoring
Issue -
State: closed - Opened by valis about 6 years ago
- 1 comment
#44 - Feature: swap parameters
Issue -
State: closed - Opened by xamgore about 6 years ago
- 3 comments
Labels: refactoring, feature
#44 - Feature: swap parameters
Issue -
State: closed - Opened by xamgore about 6 years ago
- 3 comments
Labels: refactoring, feature
#42 - NPE and checker crash
Issue -
State: closed - Opened by demiurg906 about 6 years ago
- 5 comments
#42 - NPE and checker crash
Issue -
State: closed - Opened by demiurg906 about 6 years ago
- 5 comments
#41 - Can not resolve fields of record constructed in \let statement
Issue -
State: closed - Opened by Odomontois about 6 years ago
#41 - Can not resolve fields of record constructed in \let statement
Issue -
State: closed - Opened by Odomontois about 6 years ago
#40 - Expand the comment on [Enter]
Issue -
State: closed - Opened by xamgore about 6 years ago
- 1 comment
#40 - Expand the comment on [Enter]
Issue -
State: closed - Opened by xamgore about 6 years ago
- 1 comment
#39 - Compability with IDEA 2018.3 EAP
Issue -
State: closed - Opened by demiurg906 about 6 years ago
#39 - Compability with IDEA 2018.3 EAP
Issue -
State: closed - Opened by demiurg906 about 6 years ago
#38 - NullPointerException on type check
Issue -
State: closed - Opened by xamgore about 6 years ago
- 1 comment
#38 - NullPointerException on type check
Issue -
State: closed - Opened by xamgore about 6 years ago
- 1 comment
#37 - Cleanup
Pull Request -
State: closed - Opened by mchernyavsky about 6 years ago
- 4 comments
#37 - Cleanup
Pull Request -
State: closed - Opened by mchernyavsky about 6 years ago
- 4 comments
#36 - Wrong syntax but successful typechecks
Issue -
State: closed - Opened by xamgore about 6 years ago
- 2 comments
#36 - Wrong syntax but successful typechecks
Issue -
State: closed - Opened by xamgore about 6 years ago
- 2 comments
#35 - Improve documentation markup
Pull Request -
State: closed - Opened by xamgore about 6 years ago
#35 - Improve documentation markup
Pull Request -
State: closed - Opened by xamgore about 6 years ago
#34 - Upload releases to plugins repository
Issue -
State: closed - Opened by xamgore about 6 years ago
- 2 comments
#33 - Expand "cons" abbreviation in inline documentation
Pull Request -
State: closed - Opened by xamgore about 6 years ago
- 3 comments
#32 - Rename Vclang to Arend
Pull Request -
State: closed - Opened by mchernyavsky about 6 years ago
#31 - Convert build.gradle to Kotlin
Pull Request -
State: closed - Opened by mchernyavsky about 6 years ago
#30 - Implement formatting model builder
Issue -
State: closed - Opened by sxhya over 6 years ago
Labels: enhancement, formatter, editor, feature, D-unknown
#29 - Keyword completion in name telescopes does not work
Issue -
State: closed - Opened by valis over 6 years ago
#28 - 3 Problems with typing curly brackets
Issue -
State: closed - Opened by sxhya over 6 years ago
Labels: bug, editor, D-hard
#27 - Allow instances of partially implemented classes or forbid them completely
Issue -
State: closed - Opened by sxhya over 6 years ago
Labels: bug, highlighting, type checking, D-unknown
#26 - Smarter highlighting and quickfixing of nameresolver errors
Issue -
State: closed - Opened by sxhya over 6 years ago
- 3 comments
Labels: enhancement, refactoring, feature, D-medium, quickfix
#25 - NPE in serialization after definition is typechecked
Issue -
State: closed - Opened by sxhya over 6 years ago
Labels: bug
#24 - Exception on using Ctrl+P on arguments of equality operator
Issue -
State: closed - Opened by sxhya over 6 years ago
Labels: bug
#23 - Exception on startup
Issue -
State: closed - Opened by part-xx over 6 years ago
- 1 comment
Labels: bug, D-unknown
#22 - Invalid identifiers in using lists obstruct valid identifiers in namespaces
Issue -
State: closed - Opened by sxhya over 6 years ago
Labels: bug, D-unknown
#21 - Stub elements are created after index initialization is complete
Issue -
State: closed - Opened by sxhya over 6 years ago
Labels: bug, D-unknown
#20 - Invalid Psi Elements in Definition Proxies
Issue -
State: closed - Opened by sxhya over 6 years ago
#19 - Can't access class field synonyms.
Issue -
State: closed - Opened by sxhya over 6 years ago
Labels: bug, D-unknown
#18 - Fix Travis build
Pull Request -
State: closed - Opened by mchernyavsky over 6 years ago
#17 - Exception when trying to add vclang sources as a separate module to a vclang-lib project
Issue -
State: closed - Opened by sxhya over 6 years ago
Labels: bug, D-unknown
#16 - 2 bugs in scopes
Issue -
State: closed - Opened by sxhya over 6 years ago
Labels: bug, completion, D-unknown
#15 - Refactorings and Typecheckerstate behave incoherently which may lead to an NPE
Issue -
State: closed - Opened by sxhya almost 7 years ago
Labels: bug, refactoring, type checking, D-unknown
#14 - Exception when marking an unmarked directory as a source root
Issue -
State: closed - Opened by sxhya almost 7 years ago
Labels: bug, D-unknown
#13 - Resolving symbols in Prelude
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, name resolution, D-unknown
#12 - Update demo text in VcColorSettingsPage
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
Labels: editor, D-easy
#11 - Implement Optimizing Imports
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
- 2 comments
Labels: enhancement, editor, feature
#10 - Implement Auto Import
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, editor, feature, D-hard
#9 - Implement Move refactorings
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, refactoring, feature, D-unknown
#8 - Improve TypeCheckRunConfigurationEditor
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
- 2 comments
Labels: enhancement, configuration, gui, D-medium
#7 - Add annotator for unresolved symbols
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, highlighting, name resolution, D-easy
#6 - Add annotator for type checking errors
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, highlighting, type checking, D-easy
#5 - Infinite recursion when using an identifier in nsCmdRoot
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
Labels: bug, name resolution, D-unknown
#4 - Implement Parameter Info
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, editor, feature, D-medium
#3 - Decide whether we want to have implementation of Reformat Code using PrettyPrinter
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
Labels: bug, formatter, D-unknown
#2 - Improve parser recovery
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, parser, D-hard
#1 - Keyword completion
Issue -
State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, completion, D-hard