JetBrains / 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 803 files with 76,933 lines of code.
    • 5 files changed more than 100 times (12,821 lines of code)
    • 19 files changed 51-100 times (15,302 lines of code)
    • 46 files changed 21-50 times (12,983 lines of code)
    • 213 files changed 6-20 times (19,825 lines of code)
    • 520 files changed 1-5 times (16,002 lines of code)
16% | 19% | 16% | 25% | 20%
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 803 files with 76,933 lines of code.
    • 0 files changed by more than 25 contributors (0 lines of code)
    • 0 files changed by 11-25 contributors (0 lines of code)
    • 11 files changed by 6-10 contributors (13,793 lines of code)
    • 615 files changed by 2-5 contributors (56,709 lines of code)
    • 177 files changed by 1 contributor (6,431 lines of code)
0% | 0% | 17% | 73% | 8%
Legend:
26+
11-25
6-10
2-5
1

explore: grouped by folders | grouped by contributors count | data
File Change Frequency per File Extension
java, kts, gitignore, proto, groovy, md, yaml, g4, txt, bat, editorconfig, properties
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
java16% | 19% | 16% | 25% | 20%
g40% | 100% | 0% | 0% | 0%
kts0% | 38% | 0% | 54% | 6%
proto0% | 0% | 92% | 0% | 7%
groovy0% | 0% | 0% | 40% | 59%
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
base19% | 18% | 17% | 26% | 18%
cli0% | 49% | 5% | 21% | 22%
buildSrc0% | 79% | 0% | 11% | 8%
ROOT0% | 90% | 0% | 9% | 0%
proto0% | 0% | 89% | 2% | 7%
api0% | 0% | 7% | 25% | 67%
parser0% | 0% | 0% | 0% | 100%
Most Frequently Changed Files (Top 50)

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
CheckTypeVisitor.java
in base/src/main/java/org/arend/typechecking/visitor
 3749 145 2020-03-12 2024-11-20 237 7 valery.isaev@gmail.com valery.isaev@gmail.com
DefinitionTypechecker.java
in base/src/main/java/org/arend/typechecking/visitor
 3381 67 2020-03-12 2024-11-20 195 6 valery.isaev@gmail.com valery.isaev@gmail.com
Concrete.java
in base/src/main/java/org/arend/term/concrete
 2482 418 2020-03-12 2024-05-07 129 5 valery.isaev@gmail.com valery.isaev@gmail.com
CompareVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 2131 83 2020-03-12 2024-10-04 124 5 valery.isaev@gmail.com valery.isaev@gmail.com
ToAbstractVisitor.java
in base/src/main/java/org/arend/term/prettyprint
 1078 23 2020-04-28 2024-04-16 101 5 valery.isaev@jetbrains.com valery.isaev@gmail.com
BuildVisitor.java
in cli/src/main/java/org/arend/frontend/parser
 1720 79 2020-03-12 2024-05-06 97 6 valery.isaev@gmail.com valery.isaev@gmail.com
ExpressionResolveNameVisitor.java
in base/src/main/java/org/arend/naming/resolving/visitor
 953 34 2020-03-12 2024-03-22 93 6 valery.isaev@gmail.com valery.isaev@gmail.com
DefinitionResolveNameVisitor.java
in base/src/main/java/org/arend/naming/resolving/visitor
 963 31 2020-03-12 2024-06-24 90 5 valery.isaev@gmail.com valery.isaev@gmail.com
NormalizeVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 1011 51 2020-03-12 2024-07-06 86 5 valery.isaev@gmail.com valery.isaev@gmail.com
CoreExpressionChecker.java
in base/src/main/java/org/arend/typechecking/doubleChecker
 874 56 2020-03-12 2024-11-20 85 4 valery.isaev@gmail.com valery.isaev@gmail.com
PrettyPrintVisitor.java
in base/src/main/java/org/arend/term/prettyprint
 1500 80 2020-03-12 2023-12-19 78 6 valery.isaev@gmail.com valery.isaev@gmail.com
PatternTypechecking.java
in base/src/main/java/org/arend/typechecking/patternmatching
 1045 20 2020-03-12 2024-11-20 77 4 valery.isaev@gmail.com valery.isaev@gmail.com
