JetBrains / arend-lib 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

Number of files: 137
Daily file updates (only one update per file and date counted): 699
First update: 2015-05-14
Latest update: 2024-11-11
Days between first and latest update: 3,470 (495 weeks, estimated 2,475 working days)
Active days (at least one file change): 882
Data:

Organized per file

File Change History Overall

File Age Distribution Overall

Days since first update

There are 137 files with 15,213 lines of code in files.

137 files that are 366+ days old (15,213 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)

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 137 files with 15,213 lines of code in files.

137 files have been last changed 366+ days ago (15,213 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)

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, yaml, gitignore, txt, bat, md, properties

File Age Distribution per Extension

Days since first update

366+

181-365

91-180

31-90

1-30

File Freshness Distribution per Extension

Days since last update

366+

181-365

91-180

31-90

1-30

File Change History per Logical Decomposition

primary

primary (file age distribution)

Days since first update

366+

181-365

91-180

31-90

1-30

primary (file freshness distribution)

Days since last update

366+

181-365

91-180

31-90

1-30

Oldest Files (Top 50)

File	# lines	# units	created	last modified	# changes (days)	# contributors	first contributor	latest contributor
arend.yaml in root	7	-	2018-09-21	2024-07-09	30	4	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
build.gradle.kts in meta	31	-	2019-12-25	2024-07-09	41	6	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
StdExtension.java in meta/src/main/java/org/arend/lib	334	7	2019-12-26	2024-07-09	128	7	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
RewriteMeta.java in meta/src/main/java/org/arend/lib/meta	377	9	2020-03-09	2024-06-18	60	6	valery.isaev@jetbrains.com	58226433+s3midetnov@users.n...
ApplyMeta.java in meta/src/main/java/org/arend/lib/meta	43	2	2020-03-09	2022-12-06	14	3	valery.isaev@jetbrains.com	fedor.part@gmail.com
SubexprError.java in meta/src/main/java/org/arend/lib/error	34	3	2020-03-25	2024-06-18	10	5	valery.isaev@jetbrains.com	58226433+s3midetnov@users.n...
LaterMeta.java in meta/src/main/java/org/arend/lib/meta	15	2	2020-03-30	2021-03-19	10	3	valery.isaev@jetbrains.com	valery.isaev@gmail.com
RepeatMeta.java in meta/src/main/java/org/arend/lib/meta	84	5	2020-03-31	2021-03-19	15	5	valery.isaev@jetbrains.com	valery.isaev@gmail.com
settings.gradle.kts in meta	2	-	2020-04-27	2020-04-27	1	2	623606+valis@users.noreply....	ice1000kotlin@foxmail.com
ConstructorGoalSolver.java in meta/src/main/java/org/arend/lib/goal	117	3	2020-05-10	2024-02-19	14	3	valery.isaev@jetbrains.com	valery.isaev@gmail.com
StdGoalSolver.java in meta/src/main/java/org/arend/lib/goal	50	1	2020-05-10	2020-07-14	7	3	valery.isaev@jetbrains.com	fedor.part@gmail.com
UsingMeta.java in meta/src/main/java/org/arend/lib/meta	68	4	2020-05-21	2022-12-06	7	3	valery.isaev@jetbrains.com	fedor.part@gmail.com
FailsMeta.java in meta/src/main/java/org/arend/lib/meta	59	3	2020-05-21	2024-06-18	15	7	valery.isaev@jetbrains.com	58226433+s3midetnov@users.n...
HidingMeta.java in meta/src/main/java/org/arend/lib/meta	49	3	2020-05-21	2020-06-05	3	2	valery.isaev@jetbrains.com	fedor.part@gmail.com
MetaDidNotFailError.java in meta/src/main/java/org/arend/lib/error	22	2	2020-05-21	2024-06-18	6	5	valery.isaev@jetbrains.com	58226433+s3midetnov@users.n...
EquationMeta.java in meta/src/main/java/org/arend/lib/meta/equation	296	2	2020-05-24	2024-09-22	67	5	valery.isaev@jetbrains.com	valery.isaev@gmail.com
EqualitySolver.java in meta/src/main/java/org/arend/lib/meta/equation	145	14	2020-05-24	2023-08-15	38	3	valery.isaev@jetbrains.com	valery.isaev@gmail.com
EquivSolver.java in meta/src/main/java/org/arend/lib/meta/equation	90	12	2020-05-24	2021-09-11	6	3	valery.isaev@jetbrains.com	fedor.part@gmail.com
EquationSolver.java in meta/src/main/java/org/arend/lib/meta/equation	57	4	2020-05-24	2022-05-03	11	3	valery.isaev@jetbrains.com	valery.isaev@gmail.com
ContradictionMeta.java in meta/src/main/java/org/arend/lib/meta	518	15	2020-05-26	2024-06-18	24	5	valery.isaev@jetbrains.com	58226433+s3midetnov@users.n...
Utils.java in meta/src/main/java/org/arend/lib/util	435	32	2020-05-26	2024-07-09	60	6	valery.isaev@jetbrains.com	kadantsev.georg@yandex.ru
Values.java in meta/src/main/java/org/arend/lib/util	42	6	2020-05-26	2022-12-06	11	3	valery.isaev@jetbrains.com	fedor.part@gmail.com
TypeError.java in meta/src/main/java/org/arend/lib/error	26	3	2020-05-26	2024-06-18	10	5	valery.isaev@jetbrains.com	58226433+s3midetnov@users.n...
Maybe.java in meta/src/main/java/org/arend/lib/util	19	3	2020-05-26	2020-06-05	2	2	valery.isaev@jetbrains.com	fedor.part@gmail.com
StdLevelProver.java in meta/src/main/java/org/arend/lib/level	142	3	2020-05-28	2024-02-09	20	3	valery.isaev@jetbrains.com	valery.isaev@gmail.com
RunMeta.java in meta/src/main/java/org/arend/lib/meta	75	3	2020-06-03	2021-05-30	16	2	valery.isaev@gmail.com	fedor.part@gmail.com
StdNumberTypechecker.java in meta/src/main/java/org/arend/lib	64	2	2020-06-03	2023-03-11	16	4	valery.isaev@gmail.com	fedor.part@gmail.com
IrreflexivityKey.java in meta/src/main/java/org/arend/lib/key	40	3	2020-06-14	2020-06-19	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
ValuesRelationClosure.java in meta/src/main/java/org/arend/lib/meta/closure	23	4	2020-06-14	2020-07-14	4	2	valery.isaev@gmail.com	fedor.part@gmail.com
BinaryRelationClosure.java in meta/src/main/java/org/arend/lib/meta/closure	7	-	2020-06-14	2020-06-14	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
ContextHelper.java in meta/src/main/java/org/arend/lib/context	58	5	2020-06-16	2022-12-06	6	2	valery.isaev@gmail.com	fedor.part@gmail.com
HidingContext.java in meta/src/main/java/org/arend/lib/context	33	4	2020-06-16	2020-06-18	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
Context.java in meta/src/main/java/org/arend/lib/context	24	3	2020-06-16	2020-06-16	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
TransitivitySolver.java in meta/src/main/java/org/arend/lib/meta/equation	209	14	2020-06-19	2024-02-19	14	2	valery.isaev@gmail.com	valery.isaev@gmail.com
FieldKey.java in meta/src/main/java/org/arend/lib/key	111	6	2020-06-19	2022-03-27	5	2	valery.isaev@gmail.com	fedor.part@gmail.com
BunchedEquivalenceClosure.java in meta/src/main/java/org/arend/lib/meta/closure	89	6	2020-06-19	2022-03-27	6	2	valery.isaev@gmail.com	fedor.part@gmail.com
EquivalenceClosure.java in meta/src/main/java/org/arend/lib/meta/closure	66	4	2020-06-19	2022-03-27	6	2	valery.isaev@gmail.com	fedor.part@gmail.com
TransitivityKey.java in meta/src/main/java/org/arend/lib/key	34	3	2020-06-19	2020-06-19	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
ReflexivityKey.java in meta/src/main/java/org/arend/lib/key	31	3	2020-06-19	2020-06-19	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
Lazy.java in meta/src/main/java/org/arend/lib/util	15	2	2020-06-21	2020-06-21	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
AtMeta.java in meta/src/main/java/org/arend/lib/meta	57	2	2020-07-11	2022-12-06	9	2	valery.isaev@gmail.com	fedor.part@gmail.com
CongruenceClosure.java in meta/src/main/java/org/arend/lib/meta/closure	439	28	2020-07-14	2022-05-03	16	3	fedor.part@gmail.com	valery.isaev@gmail.com
ExistsMeta.java in meta/src/main/java/org/arend/lib/meta	285	5	2020-07-18	2024-06-18	27	5	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
RandomMeta.java in meta/src/main/java/org/arend/lib/meta/debug	56	3	2020-08-05	2020-08-14	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
PrintMeta.java in meta/src/main/java/org/arend/lib/meta/debug	42	3	2020-08-05	2020-08-14	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
TimeMeta.java in meta/src/main/java/org/arend/lib/meta/debug	27	2	2020-08-05	2020-08-14	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
MatchingCasesMeta.java in meta/src/main/java/org/arend/lib/meta	1123	10	2020-08-16	2024-06-18	63	5	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
UnfoldMeta.java in meta/src/main/java/org/arend/lib/meta	124	3	2020-08-20	2024-06-18	20	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
ConstructorMeta.java in meta/src/main/java/org/arend/lib/meta	148	2	2020-08-28	2024-06-18	9	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
PatternUtils.java in meta/src/main/java/org/arend/lib/pattern	418	22	2020-08-30	2024-02-29	19	2	valery.isaev@gmail.com	valery.isaev@gmail.com

