path # lines of code # active days days since first update days since last update # commits # contributors first updated last updated first contributor last contributor reactor/Core/src/jetbrains/mps/logic/reactor/core/RuleIndex.kt 179 41 3651 472 45 2 2016-01-21 2024-10-04 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/RuleMatchEx.kt 22 8 2455 549 9 2 2019-05-01 2024-07-19 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/Justified.kt 32 10 2152 536 10 2 2020-02-28 2024-08-01 grigorii.kirgizov@jetbrains.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/Invocation.kt 19 5 3220 2462 6 1 2017-03-27 2019-04-24 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/CompositeFeedback.kt 98 9 2451 535 9 2 2019-05-05 2024-08-02 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/Reactivatable.kt 4 1 584 584 1 1 2024-06-14 2024-06-14 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/RuleMatcher.kt 14 25 2730 473 25 2 2018-07-30 2024-10-03 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/DetailedFeedback.kt 28 3 2451 585 3 1 2019-05-05 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/Feedback.kt 33 9 2451 535 9 2 2019-05-05 2024-08-02 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/RuleMatchingProbe.kt 13 14 2455 1742 14 2 2019-05-01 2021-04-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt 18 36 3315 546 38 2 2016-12-22 2024-07-22 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/FeedbackStatus.kt 25 3 2447 536 3 1 2019-05-09 2024-08-01 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/StoreViewImpl.kt 13 1 536 536 1 1 2024-08-01 2024-08-01 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ReteRuleMatcherImpl.kt 428 34 2462 472 37 2 2019-04-24 2024-10-04 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournalImpl.kt 224 45 2399 535 59 2 2019-06-26 2024-08-02 grigorii.kirgizov@jetbrains.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/LogicalImpl.kt 132 9 2462 536 11 2 2019-04-24 2024-08-01 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ControllerImpl.kt 285 65 2462 508 80 2 2019-04-24 2024-08-29 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/LogicalState.kt 50 8 2201 518 8 2 2020-01-10 2024-08-19 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ConstraintsProcessing.kt 104 51 2201 536 59 2 2020-01-10 2024-08-01 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/EvaluationSessionImpl.kt 95 47 2462 481 59 2 2019-04-24 2024-09-25 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/MatchJournal.kt 54 52 2436 532 73 2 2019-05-20 2024-08-05 grigorii.kirgizov@jetbrains.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/RuleMatchImpl.kt 36 9 2455 584 9 2 2019-05-01 2024-06-14 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/OccurrenceMatcherImpl.kt 117 5 2462 2152 7 1 2019-04-24 2020-02-28 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/LogicalStateObservable.kt 6 4 2201 584 4 2 2020-01-10 2024-06-14 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/OccurrenceMatcher.kt 13 9 2664 585 9 1 2018-10-04 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/EvaluationFailure.kt 20 6 2451 585 6 1 2019-05-05 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/Occurrence.kt 68 32 3301 518 35 2 2017-01-05 2024-08-19 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/core/Dispatcher.kt 47 35 2730 473 36 2 2018-07-30 2024-10-03 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/program/Predicate.java 4 1 2462 2462 2 1 2019-04-24 2019-04-24 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/program/PredicateSymbol.java 16 2 2462 2057 3 1 2019-04-24 2020-06-02 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/program/InvalidRuleException.java 9 1 2462 2462 2 1 2019-04-24 2019-04-24 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/program/Program.java 5 11 2462 1742 14 2 2019-04-24 2021-04-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/program/InvalidConstraintException.java 9 2 2462 1736 3 1 2019-04-24 2021-04-19 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/program/AndItem.java 6 1 2462 2462 2 1 2019-04-24 2019-04-24 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/program/Constraint.java 10 3 2462 2152 4 2 2019-04-24 2020-02-28 fisakov@gmail.com grigorii.kirgizov@jetbrains.com reactor/Core/src/jetbrains/mps/logic/reactor/program/ConstraintSymbol.java 13 1 2462 2462 2 1 2019-04-24 2019-04-24 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/program/Rule.java 45 16 2462 510 17 2 2019-04-24 2024-08-27 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/program/Symbol.java 36 2 2462 585 3 1 2019-04-24 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationFailureException.java 9 1 2462 2462 2 1 2019-04-24 2019-04-24 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/RuleMatch.java 9 1 2454 2454 1 1 2019-05-02 2019-05-02 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationResult.java 5 10 2462 577 11 2 2019-04-24 2024-06-21 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationTrace.java 25 11 2462 528 14 2 2019-04-24 2024-08-09 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/Solver.java 62 3 2462 585 3 1 2019-04-24 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/PredicateInvocation.java 10 3 2462 2323 4 1 2019-04-24 2019-09-10 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.java 54 18 2462 577 22 2 2019-04-24 2024-06-21 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/ConstraintOccurrence.java 10 9 2462 549 10 2 2019-04-24 2024-07-19 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/Supervisor.java 28 6 2451 535 6 2 2019-05-05 2024-08-02 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/InvocationContext.java 7 2 2462 2323 2 1 2019-04-24 2019-09-10 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationSession.kt 4 1 582 582 1 1 2024-06-16 2024-06-16 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/DataProvider.java 27 2 2057 585 2 1 2020-06-02 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/StoreView.java 7 1 2462 2462 2 1 2019-04-24 2019-04-24 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/evaluation/EvaluationFeedback.java 55 5 2462 535 5 1 2019-04-24 2024-08-02 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/util/ArrayListStack.kt 5 3 2664 585 3 1 2018-10-04 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/util/ClassicTermTrie.kt 198 10 2689 1716 10 2 2018-09-09 2021-05-09 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/util/BitSet.kt 45 7 2730 567 7 1 2018-07-30 2024-07-01 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/util/ClassicIndexedTermTrie.kt 232 5 1716 474 5 1 2021-05-09 2024-10-02 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/util/IndexedTermTrie.kt 13 3 1716 474 3 1 2021-05-09 2024-10-02 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/util/DexxCollections.kt 25 7 3541 585 8 1 2016-05-10 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/util/Id.kt 11 1 2447 2447 1 1 2019-05-09 2019-05-09 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/util/Collections.kt 32 2 2305 481 3 1 2019-09-28 2024-09-25 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/util/Profiler.kt 54 11 3541 481 11 1 2016-05-10 2024-09-25 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/util/TermTrie.kt 9 2 2689 1716 2 1 2018-09-09 2021-05-09 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/logical/VarSymbol.java 3 1 2462 2462 2 1 2019-04-24 2019-04-24 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/logical/MutableLogical.java 10 3 2454 585 4 1 2019-05-02 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/logical/LogicalObserver.kt 5 1 584 584 1 1 2024-06-14 2024-06-14 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/logical/LogicalObservable.kt 5 1 584 584 1 1 2024-06-14 2024-06-14 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/logical/Logical.kt 9 1 585 585 1 1 2024-06-13 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/logical/MetaLogical.java 29 2 2462 585 3 1 2019-04-24 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/logical/LogicalContext.java 4 1 2462 2462 2 1 2019-04-24 2019-04-24 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/logical/LogicalOwner.java 4 1 2462 2462 2 1 2019-04-24 2019-04-24 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/logic/reactor/logical/Logical.java 9 5 2462 584 6 2 2019-04-24 2024-06-14 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/unification/Unification.kt 52 4 3003 585 4 1 2017-10-30 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/unification/TermGraphUnifier.kt 222 10 3003 585 10 1 2017-10-30 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/unification/TermWrapper.java 15 4 3153 585 4 1 2017-06-02 2024-06-13 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/unification/Term.java 21 7 3153 474 7 1 2017-06-02 2024-10-02 fisakov@gmail.com fisakov@gmail.com reactor/Core/src/jetbrains/mps/unification/Substitution.java 83 4 3153 585 4 1 2017-06-02 2024-06-13 fisakov@gmail.com fisakov@gmail.com