JetBrains / arend-lib
File Change Frequency

File change frequency (churn) shows the distribution of file updates (days with at least one commit).

Overview
File Change Frequency Overall
  • There are 137 files with 15,213 lines of code.
    • 1 file changed more than 100 times (334 lines of code)
    • 5 files changed 51-100 times (2,966 lines of code)
    • 15 files changed 21-50 times (4,489 lines of code)
    • 45 files changed 6-20 times (4,195 lines of code)
    • 71 files changed 1-5 times (3,229 lines of code)
2% | 19% | 29% | 27% | 21%
Legend:
101+
51-100
21-50
6-20
1-5

explore: grouped by folders | grouped by update frequency | data
Contributors Count Frequency Overall
  • There are 137 files with 15,213 lines of code.
    • 0 files changed by more than 25 contributors (0 lines of code)
    • 0 files changed by 11-25 contributors (0 lines of code)
    • 5 files changed by 6-10 contributors (1,236 lines of code)
    • 105 files changed by 2-5 contributors (13,075 lines of code)
    • 27 files changed by 1 contributor (902 lines of code)
0% | 0% | 8% | 85% | 5%
Legend:
26+
11-25
6-10
2-5
1

explore: grouped by folders | grouped by contributors count | data
File Change Frequency per File Extension
java, kts, yaml, gitignore, txt, bat, md, properties
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
java2% | 19% | 29% | 27% | 21%
kts0% | 0% | 93% | 0% | 6%
yaml0% | 0% | 100% | 0% | 0%
File Change Frequency per Logical Decomposition
primary
primary (file change frequency)
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
meta2% | 19% | 29% | 27% | 21%
ROOT0% | 0% | 100% | 0% | 0%
Most Frequently Changed Files (Top 50)

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
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
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
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...
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...
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
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...
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
31 - 2019-12-25 2024-07-09 41 6 valery.isaev@gmail.com kadantsev.georg@yandex.ru
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
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
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
arend.yaml
in root
7 - 2018-09-21 2024-07-09 30 4 valery.isaev@gmail.com kadantsev.georg@yandex.ru
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
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...
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...
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
CongVisitor.java
in meta/src/main/java/org/arend/lib/meta/cong
379 23 2020-10-23 2022-12-06 25 2 valery.isaev@gmail.com fedor.part@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...
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...
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...
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
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...
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
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
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...
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
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
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
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...
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
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
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
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
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
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
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...
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...
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
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
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
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
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...
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...
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
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
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
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...
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...
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
Files With Most Contributors (Top 50)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
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
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...
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...
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
31 - 2019-12-25 2024-07-09 41 6 valery.isaev@gmail.com kadantsev.georg@yandex.ru
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
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...
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
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...
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...
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...
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...
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
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...
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...
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
arend.yaml
in root
7 - 2018-09-21 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...
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...
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...
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
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...
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...
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
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...
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...
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...
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...
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...
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
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
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
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
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
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
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
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
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
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
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
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
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...
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...
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
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
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
Files With Least Contributors (Top 50)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
CongVisitor.java
in meta/src/main/java/org/arend/lib/meta/cong
379 23 2020-10-23 2022-12-06 25 2 valery.isaev@gmail.com fedor.part@gmail.com
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
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
PiTreeMaker.java
in meta/src/main/java/org/arend/lib/meta/pi_tree
287 11 2020-12-05 2022-12-12 8 2 valery.isaev@gmail.com fedor.part@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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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