Files Not Recently Changed (Top 50)

File	# lines	# units	created	last modified	# changes (days)	# contributors	first contributor	latest contributor
settings.gradle.kts in meta	2	-	2020-04-27	2020-04-27	1	2	623606+valis@users.noreply....	ice1000kotlin@foxmail.com
Maybe.java in meta/src/main/java/org/arend/lib/util	19	3	2020-05-26	2020-06-05	2	2	valery.isaev@jetbrains.com	fedor.part@gmail.com
HidingMeta.java in meta/src/main/java/org/arend/lib/meta	49	3	2020-05-21	2020-06-05	3	2	valery.isaev@jetbrains.com	fedor.part@gmail.com
BinaryRelationClosure.java in meta/src/main/java/org/arend/lib/meta/closure	7	-	2020-06-14	2020-06-14	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
Context.java in meta/src/main/java/org/arend/lib/context	24	3	2020-06-16	2020-06-16	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
HidingContext.java in meta/src/main/java/org/arend/lib/context	33	4	2020-06-16	2020-06-18	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
ReflexivityKey.java in meta/src/main/java/org/arend/lib/key	31	3	2020-06-19	2020-06-19	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
TransitivityKey.java in meta/src/main/java/org/arend/lib/key	34	3	2020-06-19	2020-06-19	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
IrreflexivityKey.java in meta/src/main/java/org/arend/lib/key	40	3	2020-06-14	2020-06-19	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
Lazy.java in meta/src/main/java/org/arend/lib/util	15	2	2020-06-21	2020-06-21	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
ValuesRelationClosure.java in meta/src/main/java/org/arend/lib/meta/closure	23	4	2020-06-14	2020-07-14	4	2	valery.isaev@gmail.com	fedor.part@gmail.com
StdGoalSolver.java in meta/src/main/java/org/arend/lib/goal	50	1	2020-05-10	2020-07-14	7	3	valery.isaev@jetbrains.com	fedor.part@gmail.com
TimeMeta.java in meta/src/main/java/org/arend/lib/meta/debug	27	2	2020-08-05	2020-08-14	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
PrintMeta.java in meta/src/main/java/org/arend/lib/meta/debug	42	3	2020-08-05	2020-08-14	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
RandomMeta.java in meta/src/main/java/org/arend/lib/meta/debug	56	3	2020-08-05	2020-08-14	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
CountingSort.java in meta/src/main/java/org/arend/lib/util	28	1	2020-10-13	2020-10-18	2	2	valery.isaev@gmail.com	fedor.part@gmail.com
FieldNotPropError.java in meta/src/main/java/org/arend/lib/error	19	2	2020-11-17	2020-11-20	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
SubclassError.java in meta/src/main/java/org/arend/lib/error	21	2	2020-11-04	2020-11-20	3	1	valery.isaev@gmail.com	valery.isaev@gmail.com
PiTreeNode.java in meta/src/main/java/org/arend/lib/meta/pi_tree	11	1	2020-12-05	2020-12-17	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
PiTreeRoot.java in meta/src/main/java/org/arend/lib/meta/pi_tree	21	2	2020-12-05	2020-12-17	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
IdealMembership.java in meta/src/main/java/org/arend/lib/util/algorithms/idealmem	7	-	2020-10-20	2020-12-29	3	1	fedor.part@gmail.com	fedor.part@gmail.com
GroebnerBasisAlgorithm.java in meta/src/main/java/org/arend/lib/util/algorithms/groebner	8	-	2020-10-20	2020-12-29	3	1	fedor.part@gmail.com	fedor.part@gmail.com
DegLexMonomialOrder.java in meta/src/main/java/org/arend/lib/util/algorithms/polynomials	15	1	2020-12-04	2020-12-29	2	1	fedor.part@gmail.com	fedor.part@gmail.com
GroebnerIM.java in meta/src/main/java/org/arend/lib/util/algorithms/idealmem	30	1	2020-10-20	2020-12-29	4	1	fedor.part@gmail.com	fedor.part@gmail.com
Ring.java in meta/src/main/java/org/arend/lib/util/algorithms/polynomials	50	9	2020-12-04	2020-12-29	3	1	fedor.part@gmail.com	fedor.part@gmail.com
Monomial.java in meta/src/main/java/org/arend/lib/util/algorithms/polynomials	106	14	2020-11-17	2020-12-29	5	2	fedor.part@gmail.com	fedor.part@gmail.com
DefinitionFunctionMatcher.java in meta/src/main/java/org/arend/lib/meta/equation/binop_matcher	38	2	2021-01-09	2021-01-09	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
ListFunctionMatcher.java in meta/src/main/java/org/arend/lib/meta/equation/binop_matcher	45	2	2021-01-09	2021-01-09	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
NormalizationMeta.java in meta/src/main/java/org/arend/lib/meta	23	1	2021-02-12	2021-02-23	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
Monomial.java in meta/src/main/java/org/arend/lib/ring	88	11	2021-01-09	2021-02-23	3	1	valery.isaev@gmail.com	valery.isaev@gmail.com
FunctionMatcher.java in meta/src/main/java/org/arend/lib/meta/equation/binop_matcher	44	1	2021-01-09	2021-03-14	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
LaterMeta.java in meta/src/main/java/org/arend/lib/meta	15	2	2020-03-30	2021-03-19	10	3	valery.isaev@jetbrains.com	valery.isaev@gmail.com
RepeatMeta.java in meta/src/main/java/org/arend/lib/meta	84	5	2020-03-31	2021-03-19	15	5	valery.isaev@jetbrains.com	valery.isaev@gmail.com
RunMeta.java in meta/src/main/java/org/arend/lib/meta	75	3	2020-06-03	2021-05-30	16	2	valery.isaev@gmail.com	fedor.part@gmail.com
BasePiTree.java in meta/src/main/java/org/arend/lib/meta/pi_tree	23	3	2020-12-05	2021-07-19	4	1	valery.isaev@gmail.com	valery.isaev@gmail.com
ArendPattern.java in meta/src/main/java/org/arend/lib/pattern	62	3	2020-08-30	2021-09-11	7	2	valery.isaev@gmail.com	fedor.part@gmail.com
SubstitutionMeta.java in meta/src/main/java/org/arend/lib/meta/util	66	6	2021-03-19	2021-09-11	7	2	valery.isaev@gmail.com	fedor.part@gmail.com
EquivSolver.java in meta/src/main/java/org/arend/lib/meta/equation	90	12	2020-05-24	2021-09-11	6	3	valery.isaev@jetbrains.com	fedor.part@gmail.com
MetaInvocationMeta.java in meta/src/main/java/org/arend/lib/meta/util	114	6	2021-03-19	2021-09-11	4	2	valery.isaev@gmail.com	fedor.part@gmail.com
IgnoredArgumentError.java in meta/src/main/java/org/arend/lib/error	13	1	2021-10-15	2022-03-27	2	2	valery.isaev@gmail.com	fedor.part@gmail.com
PathExpression.java in meta/src/main/java/org/arend/lib/meta/pi_tree	18	3	2020-12-05	2022-03-27	5	2	valery.isaev@gmail.com	fedor.part@gmail.com
MakeConstructorMeta.java in meta/src/main/java/org/arend/lib/meta	49	1	2022-01-23	2022-03-27	2	2	valery.isaev@gmail.com	fedor.part@gmail.com
EquivalenceClosure.java in meta/src/main/java/org/arend/lib/meta/closure	66	4	2020-06-19	2022-03-27	6	2	valery.isaev@gmail.com	fedor.part@gmail.com
BunchedEquivalenceClosure.java in meta/src/main/java/org/arend/lib/meta/closure	89	6	2020-06-19	2022-03-27	6	2	valery.isaev@gmail.com	fedor.part@gmail.com
FieldKey.java in meta/src/main/java/org/arend/lib/key	111	6	2020-06-19	2022-03-27	5	2	valery.isaev@gmail.com	fedor.part@gmail.com
ComMonoidWP.java in meta/src/main/java/org/arend/lib/util/algorithms	112	8	2020-10-20	2022-03-27	9	2	fedor.part@gmail.com	fedor.part@gmail.com
CongruenceMeta.java in meta/src/main/java/org/arend/lib/meta/cong	126	6	2020-10-23	2022-03-27	14	2	valery.isaev@gmail.com	fedor.part@gmail.com
Poly.java in meta/src/main/java/org/arend/lib/util/algorithms/polynomials	130	15	2020-12-04	2022-03-27	7	2	fedor.part@gmail.com	fedor.part@gmail.com
NamedParameter.java in meta/src/main/java/org/arend/lib/util	142	9	2021-01-19	2022-03-27	4	2	valery.isaev@gmail.com	fedor.part@gmail.com
EquationSolver.java in meta/src/main/java/org/arend/lib/meta/equation	57	4	2020-05-24	2022-05-03	11	3	valery.isaev@jetbrains.com	valery.isaev@gmail.com

