JetBrains / Arend
File Age & Freshness

File age measurements show the distribution of file ages (days since the first commit) and the file freshness (days since the latest commit).

Summary
File Change History Overall
File Age Distribution Overall
Days since first update
  • There are 803 files with 76,933 lines of code in files.
    • 803 files that are 366+ days old (76,933 lines of code)
    • 0 files that are 181-365 days old (0 lines of code)
    • 0 files that are 91-180 days old (0 lines of code)
    • 0 files that are 31-90 days old (0 lines of code)
    • 0 files that are 1-30 days old (0 lines of code)
100% | 0% | 0% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by age
File Freshness Distribution Overall
Days since last update
  • There are 803 files with 76,933 lines of code in files.
    • 803 files have been last changed 366+ days ago (76,933 lines of code)
    • 0 files have been last changed 181-365 days ago (0 lines of code)
    • 0 files have been last changed 91-180 days ago (0 lines of code)
    • 0 files have been last changed 31-90 days ago (0 lines of code)
    • 0 files have been last changed 1-30 days ago (0 lines of code)
100% | 0% | 0% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by freshness
File Change History per File Extension
java, kts, gitignore, proto, groovy, md, yaml, g4, txt, bat, editorconfig, properties
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
java100% | 0% | 0% | 0% | 0%
proto100% | 0% | 0% | 0% | 0%
g4100% | 0% | 0% | 0% | 0%
kts100% | 0% | 0% | 0% | 0%
groovy100% | 0% | 0% | 0% | 0%
File Freshness Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
java100% | 0% | 0% | 0% | 0%
proto100% | 0% | 0% | 0% | 0%
g4100% | 0% | 0% | 0% | 0%
kts100% | 0% | 0% | 0% | 0%
groovy100% | 0% | 0% | 0% | 0%
File Change History per Logical Decomposition
primary
primary (file age distribution)
Days since first update
366+
181-365
91-180
31-90
1-30
base100% | 0% | 0% | 0% | 0%
cli100% | 0% | 0% | 0% | 0%
api100% | 0% | 0% | 0% | 0%
proto100% | 0% | 0% | 0% | 0%
buildSrc100% | 0% | 0% | 0% | 0%
ROOT100% | 0% | 0% | 0% | 0%
parser100% | 0% | 0% | 0% | 0%
primary (file freshness distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
base100% | 0% | 0% | 0% | 0%
cli100% | 0% | 0% | 0% | 0%
api100% | 0% | 0% | 0% | 0%
proto100% | 0% | 0% | 0% | 0%
buildSrc100% | 0% | 0% | 0% | 0%
ROOT100% | 0% | 0% | 0% | 0%
parser100% | 0% | 0% | 0% | 0%
Oldest Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
78 - 2018-09-04 2024-07-05 55 6 chemike47@gmail.com valery.isaev@gmail.com
8 - 2018-09-04 2020-04-28 7 4 chemike47@gmail.com ice1000kotlin@foxmail.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
build.gradle.kts
in buildSrc
 19 - 2020-03-05 2023-09-13 6 4 ice1000kotlin@foxmail.com valery.isaev@gmail.com
GenerateVersionTask.groovy
in buildSrc/src/main/groovy/org/arend/gradle
 31 1 2020-03-06 2021-09-20 4 4 ice1000kotlin@foxmail.com valery.isaev@gmail.com
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
ConditionsChecking.java
in base/src/main/java/org/arend/typechecking/patternmatching
 355 10 2020-03-12 2024-07-06 20 3 valery.isaev@gmail.com valery.isaev@gmail.com
CoreDefinitionChecker.java
in base/src/main/java/org/arend/typechecking/doubleChecker
 353 10 2020-03-12 2024-02-21 23 3 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
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
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
ScopeFactory.java
in base/src/main/java/org/arend/naming/scope
 312 2 2020-03-12 2023-08-31 21 3 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
CoerceData.java
in base/src/main/java/org/arend/core/definition
 305 20 2020-03-12 2022-07-13 19 2 valery.isaev@gmail.com valery.isaev@gmail.com
BranchElimTree.java
in base/src/main/java/org/arend/core/elimtree
 304 16 2020-03-12 2024-02-19 18 2 valery.isaev@gmail.com valery.isaev@gmail.com
LexicalScope.java
in base/src/main/java/org/arend/naming/scope
 304 15 2020-03-12 2022-08-26 15 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
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
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
Files Not Recently Changed (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
Fixity.java
in base/src/main/java/org/arend/term
 2 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ConcreteLetClause.java
in api/src/main/java/org/arend/ext/concrete
 3 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ConcreteClassElement.java
in api/src/main/java/org/arend/ext/concrete
 3 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ConcreteLevel.java
in api/src/main/java/org/arend/ext/concrete
 3 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CoreBody.java
in api/src/main/java/org/arend/ext/core/body
 3 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ParseException.java
in cli/src/main/java/org/arend/frontend/parser
 3 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ComputationInterruptedException.java
in base/src/main/java/org/arend/util
 3 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ErrorReporter.java
in api/src/main/java/org/arend/ext/error
 4 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ClassLoaderDelegate.java
in base/src/main/java/org/arend/library/classLoader
 4 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ConcreteSourceNode.java
in api/src/main/java/org/arend/ext/concrete
 5 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CorePEvalExpression.java
in api/src/main/java/org/arend/ext/core/expr
 5 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CoreInferenceVariable.java
in api/src/main/java/org/arend/ext/core/context
 5 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ConcreteReferableDefinitionVisitor.java
in base/src/main/java/org/arend/term/concrete
 5 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
InferenceVariableListener.java
in base/src/main/java/org/arend/typechecking/implicitargs/equations
 5 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
Function.java
in base/src/main/java/org/arend/core/definition
 5 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ConcreteArgument.java
in api/src/main/java/org/arend/ext/concrete/expr
 6 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ConcreteTupleExpression.java
in api/src/main/java/org/arend/ext/concrete/expr
 6 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ConcreteNumberExpression.java
in api/src/main/java/org/arend/ext/concrete/expr
 6 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CoreInferenceReferenceExpression.java
in api/src/main/java/org/arend/ext/core/expr
 6 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CoreSigmaExpression.java
in api/src/main/java/org/arend/ext/core/expr
 6 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CoreReferenceExpression.java
in api/src/main/java/org/arend/ext/core/expr
 6 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CoreUniverseExpression.java
in api/src/main/java/org/arend/ext/core/expr
 6 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CoreEvaluatingBinding.java
in api/src/main/java/org/arend/ext/core/context
 6 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
IncompleteExpressionError.java
in base/src/main/java/org/arend/term/abs
 6 1 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
Reference.java
in base/src/main/java/org/arend/naming/reference
 6 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
TypecheckedReporter.java
in base/src/main/java/org/arend/typechecking
 6 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ConcreteAppExpression.java
in api/src/main/java/org/arend/ext/concrete/expr
 7 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CoreTupleExpression.java
in api/src/main/java/org/arend/ext/core/expr
 7 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ChildNamespaceCommand.java
in base/src/main/java/org/arend/term
 7 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
Parameter.java
in base/src/main/java/org/arend/naming/reference
 7 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
LibraryResolver.java
in base/src/main/java/org/arend/library/resolver
 7 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
UniverseKind.java
in base/src/main/java/org/arend/core/definition
 7 1 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ArgumentExplicitnessError.java
in api/src/main/java/org/arend/ext/error
 8 1 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CoreSort.java
in api/src/main/java/org/arend/ext/core/level
 8 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CoreAbsExpression.java
in api/src/main/java/org/arend/ext/core/expr
 8 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ModuleRegistry.java
in base/src/main/java/org/arend/module
 8 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ConstructorReferenceError.java
in base/src/main/java/org/arend/typechecking/error/local
 8 1 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CoreException.java
in base/src/main/java/org/arend/typechecking/doubleChecker
 8 1 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
PrettyPrintable.java
in api/src/main/java/org/arend/ext/prettyprinting
 9 1 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
CMP.java
in api/src/main/java/org/arend/ext/core/ops
 9 1 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
HasErrors.java
in base/src/main/java/org/arend/typechecking/error/local
 9 1 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
Body.java
in base/src/main/java/org/arend/core/elimtree
 9 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
LetClausePattern.java
in base/src/main/java/org/arend/core/expr/let
 9 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
SingleDependentLink.java
in base/src/main/java/org/arend/core/context/param
 9 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
HiddenLocalReferable.java
in base/src/main/java/org/arend/naming/reference
 10 2 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
Decision.java
in base/src/main/java/org/arend/util
 10 2 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
PersistingError.java
in base/src/main/java/org/arend/source/error
 10 1 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
DummyErrorReporter.java
in base/src/main/java/org/arend/error
 10 2 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
RecursiveInstanceHoleExpression.java
in base/src/main/java/org/arend/typechecking/instance/pool
 10 1 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ImplicitArgsInference.java
in base/src/main/java/org/arend/typechecking/implicitargs
 10 - 2020-03-12 2020-03-12 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
Most Recently Created Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
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
MergingExpressionPrettifier.java
in base/src/main/java/org/arend/ext/prettifier
 20 1 2024-04-16 2024-04-16 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ExpressionPrettifier.java
in api/src/main/java/org/arend/ext/prettifier
 8 - 2024-04-16 2024-04-16 1 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
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
MapDFS.java
in base/src/main/java/org/arend/typechecking/dfs
 19 2 2024-02-19 2024-02-19 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ClassDFS.java
in base/src/main/java/org/arend/typechecking/dfs
 11 1 2024-02-19 2024-02-19 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
StringUtils.java
in api/src/main/java/org/arend/ext/util
 20 3 2024-01-02 2024-01-02 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
FieldCycleError.java
in base/src/main/java/org/arend/typechecking/error/local
 27 2 2023-11-30 2023-11-30 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
Wrapper.java
in api/src/main/java/org/arend/ext/util
 15 3 2023-11-26 2023-11-26 1 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
MapTarjanSCC.java
in base/src/main/java/org/arend/typechecking/order
 29 3 2023-11-17 2023-11-17 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
ResetContextCommand.java
in base/src/main/java/org/arend/repl/action
 19 1 2023-08-02 2023-08-02 1 1 sinchukss@gmail.com sinchukss@gmail.com
PrivateFilteredScope.java
in base/src/main/java/org/arend/naming/scope
 37 2 2023-06-06 2023-12-18 3 2 valery.isaev@gmail.com valery.isaev@gmail.com
AccessModifier.java
in base/src/main/java/org/arend/term/group
 7 1 2023-06-06 2024-05-06 3 2 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
CoreStringExpression.java
in api/src/main/java/org/arend/ext/core/expr
 5 - 2023-04-19 2023-04-19 1 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
CallableDefinition.java
in base/src/main/java/org/arend/core/definition
 11 1 2023-04-13 2023-04-13 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
VariableTracker.java
in base/src/main/java/org/arend/term/prettyprint
 15 1 2023-04-10 2023-04-10 1 1 valery.isaev@gmail.com valery.isaev@gmail.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
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
PrettyPrintWithSubexprVisitor.java
in base/src/main/java/org/arend/term/prettyprint
 23 3 2023-03-16 2023-03-16 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
TypeMismatchWithSubexprError.java
in base/src/main/java/org/arend/typechecking/error/local
 11 1 2023-03-16 2024-04-17 4 1 valery.isaev@gmail.com valery.isaev@gmail.com
ConcreteThisExpression.java
in api/src/main/java/org/arend/ext/concrete/expr
 6 - 2023-02-25 2023-02-25 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
LocalListScope.java
in base/src/main/java/org/arend/naming/scope/local
 28 3 2022-12-28 2022-12-28 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
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
PropertyTypedDependentLink.java
in base/src/main/java/org/arend/core/context/param
 31 4 2022-10-13 2022-10-16 2 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
CoreBoxExpression.java
in api/src/main/java/org/arend/ext/core/expr
 4 - 2022-10-11 2022-10-11 1 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
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
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
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
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
WhereVarsFixVisitor.java
in base/src/main/java/org/arend/typechecking/visitor
 330 8 2022-08-16 2024-05-07 17 2 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
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
InferenceVariableSolveVisitor.java
in base/src/main/java/org/arend/core/subst
 22 2 2022-08-13 2022-08-16 2 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
LevelDefinition.java
in base/src/main/java/org/arend/naming/reference
 29 6 2022-07-22 2022-07-22 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
DelegateScope.java
in base/src/main/java/org/arend/naming/scope
 25 1 2022-07-05 2022-07-22 3 1 valery.isaev@gmail.com valery.isaev@gmail.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
LevelLexicalScope.java
in base/src/main/java/org/arend/naming/scope
 1 - 2022-07-02 2022-07-22 4 1 valery.isaev@gmail.com valery.isaev@gmail.com
Statement.java
in base/src/main/java/org/arend/term/group
 17 2 2022-06-29 2022-07-22 4 1 valery.isaev@gmail.com valery.isaev@gmail.com
MetaBinOpParser.java
in base/src/main/java/org/arend/naming/binOp
 186 5 2022-06-28 2022-09-08 3 2 konstantin.nisht@jetbrains.com valery.isaev@gmail.com
BinOpParser.java
in base/src/main/java/org/arend/naming/binOp
 123 5 2022-06-28 2022-08-16 4 2 konstantin.nisht@jetbrains.com valery.isaev@gmail.com
PatternBinOpEngine.java
in base/src/main/java/org/arend/naming/binOp
 73 2 2022-06-28 2023-01-18 5 2 konstantin.nisht@jetbrains.com valery.isaev@gmail.com
Most Recently Changed Files (Top 50)
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
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
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
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
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
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
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
ListLoadedModulesAction.java
in cli/src/main/java/org/arend/frontend/repl/action
 88 5 2020-05-02 2024-11-20 5 3 ice1000kotlin@foxmail.com valery.isaev@gmail.com
GlobalReferable.java
in base/src/main/java/org/arend/naming/reference
 63 5 2020-03-12 2024-11-20 20 4 valery.isaev@gmail.com valery.isaev@gmail.com
IdpPatternError.java
in base/src/main/java/org/arend/typechecking/error/local
 41 8 2020-03-12 2024-11-11 4 2 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
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
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
NewExpression.java
in base/src/main/java/org/arend/core/expr
 110 13 2020-03-12 2024-07-30 16 3 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
ConditionsChecking.java
in base/src/main/java/org/arend/typechecking/patternmatching
 355 10 2020-03-12 2024-07-06 20 3 valery.isaev@gmail.com valery.isaev@gmail.com
FunCallExpression.java
in base/src/main/java/org/arend/core/expr
 131 14 2020-03-12 2024-07-06 20 2 valery.isaev@gmail.com valery.isaev@gmail.com
PEvalExpression.java
in base/src/main/java/org/arend/core/expr
 72 13 2020-03-12 2024-07-06 5 2 valery.isaev@gmail.com valery.isaev@gmail.com
78 - 2018-09-04 2024-07-05 55 6 chemike47@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
CertainTypecheckingError.java
in base/src/main/java/org/arend/typechecking/error/local
 39 1 2020-03-12 2024-06-24 9 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
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
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
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
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
SearchVisitor.java
in base/src/main/java/org/arend/typechecking/visitor
 332 41 2020-07-22 2024-05-22 28 3 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
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
CoreClassDefinition.java
in api/src/main/java/org/arend/ext/core/definition
 28 - 2020-03-12 2024-05-22 6 3 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
WhereVarsFixVisitor.java
in base/src/main/java/org/arend/typechecking/visitor
 330 8 2022-08-16 2024-05-07 17 2 valery.isaev@gmail.com valery.isaev@gmail.com
ConcreteClassReferable.java
in base/src/main/java/org/arend/naming/reference
 69 6 2021-11-04 2024-05-07 8 2 valery.isaev@gmail.com valery.isaev@gmail.com
ChildGroup.java
in base/src/main/java/org/arend/term/group
 18 2 2020-03-12 2024-05-07 6 2 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
AccessModifier.java
in base/src/main/java/org/arend/term/group
 7 1 2023-06-06 2024-05-06 3 2 valery.isaev@gmail.com valery.isaev@gmail.com
SubstExpression.java
in base/src/main/java/org/arend/core/expr
 148 17 2020-03-12 2024-04-24 14 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
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
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
TypecheckerState.java
in base/src/main/java/org/arend/typechecking
 34 1 2020-03-12 2024-04-18 10 3 valery.isaev@gmail.com valery.isaev@gmail.com
TypeMismatchWithSubexprError.java
in base/src/main/java/org/arend/typechecking/error/local
 11 1 2023-03-16 2024-04-17 4 1 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
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
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
DumbTypechecker.java
in base/src/main/java/org/arend/typechecking/visitor
 164 15 2020-03-12 2024-04-16 19 4 valery.isaev@gmail.com valery.isaev@gmail.com
DocFactory.java
in api/src/main/java/org/arend/ext/prettyprinting/doc
 156 26 2020-03-12 2024-04-16 7 3 valery.isaev@gmail.com valery.isaev@gmail.com
Utils.java
in base/src/main/java/org/arend/core/context
 103 17 2020-03-12 2024-04-16 4 3 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