ConcreteBuilder.java
in base/src/main/java/org/arend/term/abs
 742 16 2020-03-12 2024-02-15 73 6 valery.isaev@gmail.com sinchukss@gmail.com
TwoStageEquations.java
in base/src/main/java/org/arend/typechecking/implicitargs/equations
 823 29 2020-03-12 2024-04-18 68 4 valery.isaev@gmail.com valery.isaev@gmail.com
StdImplicitArgsInference.java
in base/src/main/java/org/arend/typechecking/implicitargs
 853 15 2020-03-12 2024-04-16 67 5 valery.isaev@gmail.com valery.isaev@gmail.com
ConcreteFactoryImpl.java
in base/src/main/java/org/arend/extImpl
 803 52 2020-03-12 2023-06-22 66 6 valery.isaev@gmail.com fedor.part@gmail.com
Expression.java
in base/src/main/java/org/arend/core/expr
 632 57 2020-03-12 2024-04-18 64 5 valery.isaev@gmail.com valery.isaev@gmail.com
BaseCliFrontend.java
in cli/src/main/java/org/arend/frontend
 671 24 2020-03-12 2024-01-02 63 3 valery.isaev@gmail.com valery.isaev@gmail.com
Arend.g4
in buildSrc/src/main/antlr/org/arend/frontend/parser
 279 - 2020-03-05 2024-03-06 61 6 ice1000kotlin@foxmail.com valery.isaev@gmail.com
DefinitionDeserialization.java
in base/src/main/java/org/arend/module/serialization
 486 15 2020-03-12 2024-05-22 59 3 valery.isaev@gmail.com valery.isaev@gmail.com
78 - 2018-09-04 2024-07-05 55 6 chemike47@gmail.com valery.isaev@gmail.com
TypecheckingOrderingListener.java
in base/src/main/java/org/arend/typechecking/order/listener
 521 32 2020-03-12 2023-11-17 55 4 valery.isaev@gmail.com valery.isaev@gmail.com
Repl.java
in base/src/main/java/org/arend/repl
 280 21 2020-04-28 2023-08-03 54 4 ice1000kotlin@foxmail.com sinchukss@gmail.com
ElimTypechecking.java
in base/src/main/java/org/arend/typechecking/patternmatching
 1068 19 2020-03-12 2024-11-20 53 5 valery.isaev@gmail.com valery.isaev@gmail.com
DesugarVisitor.java
in base/src/main/java/org/arend/typechecking/visitor
 504 18 2020-03-12 2024-02-21 50 3 valery.isaev@gmail.com valery.isaev@gmail.com
Prelude.java
in base/src/main/java/org/arend/prelude
 439 43 2020-03-12 2024-02-09 49 6 valery.isaev@gmail.com valery.isaev@gmail.com
DefinitionSerialization.java
in base/src/main/java/org/arend/module/serialization
 461 5 2020-03-12 2024-05-22 49 3 valery.isaev@gmail.com valery.isaev@gmail.com
ExpressionTypechecker.java
in api/src/main/java/org/arend/ext/typechecking
 80 - 2020-03-12 2024-05-25 47 4 valery.isaev@gmail.com valery.isaev@gmail.com
GetTypeVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 458 36 2020-03-12 2024-07-30 47 4 valery.isaev@gmail.com valery.isaev@gmail.com
ExpressionDeserialization.java
in base/src/main/java/org/arend/module/serialization
 506 52 2020-03-12 2023-11-30 46 4 valery.isaev@gmail.com valery.isaev@gmail.com
ConcreteFactory.java
in api/src/main/java/org/arend/ext/concrete
 112 - 2020-03-12 2023-04-19 44 5 valery.isaev@gmail.com valery.isaev@gmail.com
proto
Definition.proto
in proto/src/main/proto
 234 - 2020-03-12 2024-05-22 42 3 valery.isaev@gmail.com valery.isaev@gmail.com
StripVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 321 39 2020-03-12 2023-11-30 42 4 valery.isaev@gmail.com valery.isaev@gmail.com
ClassDefinition.java
in base/src/main/java/org/arend/core/definition
 432 74 2020-03-12 2024-05-22 42 3 valery.isaev@gmail.com valery.isaev@gmail.com