Most Recently Created Files (Top 50)

File	# lines	# units	created	last modified	# changes (days)	# contributors	first contributor	latest contributor
Simplifier.java in meta/src/main/java/org/arend/lib/meta/simplify	226	6	2024-06-25	2024-07-09	3	3	fedor.part@gmail.com	kadantsev.georg@yandex.ru
DefaultImplMeta.java in meta/src/main/java/org/arend/lib/meta	78	1	2024-05-25	2024-06-18	3	3	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
InMeta.java in meta/src/main/java/org/arend/lib/meta	45	1	2024-04-17	2024-06-18	5	3	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
EquationSolverError.java in meta/src/main/java/org/arend/lib/error	86	5	2023-08-15	2023-08-15	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
MonoidSolverError.java in meta/src/main/java/org/arend/lib/error	64	5	2023-08-15	2023-11-29	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
NegationPropagationRule.java in meta/src/main/java/org/arend/lib/meta/simplify	49	2	2023-03-21	2023-07-07	2	2	fedor.part@gmail.com	valery.isaev@gmail.com
GroupInverseRule.java in meta/src/main/java/org/arend/lib/meta/simplify	154	5	2023-03-07	2023-07-07	4	2	fedor.part@gmail.com	valery.isaev@gmail.com
GroupRuleBase.java in meta/src/main/java/org/arend/lib/meta/simplify	53	2	2023-03-07	2023-07-07	2	2	fedor.part@gmail.com	valery.isaev@gmail.com
CompiledTerm.java in meta/src/main/java/org/arend/lib/meta/equation/term	43	2	2023-03-07	2023-07-07	2	2	fedor.part@gmail.com	valery.isaev@gmail.com
CompositeTerm.java in meta/src/main/java/org/arend/lib/meta/equation/term	13	2	2023-03-07	2023-07-07	2	2	fedor.part@gmail.com	valery.isaev@gmail.com
VarTerm.java in meta/src/main/java/org/arend/lib/meta/equation/term	7	1	2023-03-07	2023-07-07	2	2	fedor.part@gmail.com	valery.isaev@gmail.com
TermCompiler.java in meta/src/main/java/org/arend/lib/meta/equation	147	12	2023-01-17	2023-03-11	3	2	valery.isaev@gmail.com	fedor.part@gmail.com
BaseTermCompiler.java in meta/src/main/java/org/arend/lib/meta/solver	109	5	2023-01-17	2024-06-18	6	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
RingKind.java in meta/src/main/java/org/arend/lib/meta/solver	2	-	2023-01-17	2024-06-18	6	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
AssumptionMeta.java in meta/src/main/java/org/arend/lib/meta	76	1	2022-12-13	2023-01-03	2	2	valery.isaev@gmail.com	fedor.part@gmail.com
CompiledTerms.java in meta/src/main/java/org/arend/lib/meta/linear	12	1	2022-10-19	2022-12-06	3	2	valery.isaev@gmail.com	fedor.part@gmail.com
BigRational.java in meta/src/main/java/org/arend/lib/ring	35	7	2022-09-27	2022-12-06	3	2	valery.isaev@gmail.com	fedor.part@gmail.com
IntRing.java in meta/src/main/java/org/arend/lib/ring	26	5	2022-09-27	2022-12-06	3	2	valery.isaev@gmail.com	fedor.part@gmail.com
Ring.java in meta/src/main/java/org/arend/lib/ring	7	-	2022-09-27	2022-12-06	3	2	valery.isaev@gmail.com	fedor.part@gmail.com
LinearSolver.java in meta/src/main/java/org/arend/lib/meta/linear	555	25	2022-09-18	2024-07-09	30	4	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
TermCompiler.java in meta/src/main/java/org/arend/lib/meta/linear	306	23	2022-09-18	2024-06-18	23	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
DefImplInstanceSearchParameters.java in meta/src/main/java/org/arend/lib/util	67	4	2022-09-18	2022-12-06	5	2	valery.isaev@gmail.com	fedor.part@gmail.com
LinearSolverMeta.java in meta/src/main/java/org/arend/lib/meta/linear	56	3	2022-09-18	2024-06-18	12	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
LinearSolverError.java in meta/src/main/java/org/arend/lib/error	45	4	2022-09-18	2024-07-09	11	4	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
RelationData.java in meta/src/main/java/org/arend/lib/util	42	2	2022-09-18	2022-12-06	4	2	valery.isaev@gmail.com	fedor.part@gmail.com
Equation.java in meta/src/main/java/org/arend/lib/meta/linear	19	2	2022-09-18	2022-12-06	5	2	valery.isaev@gmail.com	fedor.part@gmail.com
CompiledTerm.java in meta/src/main/java/org/arend/lib/meta/linear	10	1	2022-09-18	2024-06-18	8	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
CategoryDataFactory.java in meta/src/main/java/org/arend/lib/meta/equation/datafactory	70	4	2022-07-25	2023-07-07	2	2	fedor.part@gmail.com	valery.isaev@gmail.com
DataFactoryBase.java in meta/src/main/java/org/arend/lib/meta/equation/datafactory	61	4	2022-07-25	2023-07-07	3	2	fedor.part@gmail.com	valery.isaev@gmail.com
IdentityInverseRule.java in meta/src/main/java/org/arend/lib/meta/simplify	41	2	2022-07-25	2023-07-07	2	2	fedor.part@gmail.com	valery.isaev@gmail.com
MonoidDataFactory.java in meta/src/main/java/org/arend/lib/meta/equation/datafactory	35	3	2022-07-25	2023-07-07	2	2	fedor.part@gmail.com	valery.isaev@gmail.com
RingDataFactory.java in meta/src/main/java/org/arend/lib/meta/equation/datafactory	29	3	2022-07-25	2023-07-07	2	2	fedor.part@gmail.com	valery.isaev@gmail.com
GroupDataFactory.java in meta/src/main/java/org/arend/lib/meta/equation/datafactory	28	3	2022-07-25	2023-07-07	2	2	fedor.part@gmail.com	valery.isaev@gmail.com
DataFactory.java in meta/src/main/java/org/arend/lib/meta/equation/datafactory	5	-	2022-07-25	2023-07-07	2	2	fedor.part@gmail.com	valery.isaev@gmail.com
AbGroupInverseRule.java in meta/src/main/java/org/arend/lib/meta/simplify	120	4	2022-06-07	2023-07-07	7	2	fedor.part@gmail.com	valery.isaev@gmail.com
LocalSimplificationRuleBase.java in meta/src/main/java/org/arend/lib/meta/simplify	127	2	2022-04-27	2023-09-29	9	3	fedor.part@gmail.com	fedor.part@gmail.com
MonoidIdentityRule.java in meta/src/main/java/org/arend/lib/meta/simplify	58	3	2022-04-27	2023-07-07	8	2	fedor.part@gmail.com	valery.isaev@gmail.com
MulOfNegativesRule.java in meta/src/main/java/org/arend/lib/meta/simplify	52	2	2022-04-27	2022-08-08	5	2	fedor.part@gmail.com	fedor.part@gmail.com
DoubleNegationRule.java in meta/src/main/java/org/arend/lib/meta/simplify	41	2	2022-04-27	2023-07-07	8	2	fedor.part@gmail.com	valery.isaev@gmail.com
MultiplicationByZeroRule.java in meta/src/main/java/org/arend/lib/meta/simplify	37	2	2022-04-27	2022-12-06	5	2	fedor.part@gmail.com	fedor.part@gmail.com
SimplifyError.java in meta/src/main/java/org/arend/lib/error	32	3	2022-04-27	2024-06-18	9	4	fedor.part@gmail.com	58226433+s3midetnov@users.n...
UnfoldsMeta.java in meta/src/main/java/org/arend/lib/meta	50	2	2022-02-22	2024-06-18	6	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
MakeConstructorMeta.java in meta/src/main/java/org/arend/lib/meta	49	1	2022-01-23	2022-03-27	2	2	valery.isaev@gmail.com	fedor.part@gmail.com
OrElseMeta.java in meta/src/main/java/org/arend/lib/meta	37	1	2021-11-09	2023-03-11	5	2	valery.isaev@gmail.com	fedor.part@gmail.com
IgnoredArgumentError.java in meta/src/main/java/org/arend/lib/error	13	1	2021-10-15	2022-03-27	2	2	valery.isaev@gmail.com	fedor.part@gmail.com
SimplifyMeta.java in meta/src/main/java/org/arend/lib/meta/simplify	64	3	2021-08-04	2024-07-09	32	5	fedor.part@gmail.com	kadantsev.georg@yandex.ru
SimplificationRule.java in meta/src/main/java/org/arend/lib/meta/simplify	8	-	2021-08-04	2023-07-07	5	2	fedor.part@gmail.com	valery.isaev@gmail.com
MetaInvocationMeta.java in meta/src/main/java/org/arend/lib/meta/util	114	6	2021-03-19	2021-09-11	4	2	valery.isaev@gmail.com	fedor.part@gmail.com
SubstitutionMeta.java in meta/src/main/java/org/arend/lib/meta/util	66	6	2021-03-19	2021-09-11	7	2	valery.isaev@gmail.com	fedor.part@gmail.com
ReplaceSubexpressionsMeta.java in meta/src/main/java/org/arend/lib/meta/util	61	2	2021-03-19	2024-06-18	17	5	valery.isaev@gmail.com	58226433+s3midetnov@users.n...

