JetBrains/intellij-arend issues and pull requests

#558 - Fix #110

Pull Request - State: closed - Opened by alex999990009 2 months ago

#557 - More intelligent behavior for Implement missing fields

Issue - State: open - Opened by sxhya 2 months ago
Labels: feature, D-medium, quickfix

#556 - Add desugar to ArendShowTypeAction

Pull Request - State: closed - Opened by alex999990009 2 months ago

#555 - Incorrect \import

Issue - State: closed - Opened by valis 2 months ago
Labels: bug

#554 - Fix #544

Pull Request - State: closed - Opened by alex999990009 2 months ago

#553 - Fix ArendTypedHandler, RedundantParens and GenerateMissingClauses

Pull Request - State: closed - Opened by alex999990009 3 months ago

#552 - Deadlock in read/write actions

Issue - State: closed - Opened by sxhya 3 months ago - 1 comment
Labels: bug

#550 - False positive redundant parentheses inspection

Issue - State: closed - Opened by sxhya 3 months ago
Labels: bug, redundant-parens

#545 - SlowOperationsException

Issue - State: closed - Opened by sxhya 4 months ago
Labels: bug

#544 - Proof searcher produces unsatisfactory search results

Issue - State: closed - Opened by sxhya 4 months ago
Labels: bug, D-medium, proof-search

#519 - Support 2024.2?

Issue - State: closed - Opened by ice1000 6 months ago - 3 comments

#110 - Support the `.arc` file type

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

#101 - NPE

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

#101 - NPE

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

#100 - Show types of declarations

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

#100 - Show types of declarations

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

#99 - Add PsiViewer

Pull Request - State: closed - Opened by ice1000 almost 5 years ago
Labels: building

#99 - Add PsiViewer

Pull Request - State: closed - Opened by ice1000 almost 5 years ago
Labels: building

#98 - Control whether to show implicits in #97

Pull Request - State: closed - Opened by ice1000 almost 5 years ago
Labels: subexpr

#98 - Control whether to show implicits in #97

Pull Request - State: closed - Opened by ice1000 almost 5 years ago
Labels: subexpr

#97 - Show expr type

Pull Request - State: closed - Opened by ice1000 almost 5 years ago
Labels: subexpr

#97 - Show expr type

Pull Request - State: closed - Opened by ice1000 almost 5 years ago
Labels: subexpr

#96 - Change grammar to improve formatting

Issue - State: closed - Opened by sxhya almost 5 years ago
Labels: parser

#96 - Change grammar to improve formatting

Issue - State: closed - Opened by sxhya almost 5 years ago
Labels: parser

#95 - Change explicitness of parameters

Issue - State: closed - Opened by valis almost 5 years ago
Labels: feature, D-medium

#95 - Change explicitness of parameters

Issue - State: closed - Opened by valis almost 5 years ago
Labels: feature, D-medium

#94 - Highlight expressions in error messages

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

#94 - Highlight expressions in error messages

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

#93 - Resolve references in error message

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

#93 - Resolve references in error message

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

#92 - Fix implementation of Referable interface

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

#92 - Fix implementation of Referable interface

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

#91 - Generate signatures for field implementations in instances

Issue - State: open - Opened by valis almost 5 years ago - 1 comment

#91 - Generate signatures for field implementations in instances

Issue - State: open - Opened by valis almost 5 years ago - 1 comment

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

Pull Request - State: closed - Opened by ice1000 almost 5 years ago
Labels: building

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

Pull Request - State: closed - Opened by ice1000 almost 5 years ago
Labels: building

#89 - Improve BinOpUtils

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

#89 - Improve BinOpUtils

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

#88 - Better names in generated patterns

Issue - State: closed - Opened by valis almost 5 years ago - 3 comments
Labels: pattern generator

#88 - Better names in generated patterns

Issue - State: closed - Opened by valis almost 5 years ago - 3 comments
Labels: pattern generator

#87 - Splitting patterns in tuples

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

#87 - Splitting patterns in tuples

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

#86 - Generate patterns for path types

Issue - State: closed - Opened by valis almost 5 years ago
Labels: enhancement, pattern generator

#86 - Generate patterns for path types

Issue - State: closed - Opened by valis almost 5 years ago
Labels: enhancement, pattern generator

#85 - Generate patterns for Sigma-types and records

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

#85 - Generate patterns for Sigma-types and records

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

#84 - Pattern generator for case expressions

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

#84 - Pattern generator for case expressions

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

#83 - Formatter improvement

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

#83 - Formatter improvement

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

#82 - No cast needed

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

#82 - No cast needed

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

#81 - Feature request: "refine"

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

#81 - Feature request: "refine"

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

#80 - Feature request: "fill goal"

Issue - State: closed - Opened by ice1000 almost 5 years ago
Labels: feature, typed goal

#80 - Feature request: "fill goal"

Issue - State: closed - Opened by ice1000 almost 5 years ago
Labels: feature, typed goal

#79 - Renaming does not work

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

#79 - Renaming does not work

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

#78 - Improve CI error message

Pull Request - State: closed - Opened by ice1000 almost 5 years ago
Labels: ci

#78 - Improve CI error message

Pull Request - State: closed - Opened by ice1000 almost 5 years ago
Labels: ci

#77 - Fix compilation

Pull Request - State: closed - Opened by ice1000 almost 5 years ago - 2 comments
Labels: building

#77 - Fix compilation

Pull Request - State: closed - Opened by ice1000 almost 5 years ago - 2 comments
Labels: building

#76 - Invalid PSI element exception

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

#76 - Invalid PSI element exception

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

#75 - Quick fix for \case without braces

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

#74 - Generate tuple patterns

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

#74 - Generate tuple patterns

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

#73 - Case split chooses unsafe names

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

#73 - Case split chooses unsafe names

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

#72 - 2019.3 Compatibility: NoSuchFieldError

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

#72 - 2019.3 Compatibility: NoSuchFieldError

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

#71 - Uninformative errors in the event log

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

#71 - Uninformative errors in the event log

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

#70 - Add a quickfix for MisplacedImport

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

#70 - Add a quickfix for MisplacedImport

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

#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 over 5 years ago

#66 - Correctly fix imports for infix and postfix operators

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

#65 - Parse documentation in source code

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

#65 - Parse documentation in source code

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

#64 - Stubs do not work

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

#64 - Stubs do not work

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

GitHub / JetBrains/intellij-arend issues and pull requests