ExpressionSerialization.java
in base/src/main/java/org/arend/module/serialization
 648 3 2020-03-12 2023-11-30 42 5 valery.isaev@gmail.com valery.isaev@gmail.com
SubstVisitor.java
in base/src/main/java/org/arend/core/subst
 306 35 2020-03-12 2023-11-30 41 4 valery.isaev@gmail.com valery.isaev@gmail.com
CorrespondedSubExprVisitor.java
in base/src/main/java/org/arend/typechecking/subexpr
 432 22 2020-03-12 2024-02-19 41 5 valery.isaev@gmail.com valery.isaev@gmail.com
ElimBindingVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 459 39 2020-03-12 2024-02-21 40 4 valery.isaev@gmail.com valery.isaev@gmail.com
SourceLibrary.java
in base/src/main/java/org/arend/library
 247 23 2020-03-12 2024-01-02 39 4 valery.isaev@gmail.com valery.isaev@gmail.com
Definition.java
in base/src/main/java/org/arend/core/definition
 252 49 2020-03-12 2024-01-09 39 3 valery.isaev@gmail.com valery.isaev@gmail.com
ModuleDeserialization.java
in base/src/main/java/org/arend/module/serialization
 378 11 2020-03-12 2024-11-20 38 4 valery.isaev@gmail.com valery.isaev@gmail.com
proto
Expression.proto
in proto/src/main/proto
 314 - 2020-03-12 2023-11-30 35 4 valery.isaev@gmail.com valery.isaev@gmail.com
ConstructorExpressionPattern.java
in base/src/main/java/org/arend/core/pattern
 444 34 2020-03-12 2024-03-01 35 3 valery.isaev@gmail.com valery.isaev@gmail.com
ClassCallExpression.java
in base/src/main/java/org/arend/core/expr
 509 47 2020-03-12 2024-04-18 34 3 valery.isaev@gmail.com valery.isaev@gmail.com
Ordering.java
in base/src/main/java/org/arend/typechecking/order
 298 16 2020-03-12 2023-11-17 32 3 valery.isaev@gmail.com valery.isaev@gmail.com
FunctionDefinition.java
in base/src/main/java/org/arend/core/definition
 196 42 2020-03-12 2022-09-20 31 4 valery.isaev@gmail.com valery.isaev@gmail.com
DataDefinition.java
in base/src/main/java/org/arend/core/definition
 202 38 2020-03-12 2022-10-16 31 4 valery.isaev@gmail.com valery.isaev@gmail.com
Abstract.java
in base/src/main/java/org/arend/term/abs
 246 8 2020-03-12 2023-04-27 31 5 valery.isaev@gmail.com valery.isaev@gmail.com
ModuleSerialization.java
in base/src/main/java/org/arend/module/serialization
 117 1 2020-03-12 2024-11-20 30 3 valery.isaev@gmail.com valery.isaev@gmail.com
CommonCliRepl.java
in cli/src/main/java/org/arend/frontend/repl
 286 15 2020-05-10 2022-07-22 30 2 ice1000kotlin@foxmail.com valery.isaev@gmail.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
CheckTypeVisitor.java
in base/src/main/java/org/arend/typechecking/visitor
 3749 145 2020-03-12 2024-11-20 237 7 valery.isaev@gmail.com valery.isaev@gmail.com
DefinitionTypechecker.java
in base/src/main/java/org/arend/typechecking/visitor
 3381 67 2020-03-12 2024-11-20 195 6 valery.isaev@gmail.com valery.isaev@gmail.com
BuildVisitor.java
in cli/src/main/java/org/arend/frontend/parser
 1720 79 2020-03-12 2024-05-06 97 6 valery.isaev@gmail.com valery.isaev@gmail.com
ExpressionResolveNameVisitor.java
in base/src/main/java/org/arend/naming/resolving/visitor
 953 34 2020-03-12 2024-03-22 93 6 valery.isaev@gmail.com valery.isaev@gmail.com
PrettyPrintVisitor.java
in base/src/main/java/org/arend/term/prettyprint
 1500 80 2020-03-12 2023-12-19 78 6 valery.isaev@gmail.com valery.isaev@gmail.com
