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