-
Notifications
You must be signed in to change notification settings - Fork 13
Insights: JetBrains/intellij-arend
Overview
-
- 3 Merged pull requests
- 0 Open pull requests
- 6 Closed issues
- 2 New issues
Loading
Could not load contribution data
Please try again later
Loading
1 Release published by 1 person
-
v1.10
published
Jul 5, 2024
3 Pull requests merged by 1 person
-
Fix exceptions
#530 merged
Jul 5, 2024 -
Fixes with graph visualization and html generation
#529 merged
Jul 5, 2024 -
Fix #349 and #415
#524 merged
Jul 3, 2024
6 Issues closed by 1 person
-
ConcurrentModificationException
#526 closed
Jul 5, 2024 -
SlowOperationsException
#525 closed
Jul 5, 2024 -
Do not use PsiElement for PopupModel
#527 closed
Jul 5, 2024 -
Exception in Module Configuration Window
#410 closed
Jul 3, 2024 -
False positive redundant parens inspection
#415 closed
Jul 3, 2024 -
False negative: redundant parentheses is not shown on level arguments
#349 closed
Jul 3, 2024
2 Issues opened by 2 people
-
incorrect behaviour of Quick braces switch intention
#531 opened
Jul 8, 2024 -
Incorrect data is fed into DataValidator
#528 opened
Jul 3, 2024
3 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Warning when attempting to patternmatch on unimported constructors
#388 commented on
Jul 3, 2024 • 0 new comments -
`Shift+Ctrl+P` should actually typecheck pieces of code upon which it is invoked
#430 commented on
Jul 3, 2024 • 0 new comments -
Add support of numerals to Arend proof search
#390 commented on
Jul 3, 2024 • 0 new comments