ConcreteBuilder.java
in base/src/main/java/org/arend/term/abs
 742 16 2020-03-12 2024-02-15 73 6 valery.isaev@gmail.com sinchukss@gmail.com
ConcreteFactoryImpl.java
in base/src/main/java/org/arend/extImpl
 803 52 2020-03-12 2023-06-22 66 6 valery.isaev@gmail.com fedor.part@gmail.com
Arend.g4
in buildSrc/src/main/antlr/org/arend/frontend/parser
 279 - 2020-03-05 2024-03-06 61 6 ice1000kotlin@foxmail.com valery.isaev@gmail.com
78 - 2018-09-04 2024-07-05 55 6 chemike47@gmail.com valery.isaev@gmail.com
Prelude.java
in base/src/main/java/org/arend/prelude
 439 43 2020-03-12 2024-02-09 49 6 valery.isaev@gmail.com valery.isaev@gmail.com
StreamBinarySource.java
in base/src/main/java/org/arend/source
 149 5 2020-03-12 2024-09-30 20 6 valery.isaev@gmail.com sinchukss@gmail.com
Concrete.java
in base/src/main/java/org/arend/term/concrete
 2482 418 2020-03-12 2024-05-07 129 5 valery.isaev@gmail.com valery.isaev@gmail.com
CompareVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 2131 83 2020-03-12 2024-10-04 124 5 valery.isaev@gmail.com valery.isaev@gmail.com
ToAbstractVisitor.java
in base/src/main/java/org/arend/term/prettyprint
 1078 23 2020-04-28 2024-04-16 101 5 valery.isaev@jetbrains.com valery.isaev@gmail.com
DefinitionResolveNameVisitor.java
in base/src/main/java/org/arend/naming/resolving/visitor
 963 31 2020-03-12 2024-06-24 90 5 valery.isaev@gmail.com valery.isaev@gmail.com
NormalizeVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 1011 51 2020-03-12 2024-07-06 86 5 valery.isaev@gmail.com valery.isaev@gmail.com
StdImplicitArgsInference.java
in base/src/main/java/org/arend/typechecking/implicitargs
 853 15 2020-03-12 2024-04-16 67 5 valery.isaev@gmail.com valery.isaev@gmail.com
Expression.java
in base/src/main/java/org/arend/core/expr
 632 57 2020-03-12 2024-04-18 64 5 valery.isaev@gmail.com valery.isaev@gmail.com
ElimTypechecking.java
in base/src/main/java/org/arend/typechecking/patternmatching
 1068 19 2020-03-12 2024-11-20 53 5 valery.isaev@gmail.com valery.isaev@gmail.com
ConcreteFactory.java
in api/src/main/java/org/arend/ext/concrete
 112 - 2020-03-12 2023-04-19 44 5 valery.isaev@gmail.com valery.isaev@gmail.com
ExpressionSerialization.java
in base/src/main/java/org/arend/module/serialization
 648 3 2020-03-12 2023-11-30 42 5 valery.isaev@gmail.com valery.isaev@gmail.com
CorrespondedSubExprVisitor.java
in base/src/main/java/org/arend/typechecking/subexpr
 432 22 2020-03-12 2024-02-19 41 5 valery.isaev@gmail.com valery.isaev@gmail.com
Abstract.java
in base/src/main/java/org/arend/term/abs
 246 8 2020-03-12 2023-04-27 31 5 valery.isaev@gmail.com valery.isaev@gmail.com
UncheckedExpressionImpl.java
in base/src/main/java/org/arend/extImpl
 102 11 2020-04-03 2024-04-16 21 5 valery.isaev@jetbrains.com valery.isaev@gmail.com
DefinitionContributorImpl.java
in base/src/main/java/org/arend/extImpl
 106 4 2020-03-12 2023-06-22 21 5 valery.isaev@gmail.com fedor.part@gmail.com
UncheckedExpression.java
in api/src/main/java/org/arend/ext/core/expr
 32 - 2020-04-03 2024-04-16 19 5 valery.isaev@jetbrains.com valery.isaev@gmail.com
CoreExpressionChecker.java
in base/src/main/java/org/arend/typechecking/doubleChecker
 874 56 2020-03-12 2024-11-20 85 4 valery.isaev@gmail.com valery.isaev@gmail.com
