JetBrains / intellij-arend
File Change Frequency

File change frequency (churn) shows the distribution of file updates (days with at least one commit).

Overview
File Change Frequency Overall
  • There are 625 files with 41,520 lines of code.
    • 9 files changed more than 100 times (4,302 lines of code)
    • 21 files changed 51-100 times (5,178 lines of code)
    • 60 files changed 21-50 times (8,247 lines of code)
    • 192 files changed 6-20 times (13,065 lines of code)
    • 343 files changed 1-5 times (10,728 lines of code)
10% | 12% | 19% | 31% | 25%
Legend:
101+
51-100
21-50
6-20
1-5

explore: grouped by folders | grouped by update frequency | data
Contributors Count Frequency Overall
  • There are 625 files with 41,520 lines of code.
    • 0 files changed by more than 25 contributors (0 lines of code)
    • 5 files changed by 11-25 contributors (1,513 lines of code)
    • 104 files changed by 6-10 contributors (14,495 lines of code)
    • 360 files changed by 2-5 contributors (20,710 lines of code)
    • 156 files changed by 1 contributor (4,802 lines of code)
0% | 3% | 34% | 49% | 11%
Legend:
26+
11-25
6-10
2-5
1

explore: grouped by folders | grouped by contributors count | data
File Change Frequency per File Extension
kt, svg, html, txt, java, xml, properties, yaml, kts, flex, css, gitignore, js, bat, md, json
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
kt9% | 12% | 20% | 31% | 25%
xml75% | 0% | 0% | 0% | 24%
kts98% | 0% | 0% | 0% | 1%
flex0% | 36% | 0% | 63% | 0%
html0% | 0% | <1% | 0% | 99%
java0% | 0% | 0% | 59% | 40%
css0% | 0% | 0% | 0% | 100%
js0% | 0% | 0% | 0% | 100%
File Change Frequency per Logical Decomposition
primary
primary (file change frequency)
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
src10% | 12% | 19% | 31% | 25%
ROOT98% | 0% | 0% | 0% | 1%
Most Frequently Changed Files (Top 50)

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
plugin.xml
in src/main/resources/META-INF
384 - 2017-07-03 2025-01-24 266 14 chemike47@gmail.com alex999990009@gmail.com
BasePass.kt
in src/main/kotlin/org/arend/highlight
633 9 2019-06-27 2024-10-18 161 11 valery.isaev@jetbrains.com sinchukss@gmail.com
TypeCheckingService.kt
in src/main/kotlin/org/arend/typechecking
404 20 2018-09-21 2024-09-09 155 10 valery.isaev@gmail.com valery.isaev@gmail.com
146 - 2018-08-31 2025-01-24 122 12 chemike47@gmail.com alex999990009@gmail.com
ArendRefactoringUtils.kt
in src/main/kotlin/org/arend/refactoring
743 25 2019-02-08 2024-05-17 122 10 sxh@ya.ru sinchukss@gmail.com
ArendCompletionContributor.kt
in src/main/kotlin/org/arend/codeInsight/completion
732 9 2018-09-21 2024-09-09 115 8 valery.isaev@gmail.com valery.isaev@gmail.com
ArendReference.kt
in src/main/kotlin/org/arend/resolving
279 8 2018-09-21 2025-02-13 103 9 valery.isaev@gmail.com alex999990009@gmail.com
SimpleArendBlock.kt
in src/main/kotlin/org/arend/formatting/block
392 5 2018-10-18 2024-03-05 103 9 sxh@ya.ru alex999990009@gmail.com
SplitAtomPatternIntention.kt
in src/main/kotlin/org/arend/intention
589 15 2019-08-22 2024-11-27 101 8 sxh@ya.ru alex999990009@gmail.com
ArendHighlightingPass.kt
in src/main/kotlin/org/arend/highlight
243 5 2019-06-21 2025-02-13 98 10 valery.isaev@jetbrains.com alex999990009@gmail.com
PsiElementUtils.kt
in src/main/kotlin/org/arend/psi
383 3 2018-09-21 2024-09-09 97 10 valery.isaev@gmail.com valery.isaev@gmail.com
ArendFile.kt
in src/main/kotlin/org/arend/psi
178 6 2018-09-21 2024-09-06 92 10 valery.isaev@gmail.com alex999990009@gmail.com
ArendPsiFactory.kt
in src/main/kotlin/org/arend/psi
167 10 2018-09-21 2024-09-04 85 11 valery.isaev@gmail.com sinchukss@gmail.com
ArendRawLibrary.kt
in src/main/kotlin/org/arend/module
194 7 2018-09-21 2024-01-02 79 6 valery.isaev@gmail.com valery.isaev@gmail.com
InjectedArendEditor.kt
in src/main/kotlin/org/arend/injection
357 13 2019-08-27 2024-12-20 77 10 valery.isaev@gmail.com sinchukss@gmail.com
TypeCheckProcessHandler.kt
in src/main/kotlin/org/arend/typechecking/execution
271 2 2018-09-21 2024-09-09 73 7 valery.isaev@gmail.com valery.isaev@gmail.com
ImplementMissingClausesQuickFix.kt
in src/main/kotlin/org/arend/quickfix
341 6 2019-08-05 2024-03-12 73 7 sxh@ya.ru sinchukss@gmail.com
ArendSubExprUtils.kt
in src/main/kotlin/org/arend/refactoring
297 7 2020-02-22 2024-11-27 68 9 ice1000kotlin@foxmail.com alex999990009@gmail.com
ArendMessagesView.kt
in src/main/kotlin/org/arend/toolWindow/errors
355 8 2019-08-23 2024-12-02 67 10 valery.isaev@gmail.com sinchukss@gmail.com
ArendCompositeElement.kt
in src/main/kotlin/org/arend/psi/ext
127 6 2018-09-21 2025-02-13 65 8 valery.isaev@gmail.com alex999990009@gmail.com
ArendParameterInfoHandler.kt
in src/main/kotlin/org/arend/codeInsight
74 6 2018-09-21 2024-03-26 64 9 valery.isaev@gmail.com sinchukss@gmail.com
Identifiers.kt
in src/main/kotlin/org/arend/psi/ext
193 4 2018-09-21 2023-08-10 63 7 valery.isaev@gmail.com valery.isaev@gmail.com
ArendModuleConfigService.kt
in src/main/kotlin/org/arend/module/config
254 9 2019-02-08 2024-11-07 61 8 valery.isaev@gmail.com alex999990009@gmail.com
ArendStartupActivity.kt
in src/main/kotlin/org/arend
46 2 2018-09-21 2024-12-17 59 9 valery.isaev@gmail.com alex999990009@gmail.com
ExpectedConstructorQuickFix.kt
in src/main/kotlin/org/arend/quickfix
937 29 2020-09-20 2024-03-12 58 4 sxh@ya.ru sinchukss@gmail.com
ArendMoveMembersDialog.kt
in src/main/kotlin/org/arend/refactoring/move
206 5 2019-01-22 2024-06-28 57 7 sxh@ya.ru alex999990009@gmail.com
ArendTokenType.kt
in src/main/kotlin/org/arend/psi
25 1 2018-09-21 2024-03-05 53 7 valery.isaev@gmail.com alex999990009@gmail.com
flex
ArendLexer.flex
in src/main/grammars
198 - 2018-09-21 2024-03-06 53 5 valery.isaev@gmail.com valery.isaev@gmail.com
PsiConcreteProvider.kt
in src/main/kotlin/org/arend/resolving
122 6 2018-09-21 2023-06-22 52 5 valery.isaev@gmail.com fedor.part@gmail.com
LibraryConfig.kt
in src/main/kotlin/org/arend/module/config
210 7 2019-02-08 2024-06-28 52 9 valery.isaev@gmail.com alex999990009@gmail.com
Constants.kt
in src/main/kotlin/org/arend/codeInsight/completion
49 - 2019-01-31 2024-06-18 47 7 valery.isaev@gmail.com valery.isaev@gmail.com
ChangeArgumentExplicitnessIntention.kt
in src/main/kotlin/org/arend/intention
54 2 2021-08-26 2024-03-26 43 6 sloboegen98@ya.ru sinchukss@gmail.com
ArendIcons.kt
in src/main/kotlin/org/arend
72 - 2018-09-21 2024-05-28 43 9 valery.isaev@gmail.com alex999990009@gmail.com
ArendChangeSignatureDialog.kt
in src/main/kotlin/org/arend/refactoring/changeSignature
348 20 2021-08-03 2024-06-17 41 5 sloboegen98@ya.ru valery.isaev@gmail.com
ArendProjectSettingsState.kt
in src/main/kotlin/org/arend/settings
53 - 2019-09-25 2022-04-23 38 7 valery.isaev@jetbrains.com valery.isaev@gmail.com
DataLocatedReferable.kt
in src/main/kotlin/org/arend/resolving
83 2 2018-09-21 2024-06-26 38 7 valery.isaev@gmail.com sinchukss@gmail.com
ResolveReferenceAction.kt
in src/main/kotlin/org/arend/quickfix/referenceResolve
61 4 2019-08-05 2024-05-17 37 7 sxh@ya.ru sinchukss@gmail.com
IntellijRepl.kt
in src/main/kotlin/org/arend/toolWindow/repl
143 7 2020-04-29 2023-08-08 37 5 ice1000kotlin@foxmail.com fedor.part@gmail.com
ArendReferenceNameCalculatorUtils.kt
in src/main/kotlin/org/arend/refactoring
313 12 2020-05-15 2025-02-13 37 8 sxh@ya.ru alex999990009@gmail.com
ArendMoveRefactoringProcessor.kt
in src/main/kotlin/org/arend/refactoring/move
591 7 2020-06-16 2024-06-17 37 6 sxh@ya.ru valery.isaev@gmail.com
ArendBinOpUtils.kt
in src/main/kotlin/org/arend/util
183 6 2020-02-07 2024-05-17 36 11 sxh@ya.ru sinchukss@gmail.com
ProjectUtils.kt
in src/main/kotlin/org/arend/util
79 - 2019-08-22 2024-09-09 35 8 valery.isaev@gmail.com valery.isaev@gmail.com
RedundantParensInspection.kt
in src/main/kotlin/org/arend/inspection
191 6 2021-07-08 2024-09-13 34 9 marat.khabibullin@jetbrains... sinchukss@gmail.com
ArendModuleConfigurationView.kt
in src/main/kotlin/org/arend/module/editor
261 8 2019-09-04 2024-07-05 34 7 valery.isaev@gmail.com alex999990009@gmail.com
TestBasedTypechecking.kt
in src/main/kotlin/org/arend/typechecking
44 1 2018-09-21 2023-01-18 32 4 valery.isaev@gmail.com valery.isaev@gmail.com
ArendResolveCache.kt
in src/main/kotlin/org/arend/resolving
75 5 2018-09-21 2024-09-09 32 8 valery.isaev@gmail.com valery.isaev@gmail.com
ArendImportHintAction.kt
in src/main/kotlin/org/arend/quickfix/referenceResolve
167 2 2019-08-05 2025-02-13 31 9 sxh@ya.ru alex999990009@gmail.com
ArendImportOptimizer.kt
in src/main/kotlin/org/arend/codeInsight
581 9 2022-01-17 2024-10-18 31 5 konstantin.nisht@jetbrains.com sinchukss@gmail.com
ProofSearchUI.kt
in src/main/kotlin/org/arend/search/proof
595 22 2021-11-15 2024-11-20 31 5 konstantin.nisht@jetbrains.com alex999990009@gmail.com
ArendReferableConverter.kt
in src/main/kotlin/org/arend/resolving
12 1 2018-09-21 2022-07-18 30 6 valery.isaev@gmail.com konstantin.nisht@jetbrains.com
Files With Most Contributors (Top 50)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
plugin.xml
in src/main/resources/META-INF
384 - 2017-07-03 2025-01-24 266 14 chemike47@gmail.com alex999990009@gmail.com
146 - 2018-08-31 2025-01-24 122 12 chemike47@gmail.com alex999990009@gmail.com
BasePass.kt
in src/main/kotlin/org/arend/highlight
633 9 2019-06-27 2024-10-18 161 11 valery.isaev@jetbrains.com sinchukss@gmail.com
ArendPsiFactory.kt
in src/main/kotlin/org/arend/psi
167 10 2018-09-21 2024-09-04 85 11 valery.isaev@gmail.com sinchukss@gmail.com
ArendBinOpUtils.kt
in src/main/kotlin/org/arend/util
183 6 2020-02-07 2024-05-17 36 11 sxh@ya.ru sinchukss@gmail.com
TypeCheckingService.kt
in src/main/kotlin/org/arend/typechecking
404 20 2018-09-21 2024-09-09 155 10 valery.isaev@gmail.com valery.isaev@gmail.com
ArendRefactoringUtils.kt
in src/main/kotlin/org/arend/refactoring
743 25 2019-02-08 2024-05-17 122 10 sxh@ya.ru sinchukss@gmail.com
ArendHighlightingPass.kt
in src/main/kotlin/org/arend/highlight
243 5 2019-06-21 2025-02-13 98 10 valery.isaev@jetbrains.com alex999990009@gmail.com
PsiElementUtils.kt
in src/main/kotlin/org/arend/psi
383 3 2018-09-21 2024-09-09 97 10 valery.isaev@gmail.com valery.isaev@gmail.com
ArendFile.kt
in src/main/kotlin/org/arend/psi
178 6 2018-09-21 2024-09-06 92 10 valery.isaev@gmail.com alex999990009@gmail.com
InjectedArendEditor.kt
in src/main/kotlin/org/arend/injection
357 13 2019-08-27 2024-12-20 77 10 valery.isaev@gmail.com sinchukss@gmail.com
ArendMessagesView.kt
in src/main/kotlin/org/arend/toolWindow/errors
355 8 2019-08-23 2024-12-02 67 10 valery.isaev@gmail.com sinchukss@gmail.com
ArendCustomSearcher.kt
in src/main/kotlin/org/arend/search
99 2 2018-09-21 2024-07-15 19 10 valery.isaev@gmail.com alex999990009@gmail.com
RemoveClarifyingParensIntention.kt
in src/main/kotlin/org/arend/intention
121 3 2021-05-21 2024-09-20 18 10 marat.khabibullin@jetbrains... sinchukss@gmail.com
ArendReference.kt
in src/main/kotlin/org/arend/resolving
279 8 2018-09-21 2025-02-13 103 9 valery.isaev@gmail.com alex999990009@gmail.com
SimpleArendBlock.kt
in src/main/kotlin/org/arend/formatting/block
392 5 2018-10-18 2024-03-05 103 9 sxh@ya.ru alex999990009@gmail.com
ArendSubExprUtils.kt
in src/main/kotlin/org/arend/refactoring
297 7 2020-02-22 2024-11-27 68 9 ice1000kotlin@foxmail.com alex999990009@gmail.com
ArendParameterInfoHandler.kt
in src/main/kotlin/org/arend/codeInsight
74 6 2018-09-21 2024-03-26 64 9 valery.isaev@gmail.com sinchukss@gmail.com
ArendStartupActivity.kt
in src/main/kotlin/org/arend
46 2 2018-09-21 2024-12-17 59 9 valery.isaev@gmail.com alex999990009@gmail.com
LibraryConfig.kt
in src/main/kotlin/org/arend/module/config
210 7 2019-02-08 2024-06-28 52 9 valery.isaev@gmail.com alex999990009@gmail.com
ArendIcons.kt
in src/main/kotlin/org/arend
72 - 2018-09-21 2024-05-28 43 9 valery.isaev@gmail.com alex999990009@gmail.com
RedundantParensInspection.kt
in src/main/kotlin/org/arend/inspection
191 6 2021-07-08 2024-09-13 34 9 marat.khabibullin@jetbrains... sinchukss@gmail.com
ArendImportHintAction.kt
in src/main/kotlin/org/arend/quickfix/referenceResolve
167 2 2019-08-05 2025-02-13 31 9 sxh@ya.ru alex999990009@gmail.com
BinOpParser.kt
in src/main/kotlin/org/arend/resolving/util
86 3 2020-09-20 2024-05-17 22 9 valery.isaev@gmail.com sinchukss@gmail.com
ArendHighlightingColors.kt
in src/main/kotlin/org/arend/highlight
41 - 2018-09-21 2023-12-15 15 9 valery.isaev@gmail.com 623606+valis@users.noreply....
ArendCompletionContributor.kt
in src/main/kotlin/org/arend/codeInsight/completion
732 9 2018-09-21 2024-09-09 115 8 valery.isaev@gmail.com valery.isaev@gmail.com
SplitAtomPatternIntention.kt
in src/main/kotlin/org/arend/intention
589 15 2019-08-22 2024-11-27 101 8 sxh@ya.ru alex999990009@gmail.com
ArendCompositeElement.kt
in src/main/kotlin/org/arend/psi/ext
127 6 2018-09-21 2025-02-13 65 8 valery.isaev@gmail.com alex999990009@gmail.com
ArendModuleConfigService.kt
in src/main/kotlin/org/arend/module/config
254 9 2019-02-08 2024-11-07 61 8 valery.isaev@gmail.com alex999990009@gmail.com
ArendReferenceNameCalculatorUtils.kt
in src/main/kotlin/org/arend/refactoring
313 12 2020-05-15 2025-02-13 37 8 sxh@ya.ru alex999990009@gmail.com
ProjectUtils.kt
in src/main/kotlin/org/arend/util
79 - 2019-08-22 2024-09-09 35 8 valery.isaev@gmail.com valery.isaev@gmail.com
ArendResolveCache.kt
in src/main/kotlin/org/arend/resolving
75 5 2018-09-21 2024-09-09 32 8 valery.isaev@gmail.com valery.isaev@gmail.com
ArendClassHierarchyBrowser.kt
in src/main/kotlin/org/arend/hierarchy/clazz
177 8 2018-09-21 2024-09-09 30 8 valery.isaev@gmail.com valery.isaev@gmail.com
ArendMessagesService.kt
in src/main/kotlin/org/arend/toolWindow/errors
70 7 2019-08-25 2024-09-09 30 8 valery.isaev@jetbrains.com valery.isaev@gmail.com
ArendPreludeLibrary.kt
in src/main/kotlin/org/arend/module
68 6 2018-09-21 2024-03-27 28 8 valery.isaev@gmail.com sinchukss@gmail.com
ArendShowTypeAction.kt
in src/main/kotlin/org/arend/actions
117 1 2020-02-09 2024-09-23 27 8 ice1000kotlin@foxmail.com alex999990009@gmail.com
ArendErrorTree.kt
in src/main/kotlin/org/arend/toolWindow/errors/tree
207 7 2019-08-23 2024-05-15 23 8 valery.isaev@gmail.com alex999990009@gmail.com
ArendPrintOptionsFilterAction.kt
in src/main/kotlin/org/arend/toolWindow/errors
67 1 2019-10-24 2024-06-19 22 8 sxh@ya.ru alex999990009@gmail.com
ArendLineMarkerProvider.kt
in src/main/kotlin/org/arend/codeInsight
43 2 2019-09-02 2024-07-05 20 8 fedor.part@gmail.com alex999990009@gmail.com
Utils.kt
in src/main/kotlin/org/arend/yaml
109 - 2020-02-23 2024-03-20 19 8 ice1000kotlin@foxmail.com sinchukss@gmail.com
ArendMessagesViewEditor.kt
in src/main/kotlin/org/arend/toolWindow/errors
58 4 2021-09-22 2024-04-23 18 8 marat.khabibullin@jetbrains... alex999990009@gmail.com
PsiHyperlinkInfo.kt
in src/main/kotlin/org/arend/typechecking/error
68 4 2019-09-19 2024-06-17 16 8 valery.isaev@jetbrains.com valery.isaev@gmail.com
InteractiveGoalSolverQuickFix.kt
in src/main/kotlin/org/arend/quickfix
56 1 2020-05-10 2025-02-13 15 8 valery.isaev@jetbrains.com alex999990009@gmail.com
ArendGotoNextErrorAction.kt
in src/main/kotlin/org/arend/actions
74 2 2020-05-10 2024-06-17 15 8 valery.isaev@jetbrains.com valery.isaev@gmail.com
ImplementMissingClausesQuickFix.kt
in src/main/kotlin/org/arend/quickfix
341 6 2019-08-05 2024-03-12 73 7 sxh@ya.ru sinchukss@gmail.com
TypeCheckProcessHandler.kt
in src/main/kotlin/org/arend/typechecking/execution
271 2 2018-09-21 2024-09-09 73 7 valery.isaev@gmail.com valery.isaev@gmail.com
Identifiers.kt
in src/main/kotlin/org/arend/psi/ext
193 4 2018-09-21 2023-08-10 63 7 valery.isaev@gmail.com valery.isaev@gmail.com
ArendMoveMembersDialog.kt
in src/main/kotlin/org/arend/refactoring/move
206 5 2019-01-22 2024-06-28 57 7 sxh@ya.ru alex999990009@gmail.com
ArendTokenType.kt
in src/main/kotlin/org/arend/psi
25 1 2018-09-21 2024-03-05 53 7 valery.isaev@gmail.com alex999990009@gmail.com
Constants.kt
in src/main/kotlin/org/arend/codeInsight/completion
49 - 2019-01-31 2024-06-18 47 7 valery.isaev@gmail.com valery.isaev@gmail.com
Files With Least Contributors (Top 50)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
UsageEntry.kt
in src/main/kotlin/org/arend/refactoring/changeSignature/entries
279 9 2023-06-25 2024-05-25 6 1 sinchukss@gmail.com sinchukss@gmail.com
ArendScratchFileEditorProvider.kt
in src/main/kotlin/org/arend/scratch
239 20 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ParameterDescriptor.kt
in src/main/kotlin/org/arend/codeInsight
232 4 2024-02-22 2024-05-17 5 1 sinchukss@gmail.com sinchukss@gmail.com
ArendParametersInfo.kt
in src/main/kotlin/org/arend/refactoring/changeSignature
192 5 2024-02-22 2024-02-22 1 1 sinchukss@gmail.com sinchukss@gmail.com
ProofSearchQuery.kt
in src/main/kotlin/org/arend/search/proof
170 4 2022-02-08 2022-02-20 4 1 konstantin.nisht@jetbrains.com konstantin.nisht@jetbrains.com
ArendManipulateImplicitArgumentComponent.kt
in src/main/kotlin/org/arend/ui
145 9 2022-04-15 2022-06-06 5 1 konstantin.nisht@jetbrains.com konstantin.nisht@jetbrains.com
AbstractExpressionEntry.kt
in src/main/kotlin/org/arend/refactoring/changeSignature/entries
128 1 2024-05-17 2024-05-25 2 1 sinchukss@gmail.com sinchukss@gmail.com
Arend.xml
in src/main/resources/liveTemplates
112 - 2022-01-20 2022-01-24 2 1 marat.khabibullin@jetbrains... marat.khabibullin@jetbrains...
ArendScratchTopPanel.kt
in src/main/kotlin/org/arend/scratch
98 9 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ListsDnD.kt
in src/main/kotlin/org/arend/ui
87 2 2019-09-07 2019-09-07 1 1 valery.isaev@jetbrains.com valery.isaev@jetbrains.com
ArendIPName.kt
in src/main/kotlin/org/arend/psi/ext
83 - 2022-09-04 2022-09-04 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendRunScratchAction.kt
in src/main/kotlin/org/arend/scratch/actions
81 4 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
CoClauseEntry.kt
in src/main/kotlin/org/arend/refactoring/changeSignature/entries
78 1 2024-03-12 2024-05-25 3 1 sinchukss@gmail.com sinchukss@gmail.com
ArendDefClass.kt
in src/main/kotlin/org/arend/psi/ext
77 - 2022-09-04 2024-02-02 4 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendTele.kt
in src/main/kotlin/org/arend/psi/ext
67 - 2022-09-04 2023-08-10 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendDefFunction.kt
in src/main/kotlin/org/arend/psi/ext
64 4 2022-09-04 2022-09-04 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendCoClauseDef.kt
in src/main/kotlin/org/arend/psi/ext
61 - 2022-09-04 2023-01-18 4 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendArgument.kt
in src/main/kotlin/org/arend/psi/ext
56 1 2022-09-04 2023-08-10 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendDefInstance.kt
in src/main/kotlin/org/arend/psi/ext
55 4 2022-09-04 2022-09-04 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendDefData.kt
in src/main/kotlin/org/arend/psi/ext
55 2 2022-09-04 2023-08-10 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendNewExpr.kt
in src/main/kotlin/org/arend/psi/ext
54 1 2022-09-04 2023-08-10 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendDefinitionInlayProvider.kt
in src/main/kotlin/org/arend/codeInsight/hints
50 2 2023-01-04 2024-09-09 4 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendFunctionDefinition.kt
in src/main/kotlin/org/arend/psi/ext
48 1 2022-09-04 2023-08-10 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
CoClauseBase.kt
in src/main/kotlin/org/arend/psi/ext
44 2 2022-09-04 2023-08-10 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
FileUtils.kt
in src/main/kotlin/org/arend/util
43 - 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendStatCmd.kt
in src/main/kotlin/org/arend/psi/ext
42 1 2022-09-04 2023-08-10 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendTrace.kt
in src/main/kotlin/org/arend/tracer
41 1 2022-01-27 2022-02-24 3 1 marat.khabibullin@jetbrains... marat.khabibullin@jetbrains...
ArendExtensionChangeService.kt
in src/main/kotlin/org/arend/typechecking
40 4 2024-09-09 2024-09-09 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendScratchFileCreationHelper.kt
in src/main/kotlin/org/arend/scratch
39 2 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchFileModuleInfoProvider.kt
in src/main/kotlin/org/arend/scratch
38 1 2025-01-24 2025-02-13 2 1 alex999990009@gmail.com alex999990009@gmail.com
ArendPattern.kt
in src/main/kotlin/org/arend/psi/ext
38 1 2022-09-04 2023-08-10 5 1 valery.isaev@gmail.com valery.isaev@gmail.com
UndoableConfigModificationAction.kt
in src/main/kotlin/org/arend/injection/actions
37 4 2022-04-15 2022-04-18 2 1 konstantin.nisht@jetbrains.com konstantin.nisht@jetbrains.com
ArendCallerTreeStructure.kt
in src/main/kotlin/org/arend/hierarchy/call
36 1 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendGroup.kt
in src/main/kotlin/org/arend/psi/ext
34 8 2022-09-04 2022-09-04 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendAtomLevelExpr.kt
in src/main/kotlin/org/arend/psi/ext
34 1 2022-09-04 2023-08-10 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendLiteral.kt
in src/main/kotlin/org/arend/psi/ext
34 1 2022-09-04 2023-08-10 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendTextualParameter.kt
in src/main/kotlin/org/arend/refactoring/changeSignature
34 4 2024-02-22 2024-02-22 1 1 sinchukss@gmail.com sinchukss@gmail.com
ArendLongNameCodeFragment.kt
in src/main/kotlin/org/arend/refactoring/move
32 - 2023-09-21 2023-09-21 1 1 sinchukss@gmail.com sinchukss@gmail.com
ArendCalleeTreeStructure.kt
in src/main/kotlin/org/arend/hierarchy/call
31 1 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendBraceMatcher.kt
in src/main/kotlin/org/arend
31 1 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendScratchFile.kt
in src/main/kotlin/org/arend/scratch
31 2 2025-01-24 2025-02-13 2 1 alex999990009@gmail.com alex999990009@gmail.com
ArendLongName.kt
in src/main/kotlin/org/arend/psi/ext
31 2 2022-09-04 2022-09-04 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendCaseExpr.kt
in src/main/kotlin/org/arend/psi/ext
30 1 2022-09-04 2023-08-10 4 1 valery.isaev@gmail.com valery.isaev@gmail.com
AppExpressionEntry.kt
in src/main/kotlin/org/arend/refactoring/changeSignature/entries
29 - 2023-06-25 2024-05-17 3 1 sinchukss@gmail.com sinchukss@gmail.com
PatternEntry.kt
in src/main/kotlin/org/arend/refactoring/changeSignature/entries
28 - 2023-06-25 2024-05-17 3 1 sinchukss@gmail.com sinchukss@gmail.com
UnblockingDocumentAction.kt
in src/main/kotlin/org/arend/injection/actions
28 4 2022-04-11 2022-04-18 2 1 konstantin.nisht@jetbrains.com konstantin.nisht@jetbrains.com
ArendAtom.kt
in src/main/kotlin/org/arend/psi/ext
27 - 2022-09-04 2023-08-10 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendLongNameExpr.kt
in src/main/kotlin/org/arend/psi/ext
27 1 2022-09-04 2023-08-10 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendFunctionBody.kt
in src/main/kotlin/org/arend/psi/ext
25 - 2022-09-04 2023-08-10 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
DefinitionProxy.kt
in src/main/kotlin/org/arend/typechecking/execution
25 - 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com