SuccessChanges

Summary

  1. Begin to collect the scattered parts of equation application (#1711) (details)
Commit f6eb89ae3c00ae236dc9fc4d8377a21ba6feaac1 by noreply
Begin to collect the scattered parts of equation application (#1711)
The file was modifiedkore/src/Kore/Internal/Predicate.hs (diff)
The file was modifiedkore/src/Kore/Step/Simplification/And.hs (diff)
The file was addedkore/test/Test/Kore/Equation/Sentence.hs
The file was addedkore/src/Kore/Equation/Simplification.hs
The file was addedkore/src/Kore/Equation.hs
The file was addedkore/test/Test/Expect.hs
The file was modifiedkore/test/Test/Kore/Attribute/Overload.hs (diff)
The file was modifiedkore/app/exec/Main.hs (diff)
The file was addedkore/src/Kore/Equation/Registry.hs
The file was modifiedkore/test/Test/Kore/Step/Simplification/AndTerms.hs (diff)
The file was modifiedkore/src/Kore/Step/Simplification/Rule.hs (diff)
The file was modifiedkore/src/Kore/Step/Rule.hs (diff)
The file was modifiedkore/test/Test/Kore/Step/Rule.hs (diff)
The file was addedkore/src/Kore/Equation/Sentence.hs
The file was addedkore/src/Kore/Equation/Equation.hs
The file was modifiedkore/src/Kore/Step/Step.hs (diff)
The file was modifiedkore/test/Test/Kore/Step/Simplification/Integration.hs (diff)
The file was modifiedkore/test/Test/Kore/Step/Axiom/Registry.hs (diff)
The file was modifiedkore/src/Kore/Step/Simplification/TermLike.hs (diff)
The file was modifiedkore/src/Kore/Step/EqualityPattern.hs (diff)
The file was modifiedkore/src/Kore/Step/Axiom/Registry.hs (diff)
The file was modifiedkore/src/Kore/Strategies/Goal.hs (diff)
The file was modifiedkore/test/Test/Kore/Internal/Predicate.hs (diff)
The file was modifiedkore/src/Kore/Step/Simplification/Data.hs (diff)