PatternTypechecking.java
in base/src/main/java/org/arend/typechecking/patternmatching
 1045 20 2020-03-12 2024-11-20 77 4 valery.isaev@gmail.com valery.isaev@gmail.com
TwoStageEquations.java
in base/src/main/java/org/arend/typechecking/implicitargs/equations
 823 29 2020-03-12 2024-04-18 68 4 valery.isaev@gmail.com valery.isaev@gmail.com
TypecheckingOrderingListener.java
in base/src/main/java/org/arend/typechecking/order/listener
 521 32 2020-03-12 2023-11-17 55 4 valery.isaev@gmail.com valery.isaev@gmail.com
Repl.java
in base/src/main/java/org/arend/repl
 280 21 2020-04-28 2023-08-03 54 4 ice1000kotlin@foxmail.com sinchukss@gmail.com
GetTypeVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 458 36 2020-03-12 2024-07-30 47 4 valery.isaev@gmail.com valery.isaev@gmail.com
ExpressionTypechecker.java
in api/src/main/java/org/arend/ext/typechecking
 80 - 2020-03-12 2024-05-25 47 4 valery.isaev@gmail.com valery.isaev@gmail.com
ExpressionDeserialization.java
in base/src/main/java/org/arend/module/serialization
 506 52 2020-03-12 2023-11-30 46 4 valery.isaev@gmail.com valery.isaev@gmail.com
StripVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 321 39 2020-03-12 2023-11-30 42 4 valery.isaev@gmail.com valery.isaev@gmail.com
SubstVisitor.java
in base/src/main/java/org/arend/core/subst
 306 35 2020-03-12 2023-11-30 41 4 valery.isaev@gmail.com valery.isaev@gmail.com
ElimBindingVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 459 39 2020-03-12 2024-02-21 40 4 valery.isaev@gmail.com valery.isaev@gmail.com
SourceLibrary.java
in base/src/main/java/org/arend/library
 247 23 2020-03-12 2024-01-02 39 4 valery.isaev@gmail.com valery.isaev@gmail.com
ModuleDeserialization.java
in base/src/main/java/org/arend/module/serialization
 378 11 2020-03-12 2024-11-20 38 4 valery.isaev@gmail.com valery.isaev@gmail.com
proto
Expression.proto
in proto/src/main/proto
 314 - 2020-03-12 2023-11-30 35 4 valery.isaev@gmail.com valery.isaev@gmail.com
DataDefinition.java
in base/src/main/java/org/arend/core/definition
 202 38 2020-03-12 2022-10-16 31 4 valery.isaev@gmail.com valery.isaev@gmail.com
FunctionDefinition.java
in base/src/main/java/org/arend/core/definition
 196 42 2020-03-12 2022-09-20 31 4 valery.isaev@gmail.com valery.isaev@gmail.com
VoidExpressionVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 297 38 2020-03-12 2024-05-22 26 4 valery.isaev@gmail.com valery.isaev@gmail.com
ConcreteExpressionFactory.java
in base/src/main/java/org/arend/term/concrete
 207 6 2020-03-12 2023-01-19 26 4 valery.isaev@gmail.com valery.isaev@gmail.com
VoidConcreteVisitor.java
in base/src/main/java/org/arend/typechecking/visitor
 327 48 2020-03-12 2023-04-13 25 4 valery.isaev@gmail.com valery.isaev@gmail.com
BaseConcreteExpressionVisitor.java
in base/src/main/java/org/arend/term/concrete
 295 15 2020-03-12 2022-10-11 24 4 valery.isaev@gmail.com valery.isaev@gmail.com
TypeClassReferenceExtractVisitor.java
in base/src/main/java/org/arend/naming/resolving/visitor
 140 8 2020-03-12 2023-07-17 22 4 valery.isaev@gmail.com valery.isaev@gmail.com
MetaReferable.java
in base/src/main/java/org/arend/naming/reference
 122 10 2020-03-12 2024-11-20 22 4 valery.isaev@gmail.com valery.isaev@gmail.com
ExpressionFactory.java
in base/src/main/java/org/arend/core/expr
 90 21 2020-03-12 2023-04-19 20 4 valery.isaev@gmail.com valery.isaev@gmail.com
