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