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