DefCallResult.java
in base/src/main/java/org/arend/typechecking/result
 176 14 2020-03-12 2024-04-16 20 4 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
ConcreteCompareVisitor.java
in base/src/main/java/org/arend/term/concrete
 615 51 2022-12-24 2024-05-22 17 1 valery.isaev@gmail.com valery.isaev@gmail.com
ReplaceDataVisitor.java
in base/src/main/java/org/arend/term/concrete
 329 9 2022-08-16 2023-08-03 10 1 valery.isaev@gmail.com valery.isaev@gmail.com
SubstConcreteVisitor.java
in base/src/main/java/org/arend/term/concrete
 310 13 2022-08-22 2023-04-10 7 1 valery.isaev@gmail.com valery.isaev@gmail.com
FixLevelParameters.java
in base/src/main/java/org/arend/typechecking/visitor
 195 18 2021-08-07 2022-10-01 6 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArrayExpression.java
in base/src/main/java/org/arend/core/expr
 170 16 2021-04-09 2024-03-01 17 1 valery.isaev@gmail.com valery.isaev@gmail.com
TypeConstructorExpression.java
in base/src/main/java/org/arend/core/expr
 167 16 2021-11-04 2021-12-21 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
ExpressionMatcher.java
in base/src/main/java/org/arend/typechecking/patternmatching
 167 4 2020-10-11 2024-02-19 9 1 valery.isaev@gmail.com valery.isaev@gmail.com
MinimizeLevelVisitor.java
in base/src/main/java/org/arend/typechecking/visitor
 155 26 2020-12-17 2023-04-19 10 1 valery.isaev@gmail.com valery.isaev@gmail.com
SizeExpressionVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 154 29 2021-08-07 2023-04-19 9 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendReplParser.java
in cli/src/main/java/org/arend/frontend/repl/jline
 108 8 2021-10-26 2021-10-26 1 1 ice1000kotlin@foxmail.com ice1000kotlin@foxmail.com
LocalExpressionPrettifier.java
in base/src/main/java/org/arend/term/prettyprint
 99 8 2024-04-16 2024-04-16 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
AtExpression.java
in base/src/main/java/org/arend/core/expr
 97 7 2021-09-29 2021-12-25 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
TopLevelDefinition.java
in base/src/main/java/org/arend/core/definition
 92 20 2022-08-25 2023-04-13 5 1 valery.isaev@gmail.com valery.isaev@gmail.com
LevelPair.java
in base/src/main/java/org/arend/core/subst
 85 16 2021-04-27 2021-12-29 10 1 valery.isaev@gmail.com valery.isaev@gmail.com
TCDefReferable.java
in base/src/main/java/org/arend/naming/reference
 77 11 2020-09-01 2020-09-28 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
MetaTopDefinition.java
in base/src/main/java/org/arend/core/definition
 76 13 2023-04-13 2023-04-18 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
FieldDFS.java
in base/src/main/java/org/arend/typechecking/dfs
 73 4 2024-02-19 2024-02-19 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ListLevels.java
in base/src/main/java/org/arend/core/subst
 72 9 2021-06-23 2021-12-21 4 1 valery.isaev@gmail.com valery.isaev@gmail.com
TypeDestructorExpression.java
in base/src/main/java/org/arend/core/expr
 72 8 2021-11-04 2021-11-04 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
CoreParameterBuilderImpl.java
in base/src/main/java/org/arend/extImpl
 72 2 2021-05-06 2022-04-06 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
FindLevelParameters.java
in base/src/main/java/org/arend/typechecking/visitor
 69 7 2021-08-07 2023-01-28 4 1 valery.isaev@gmail.com valery.isaev@gmail.com
PlainCliRepl.java
in cli/src/main/java/org/arend/frontend/repl
 61 9 2020-04-28 2020-05-31 11 1 ice1000kotlin@foxmail.com ice1000kotlin@foxmail.com
TermWithSubtermDoc.java
in base/src/main/java/org/arend/term/prettyprint
 60 7 2023-03-16 2024-04-16 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