Most Recently Changed Files (Top 50)

File	# lines	# units	created	last modified	# changes (days)	# contributors	first contributor	latest contributor
CasesMeta.java in meta/src/main/java/org/arend/lib/meta	373	12	2021-01-19	2024-11-11	32	2	valery.isaev@gmail.com	valery.isaev@gmail.com
EquationMeta.java in meta/src/main/java/org/arend/lib/meta/equation	296	2	2020-05-24	2024-09-22	67	5	valery.isaev@jetbrains.com	valery.isaev@gmail.com
LinearSolver.java in meta/src/main/java/org/arend/lib/meta/linear	555	25	2022-09-18	2024-07-09	30	4	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
Utils.java in meta/src/main/java/org/arend/lib/util	435	32	2020-05-26	2024-07-09	60	6	valery.isaev@jetbrains.com	kadantsev.georg@yandex.ru
StdExtension.java in meta/src/main/java/org/arend/lib	334	7	2019-12-26	2024-07-09	128	7	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
Simplifier.java in meta/src/main/java/org/arend/lib/meta/simplify	226	6	2024-06-25	2024-07-09	3	3	fedor.part@gmail.com	kadantsev.georg@yandex.ru
SimplifyMeta.java in meta/src/main/java/org/arend/lib/meta/simplify	64	3	2021-08-04	2024-07-09	32	5	fedor.part@gmail.com	kadantsev.georg@yandex.ru
LinearSolverError.java in meta/src/main/java/org/arend/lib/error	45	4	2022-09-18	2024-07-09	11	4	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
build.gradle.kts in meta	31	-	2019-12-25	2024-07-09	41	6	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
arend.yaml in root	7	-	2018-09-21	2024-07-09	30	4	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
MatchingCasesMeta.java in meta/src/main/java/org/arend/lib/meta	1123	10	2020-08-16	2024-06-18	63	5	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
ExtMeta.java in meta/src/main/java/org/arend/lib/meta	735	19	2020-10-25	2024-06-18	59	5	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
ContradictionMeta.java in meta/src/main/java/org/arend/lib/meta	518	15	2020-05-26	2024-06-18	24	5	valery.isaev@jetbrains.com	58226433+s3midetnov@users.n...
SimpCoeMeta.java in meta/src/main/java/org/arend/lib/meta	477	20	2020-12-05	2024-06-18	27	5	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
RewriteMeta.java in meta/src/main/java/org/arend/lib/meta	377	9	2020-03-09	2024-06-18	60	6	valery.isaev@jetbrains.com	58226433+s3midetnov@users.n...
TermCompiler.java in meta/src/main/java/org/arend/lib/meta/linear	306	23	2022-09-18	2024-06-18	23	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
ExistsMeta.java in meta/src/main/java/org/arend/lib/meta	285	5	2020-07-18	2024-06-18	27	5	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
SIPMeta.java in meta/src/main/java/org/arend/lib/meta	165	2	2020-11-17	2024-06-18	22	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
ConstructorMeta.java in meta/src/main/java/org/arend/lib/meta	148	2	2020-08-28	2024-06-18	9	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
UnfoldMeta.java in meta/src/main/java/org/arend/lib/meta	124	3	2020-08-20	2024-06-18	20	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
BaseTermCompiler.java in meta/src/main/java/org/arend/lib/meta/solver	109	5	2023-01-17	2024-06-18	6	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
DefaultImplMeta.java in meta/src/main/java/org/arend/lib/meta	78	1	2024-05-25	2024-06-18	3	3	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
ReplaceSubexpressionsMeta.java in meta/src/main/java/org/arend/lib/meta/util	61	2	2021-03-19	2024-06-18	17	5	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
FailsMeta.java in meta/src/main/java/org/arend/lib/meta	59	3	2020-05-21	2024-06-18	15	7	valery.isaev@jetbrains.com	58226433+s3midetnov@users.n...
LinearSolverMeta.java in meta/src/main/java/org/arend/lib/meta/linear	56	3	2022-09-18	2024-06-18	12	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
UnfoldsMeta.java in meta/src/main/java/org/arend/lib/meta	50	2	2022-02-22	2024-06-18	6	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
InMeta.java in meta/src/main/java/org/arend/lib/meta	45	1	2024-04-17	2024-06-18	5	3	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
UnfoldLetMeta.java in meta/src/main/java/org/arend/lib/meta	38	1	2021-02-16	2024-06-18	11	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
SubexprError.java in meta/src/main/java/org/arend/lib/error	34	3	2020-03-25	2024-06-18	10	5	valery.isaev@jetbrains.com	58226433+s3midetnov@users.n...
SimplifyError.java in meta/src/main/java/org/arend/lib/error	32	3	2022-04-27	2024-06-18	9	4	fedor.part@gmail.com	58226433+s3midetnov@users.n...
TypeError.java in meta/src/main/java/org/arend/lib/error	26	3	2020-05-26	2024-06-18	10	5	valery.isaev@jetbrains.com	58226433+s3midetnov@users.n...
MetaDidNotFailError.java in meta/src/main/java/org/arend/lib/error	22	2	2020-05-21	2024-06-18	6	5	valery.isaev@jetbrains.com	58226433+s3midetnov@users.n...
CompiledTerm.java in meta/src/main/java/org/arend/lib/meta/linear	10	1	2022-09-18	2024-06-18	8	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
RingKind.java in meta/src/main/java/org/arend/lib/meta/solver	2	-	2023-01-17	2024-06-18	6	4	valery.isaev@gmail.com	58226433+s3midetnov@users.n...
MonoidSolver.java in meta/src/main/java/org/arend/lib/meta/equation	771	26	2020-09-02	2024-03-02	42	2	valery.isaev@gmail.com	valery.isaev@gmail.com
PatternUtils.java in meta/src/main/java/org/arend/lib/pattern	418	22	2020-08-30	2024-02-29	19	2	valery.isaev@gmail.com	valery.isaev@gmail.com
TransitivitySolver.java in meta/src/main/java/org/arend/lib/meta/equation	209	14	2020-06-19	2024-02-19	14	2	valery.isaev@gmail.com	valery.isaev@gmail.com
ConstructorGoalSolver.java in meta/src/main/java/org/arend/lib/goal	117	3	2020-05-10	2024-02-19	14	3	valery.isaev@jetbrains.com	valery.isaev@gmail.com
StdLevelProver.java in meta/src/main/java/org/arend/lib/level	142	3	2020-05-28	2024-02-09	20	3	valery.isaev@jetbrains.com	valery.isaev@gmail.com
MonoidSolverError.java in meta/src/main/java/org/arend/lib/error	64	5	2023-08-15	2023-11-29	2	1	valery.isaev@gmail.com	valery.isaev@gmail.com
LocalSimplificationRuleBase.java in meta/src/main/java/org/arend/lib/meta/simplify	127	2	2022-04-27	2023-09-29	9	3	fedor.part@gmail.com	fedor.part@gmail.com
RingSolver.java in meta/src/main/java/org/arend/lib/meta/equation	310	20	2021-01-09	2023-08-15	25	2	valery.isaev@gmail.com	valery.isaev@gmail.com
EqualitySolver.java in meta/src/main/java/org/arend/lib/meta/equation	145	14	2020-05-24	2023-08-15	38	3	valery.isaev@jetbrains.com	valery.isaev@gmail.com
EquationSolverError.java in meta/src/main/java/org/arend/lib/error	86	5	2023-08-15	2023-08-15	1	1	valery.isaev@gmail.com	valery.isaev@gmail.com
GroupInverseRule.java in meta/src/main/java/org/arend/lib/meta/simplify	154	5	2023-03-07	2023-07-07	4	2	fedor.part@gmail.com	valery.isaev@gmail.com
AbGroupInverseRule.java in meta/src/main/java/org/arend/lib/meta/simplify	120	4	2022-06-07	2023-07-07	7	2	fedor.part@gmail.com	valery.isaev@gmail.com
BaseEqualitySolver.java in meta/src/main/java/org/arend/lib/meta/equation	103	13	2020-12-15	2023-07-07	21	2	valery.isaev@gmail.com	valery.isaev@gmail.com
CategoryDataFactory.java in meta/src/main/java/org/arend/lib/meta/equation/datafactory	70	4	2022-07-25	2023-07-07	2	2	fedor.part@gmail.com	valery.isaev@gmail.com
Buchberger.java in meta/src/main/java/org/arend/lib/util/algorithms/groebner	67	-	2020-10-16	2023-07-07	15	2	fedor.part@gmail.com	valery.isaev@gmail.com
DataFactoryBase.java in meta/src/main/java/org/arend/lib/meta/equation/datafactory	61	4	2022-07-25	2023-07-07	3	2	fedor.part@gmail.com	valery.isaev@gmail.com