PathExpression.java
in base/src/main/java/org/arend/core/expr
 58 8 2021-09-27 2022-04-10 4 1 valery.isaev@gmail.com valery.isaev@gmail.com
BoxExpression.java
in base/src/main/java/org/arend/core/expr
 58 11 2022-10-11 2023-11-30 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
TarjanSCC.java
in base/src/main/java/org/arend/typechecking/order
 57 4 2023-11-17 2023-11-17 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
Levels.java
in base/src/main/java/org/arend/core/subst
 56 8 2021-06-23 2021-12-21 4 1 valery.isaev@gmail.com valery.isaev@gmail.com
ConcreteAppBuilderImpl.java
in base/src/main/java/org/arend/extImpl
 56 1 2020-03-31 2020-03-31 1 1 valery.isaev@jetbrains.com valery.isaev@jetbrains.com
TCLevelReferable.java
in base/src/main/java/org/arend/naming/reference
 55 3 2022-07-04 2022-07-22 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
ListDefinitionListener.java
in api/src/main/java/org/arend/ext/typechecking
 55 7 2020-06-13 2021-03-22 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
ParamLevelVariable.java
in base/src/main/java/org/arend/core/context/binding
 52 11 2021-06-17 2021-09-05 4 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArrayConstructor.java
in base/src/main/java/org/arend/core/constructor
 52 9 2021-04-18 2021-09-05 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
InstanceInferenceError.java
in api/src/main/java/org/arend/ext/error
 52 9 2022-09-18 2024-04-16 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArgInferenceError.java
in api/src/main/java/org/arend/ext/error
 50 6 2022-09-18 2024-04-16 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
ParameterReferable.java
in base/src/main/java/org/arend/naming/reference
 47 5 2022-07-30 2023-07-17 5 1 valery.isaev@gmail.com valery.isaev@gmail.com
RecursiveInstanceInferenceError.java
in base/src/main/java/org/arend/typechecking/error/local/inference
 45 6 2022-09-18 2024-04-16 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
HaveClause.java
in base/src/main/java/org/arend/core/expr/let
 40 8 2020-11-17 2021-02-21 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
FieldCallSubstVisitor.java
in base/src/main/java/org/arend/core/expr/visitor
 40 4 2022-06-23 2022-06-23 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
WhereVarsCollector.java
in base/src/main/java/org/arend/typechecking/visitor
 40 2 2022-08-16 2022-08-23 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
FindLevelVariablesVisitor.java
in base/src/main/java/org/arend/term/concrete
 39 4 2022-08-17 2023-04-10 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
SuperLevelsMismatchError.java
in base/src/main/java/org/arend/typechecking/error/local
 38 3 2021-07-09 2021-09-05 2 1 valery.isaev@gmail.com valery.isaev@gmail.com
DFS.java
in base/src/main/java/org/arend/typechecking/dfs
 38 5 2024-02-19 2024-02-19 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
StringExpression.java
in base/src/main/java/org/arend/core/expr
 37 6 2023-04-19 2023-04-19 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ToAbstractWithSubexprVisitor.java
in base/src/main/java/org/arend/term/prettyprint
 37 2 2023-03-16 2024-04-16 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
PrintCommand.java
in base/src/main/java/org/arend/repl/action
 36 2 2021-10-31 2021-10-31 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ShowContextCommand.java
in base/src/main/java/org/arend/repl/action
 36 1 2023-08-02 2023-08-02 1 1 sinchukss@gmail.com sinchukss@gmail.com
PrettyPrinterConfigImpl.java
in api/src/main/java/org/arend/ext/prettyprinting
 36 4 2020-04-16 2020-04-16 1 1 valery.isaev@jetbrains.com valery.isaev@jetbrains.com
KeywordCompleter.java
in cli/src/main/java/org/arend/frontend/repl/jline
 35 2 2020-05-11 2020-05-31 2 1 ice1000kotlin@foxmail.com ice1000kotlin@foxmail.com
PatternDoc.java
in api/src/main/java/org/arend/ext/prettyprinting/doc
 35 5 2020-10-05 2020-10-05 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
SizeCommand.java
in base/src/main/java/org/arend/repl/action
 34 2 2021-10-31 2021-10-31 1 1 valery.isaev@gmail.com valery.isaev@gmail.com