Rename kernel to k-frontend.

runtimeverification · Apr 21, 2024 · 7791f8e · 7791f8e
1 parent a2929e7
commit 7791f8e
Show file tree

Hide file tree

Showing 324 changed files with 9 additions and 9 deletions.
diff --git a/.github/workflows/Dockerfile.maven-cache b/.github/workflows/Dockerfile.maven-cache
@@ -23,7 +23,7 @@ ADD pom.xml                                                    /home/$USER/.tmp-
 ADD llvm-backend/pom.xml                                       /home/$USER/.tmp-maven/llvm-backend/
 ADD llvm-backend/src/main/native/llvm-backend/matching/pom.xml /home/$USER/.tmp-maven/llvm-backend/src/main/native/llvm-backend/matching/
 ADD haskell-backend/pom.xml                                    /home/$USER/.tmp-maven/haskell-backend/
-ADD kernel/pom.xml                                             /home/$USER/.tmp-maven/kernel/
+ADD k-frontend/pom.xml                                         /home/$USER/.tmp-maven/k-frontend/
 ADD k-distribution/pom.xml                                     /home/$USER/.tmp-maven/k-distribution/
 
 RUN cd /home/$USER/.tmp-maven && mvn --batch-mode dependency:go-offline
diff --git a/flake.nix b/flake.nix
@@ -54,7 +54,7 @@
 
             k-framework = { haskell-backend-bins, llvm-kompile-libs }:
               prev.callPackage ./nix/k.nix {
-                mvnHash = "sha256-R0lpOuz79szCLU+TaveYz5F7Lo7KtiYHJ9Nb7O2bczQ=";
+                mvnHash = "sha256-jJuIyObMoBWBLLU4hK9kt4q520D9MglyDk8Lbj+xYnE=";
                 manualMvnArtifacts = [
                   "org.scala-lang:scala-compiler:2.13.13"
                   "ant-contrib:ant-contrib:1.0b3"

diff --git a/haskell-backend/pom.xml b/haskell-backend/pom.xml
@@ -16,7 +16,7 @@
   <dependencies>
     <dependency>
       <groupId>com.runtimeverification.k</groupId>
-      <artifactId>kernel</artifactId>
+      <artifactId>k-frontend</artifactId>
       <version>${project.version}</version>
     </dependency>
   </dependencies>

diff --git a/k-distribution/pom.xml b/k-distribution/pom.xml
@@ -22,7 +22,7 @@
   <dependencies>
     <dependency>
       <groupId>com.runtimeverification.k</groupId>
-      <artifactId>kernel</artifactId>
+      <artifactId>k-frontend</artifactId>
       <version>${project.version}</version>
     </dependency>
     <dependency>

diff --git a/kernel/pom.xml → k-frontend/pom.xml b/kernel/pom.xml → k-frontend/pom.xml
@@ -8,10 +8,10 @@
     <artifactId>parent</artifactId>
     <version>1.0-SNAPSHOT</version>
   </parent>
-  <artifactId>kernel</artifactId>
+  <artifactId>k-frontend</artifactId>
   <packaging>jar</packaging>
 
-  <name>K Framework Tool Kernel</name>
+  <name>K Framework Frontend</name>
 
   <dependencies>
     <dependency>

diff --git a/...va/com/davekoelle/AlphanumComparator.java → ...va/com/davekoelle/AlphanumComparator.java b/...va/com/davekoelle/AlphanumComparator.java → ...va/com/davekoelle/AlphanumComparator.java
diff --git a/...el/src/main/java/org/kframework/List.java → ...nd/src/main/java/org/kframework/List.java b/...el/src/main/java/org/kframework/List.java → ...nd/src/main/java/org/kframework/List.java
diff --git a/...l/src/main/java/org/kframework/POSet.java → ...d/src/main/java/org/kframework/POSet.java b/...l/src/main/java/org/kframework/POSet.java → ...d/src/main/java/org/kframework/POSet.java
diff --git a/.../org/kframework/SerializableSupplier.java → .../org/kframework/SerializableSupplier.java b/.../org/kframework/SerializableSupplier.java → .../org/kframework/SerializableSupplier.java
diff --git a/.../java/org/kframework/TopologicalSort.java → .../java/org/kframework/TopologicalSort.java b/.../java/org/kframework/TopologicalSort.java → .../java/org/kframework/TopologicalSort.java
diff --git a/...rg/kframework/attributes/HasLocation.java → ...rg/kframework/attributes/HasLocation.java b/...rg/kframework/attributes/HasLocation.java → ...rg/kframework/attributes/HasLocation.java
diff --git a/...java/org/kframework/backend/Backends.java → ...java/org/kframework/backend/Backends.java b/...java/org/kframework/backend/Backends.java → ...java/org/kframework/backend/Backends.java
diff --git a/...ework/backend/kore/ConstructorChecks.java → ...ework/backend/kore/ConstructorChecks.java b/...ework/backend/kore/ConstructorChecks.java → ...ework/backend/kore/ConstructorChecks.java
diff --git a/.../kframework/backend/kore/KoreBackend.java → .../kframework/backend/kore/KoreBackend.java b/.../kframework/backend/kore/KoreBackend.java → .../kframework/backend/kore/KoreBackend.java
diff --git a/...kframework/backend/kore/ModuleToKORE.java → ...kframework/backend/kore/ModuleToKORE.java b/...kframework/backend/kore/ModuleToKORE.java → ...kframework/backend/kore/ModuleToKORE.java
diff --git a/.../org/kframework/builtin/BooleanUtils.java → .../org/kframework/builtin/BooleanUtils.java b/.../org/kframework/builtin/BooleanUtils.java → .../org/kframework/builtin/BooleanUtils.java
diff --git a/...in/java/org/kframework/builtin/Hooks.java → ...in/java/org/kframework/builtin/Hooks.java b/...in/java/org/kframework/builtin/Hooks.java → ...in/java/org/kframework/builtin/Hooks.java
diff --git a/.../java/org/kframework/builtin/KLabels.java → .../java/org/kframework/builtin/KLabels.java b/.../java/org/kframework/builtin/KLabels.java → .../java/org/kframework/builtin/KLabels.java
diff --git a/...rg/kframework/compile/AddCoolLikeAtt.java → ...rg/kframework/compile/AddCoolLikeAtt.java b/...rg/kframework/compile/AddCoolLikeAtt.java → ...rg/kframework/compile/AddCoolLikeAtt.java
diff --git a/...k/compile/AddImplicitComputationCell.java → ...k/compile/AddImplicitComputationCell.java b/...k/compile/AddImplicitComputationCell.java → ...k/compile/AddImplicitComputationCell.java
diff --git a/...ework/compile/AddImplicitCounterCell.java → ...ework/compile/AddImplicitCounterCell.java b/...ework/compile/AddImplicitCounterCell.java → ...ework/compile/AddImplicitCounterCell.java
diff --git a/...rg/kframework/compile/AddParentCells.java → ...rg/kframework/compile/AddParentCells.java b/...rg/kframework/compile/AddParentCells.java → ...rg/kframework/compile/AddParentCells.java
diff --git a/...kframework/compile/AddSortInjections.java → ...kframework/compile/AddSortInjections.java b/...kframework/compile/AddSortInjections.java → ...kframework/compile/AddSortInjections.java
diff --git a/...kframework/compile/AddTopCellToRules.java → ...kframework/compile/AddTopCellToRules.java b/...kframework/compile/AddTopCellToRules.java → ...kframework/compile/AddTopCellToRules.java
diff --git a/.../java/org/kframework/compile/Backend.java → .../java/org/kframework/compile/Backend.java b/.../java/org/kframework/compile/Backend.java → .../java/org/kframework/compile/Backend.java
diff --git a/...va/org/kframework/compile/CloseCells.java → ...va/org/kframework/compile/CloseCells.java b/...va/org/kframework/compile/CloseCells.java → ...va/org/kframework/compile/CloseCells.java
diff --git a/...omputeTransitiveFunctionDependencies.java → ...omputeTransitiveFunctionDependencies.java b/...omputeTransitiveFunctionDependencies.java → ...omputeTransitiveFunctionDependencies.java
diff --git a/...framework/compile/ConcretizationInfo.java → ...framework/compile/ConcretizationInfo.java b/...framework/compile/ConcretizationInfo.java → ...framework/compile/ConcretizationInfo.java
diff --git a/...g/kframework/compile/ConcretizeCells.java → ...g/kframework/compile/ConcretizeCells.java b/...g/kframework/compile/ConcretizeCells.java → ...g/kframework/compile/ConcretizeCells.java
diff --git a/...kframework/compile/ConfigurationInfo.java → ...kframework/compile/ConfigurationInfo.java b/...kframework/compile/ConfigurationInfo.java → ...kframework/compile/ConfigurationInfo.java
diff --git a/...g/kframework/compile/ConstantFolding.java → ...g/kframework/compile/ConstantFolding.java b/...g/kframework/compile/ConstantFolding.java → ...g/kframework/compile/ConstantFolding.java
diff --git a/...compile/ConvertDataStructureToLookup.java → ...compile/ConvertDataStructureToLookup.java b/...compile/ConvertDataStructureToLookup.java → ...compile/ConvertDataStructureToLookup.java
diff --git a/.../org/kframework/compile/ExpandMacros.java → .../org/kframework/compile/ExpandMacros.java b/.../org/kframework/compile/ExpandMacros.java → .../org/kframework/compile/ExpandMacros.java
diff --git a/.../org/kframework/compile/FloatBuiltin.java → .../org/kframework/compile/FloatBuiltin.java b/.../org/kframework/compile/FloatBuiltin.java → .../org/kframework/compile/FloatBuiltin.java
diff --git a/...kframework/compile/GatherVarsVisitor.java → ...kframework/compile/GatherVarsVisitor.java b/...kframework/compile/GatherVarsVisitor.java → ...kframework/compile/GatherVarsVisitor.java
diff --git a/.../kframework/compile/GenerateCoverage.java → .../kframework/compile/GenerateCoverage.java b/.../kframework/compile/GenerateCoverage.java → .../kframework/compile/GenerateCoverage.java
diff --git a/...pile/GenerateSentencesFromConfigDecl.java → ...pile/GenerateSentencesFromConfigDecl.java b/...pile/GenerateSentencesFromConfigDecl.java → ...pile/GenerateSentencesFromConfigDecl.java
diff --git a/...k/compile/GenerateSortPredicateRules.java → ...k/compile/GenerateSortPredicateRules.java b/...k/compile/GenerateSortPredicateRules.java → ...k/compile/GenerateSortPredicateRules.java
diff --git a/.../compile/GenerateSortPredicateSyntax.java → .../compile/GenerateSortPredicateSyntax.java b/.../compile/GenerateSortPredicateSyntax.java → .../compile/GenerateSortPredicateSyntax.java
diff --git a/...work/compile/GenerateSortProjections.java → ...work/compile/GenerateSortProjections.java b/...work/compile/GenerateSortProjections.java → ...work/compile/GenerateSortProjections.java
diff --git a/...g/kframework/compile/GuardOrPatterns.java → ...g/kframework/compile/GuardOrPatterns.java b/...g/kframework/compile/GuardOrPatterns.java → ...g/kframework/compile/GuardOrPatterns.java
diff --git a/...ramework/compile/IncompleteCellUtils.java → ...ramework/compile/IncompleteCellUtils.java b/...ramework/compile/IncompleteCellUtils.java → ...ramework/compile/IncompleteCellUtils.java
diff --git a/...ava/org/kframework/compile/LabelInfo.java → ...ava/org/kframework/compile/LabelInfo.java b/...ava/org/kframework/compile/LabelInfo.java → ...ava/org/kframework/compile/LabelInfo.java
diff --git a/...ork/compile/MinimizeTermConstruction.java → ...ork/compile/MinimizeTermConstruction.java b/...ork/compile/MinimizeTermConstruction.java → ...ork/compile/MinimizeTermConstruction.java
diff --git a/...framework/compile/NormalizeVariables.java → ...framework/compile/NormalizeVariables.java b/...framework/compile/NormalizeVariables.java → ...framework/compile/NormalizeVariables.java
diff --git a/...g/kframework/compile/NumberSentences.java → ...g/kframework/compile/NumberSentences.java b/...g/kframework/compile/NumberSentences.java → ...g/kframework/compile/NumberSentences.java
diff --git a/...ork/compile/PatternValueAwareVisitor.java → ...ork/compile/PatternValueAwareVisitor.java b/...ork/compile/PatternValueAwareVisitor.java → ...ork/compile/PatternValueAwareVisitor.java
diff --git a/...rg/kframework/compile/PropagateMacro.java → ...rg/kframework/compile/PropagateMacro.java b/...rg/kframework/compile/PropagateMacro.java → ...rg/kframework/compile/PropagateMacro.java
diff --git a/.../org/kframework/compile/RefreshRules.java → .../org/kframework/compile/RefreshRules.java b/.../org/kframework/compile/RefreshRules.java → .../org/kframework/compile/RefreshRules.java
diff --git a/...va/org/kframework/compile/RemoveUnit.java → ...va/org/kframework/compile/RemoveUnit.java b/...va/org/kframework/compile/RemoveUnit.java → ...va/org/kframework/compile/RemoveUnit.java
diff --git a/...rg/kframework/compile/ResolveAnonVar.java → ...rg/kframework/compile/ResolveAnonVar.java b/...rg/kframework/compile/ResolveAnonVar.java → ...rg/kframework/compile/ResolveAnonVar.java
diff --git a/...a/org/kframework/compile/ResolveComm.java → ...a/org/kframework/compile/ResolveComm.java b/...a/org/kframework/compile/ResolveComm.java → ...a/org/kframework/compile/ResolveComm.java
diff --git a/...g/kframework/compile/ResolveContexts.java → ...g/kframework/compile/ResolveContexts.java b/...g/kframework/compile/ResolveContexts.java → ...g/kframework/compile/ResolveContexts.java
diff --git a/.../compile/ResolveFreshConfigConstants.java → .../compile/ResolveFreshConfigConstants.java b/.../compile/ResolveFreshConfigConstants.java → .../compile/ResolveFreshConfigConstants.java
diff --git a/...mework/compile/ResolveFreshConstants.java → ...mework/compile/ResolveFreshConstants.java b/...mework/compile/ResolveFreshConstants.java → ...mework/compile/ResolveFreshConstants.java
diff --git a/...va/org/kframework/compile/ResolveFun.java → ...va/org/kframework/compile/ResolveFun.java b/...va/org/kframework/compile/ResolveFun.java → ...va/org/kframework/compile/ResolveFun.java
diff --git a/...rk/compile/ResolveFunctionWithConfig.java → ...rk/compile/ResolveFunctionWithConfig.java b/...rk/compile/ResolveFunctionWithConfig.java → ...rk/compile/ResolveFunctionWithConfig.java
diff --git a/...ork/compile/ResolveHeatCoolAttribute.java → ...ork/compile/ResolveHeatCoolAttribute.java b/...ork/compile/ResolveHeatCoolAttribute.java → ...ork/compile/ResolveHeatCoolAttribute.java
diff --git a/.../kframework/compile/ResolveIOStreams.java → .../kframework/compile/ResolveIOStreams.java b/.../kframework/compile/ResolveIOStreams.java → .../kframework/compile/ResolveIOStreams.java
diff --git a/...amework/compile/ResolveSemanticCasts.java → ...amework/compile/ResolveSemanticCasts.java b/...amework/compile/ResolveSemanticCasts.java → ...amework/compile/ResolveSemanticCasts.java
diff --git a/...org/kframework/compile/ResolveStrict.java → ...org/kframework/compile/ResolveStrict.java b/...org/kframework/compile/ResolveStrict.java → ...org/kframework/compile/ResolveStrict.java
diff --git a/...work/compile/RewriteAwareTransformer.java → ...work/compile/RewriteAwareTransformer.java b/...work/compile/RewriteAwareTransformer.java → ...work/compile/RewriteAwareTransformer.java
diff --git a/...ramework/compile/RewriteAwareVisitor.java → ...ramework/compile/RewriteAwareVisitor.java b/...ramework/compile/RewriteAwareVisitor.java → ...ramework/compile/RewriteAwareVisitor.java
diff --git a/...ava/org/kframework/compile/SortCells.java → ...ava/org/kframework/compile/SortCells.java b/...ava/org/kframework/compile/SortCells.java → ...ava/org/kframework/compile/SortCells.java
diff --git a/...java/org/kframework/compile/SortInfo.java → ...java/org/kframework/compile/SortInfo.java b/...java/org/kframework/compile/SortInfo.java → ...java/org/kframework/compile/SortInfo.java
diff --git a/...mework/compile/checks/CheckAnonymous.java → ...mework/compile/checks/CheckAnonymous.java b/...mework/compile/checks/CheckAnonymous.java → ...mework/compile/checks/CheckAnonymous.java
diff --git a/...kframework/compile/checks/CheckAssoc.java → ...kframework/compile/checks/CheckAssoc.java b/...kframework/compile/checks/CheckAssoc.java → ...kframework/compile/checks/CheckAssoc.java
diff --git a/...g/kframework/compile/checks/CheckAtt.java → ...g/kframework/compile/checks/CheckAtt.java b/...g/kframework/compile/checks/CheckAtt.java → ...g/kframework/compile/checks/CheckAtt.java
diff --git a/...ramework/compile/checks/CheckBracket.java → ...ramework/compile/checks/CheckBracket.java b/...ramework/compile/checks/CheckBracket.java → ...ramework/compile/checks/CheckBracket.java
diff --git a/...mpile/checks/CheckConfigurationCells.java → ...mpile/checks/CheckConfigurationCells.java b/...mpile/checks/CheckConfigurationCells.java → ...mpile/checks/CheckConfigurationCells.java
diff --git a/...ework/compile/checks/CheckDeprecated.java → ...ework/compile/checks/CheckDeprecated.java b/...ework/compile/checks/CheckDeprecated.java → ...ework/compile/checks/CheckDeprecated.java
diff --git a/...mework/compile/checks/CheckFunctions.java → ...mework/compile/checks/CheckFunctions.java b/...mework/compile/checks/CheckFunctions.java → ...mework/compile/checks/CheckFunctions.java
diff --git a/.../kframework/compile/checks/CheckHOLE.java → .../kframework/compile/checks/CheckHOLE.java b/.../kframework/compile/checks/CheckHOLE.java → .../kframework/compile/checks/CheckHOLE.java
diff --git a/...org/kframework/compile/checks/CheckK.java → ...org/kframework/compile/checks/CheckK.java b/...org/kframework/compile/checks/CheckK.java → ...org/kframework/compile/checks/CheckK.java
diff --git a/...ramework/compile/checks/CheckKLabels.java → ...ramework/compile/checks/CheckKLabels.java b/...ramework/compile/checks/CheckKLabels.java → ...ramework/compile/checks/CheckKLabels.java
diff --git a/...framework/compile/checks/CheckLabels.java → ...framework/compile/checks/CheckLabels.java b/...framework/compile/checks/CheckLabels.java → ...framework/compile/checks/CheckLabels.java
diff --git a/...amework/compile/checks/CheckListDecl.java → ...amework/compile/checks/CheckListDecl.java b/...amework/compile/checks/CheckListDecl.java → ...amework/compile/checks/CheckListDecl.java
diff --git a/...ork/compile/checks/CheckRHSVariables.java → ...ork/compile/checks/CheckRHSVariables.java b/...ork/compile/checks/CheckRHSVariables.java → ...ork/compile/checks/CheckRHSVariables.java
diff --git a/...ramework/compile/checks/CheckRewrite.java → ...ramework/compile/checks/CheckRewrite.java b/...ramework/compile/checks/CheckRewrite.java → ...ramework/compile/checks/CheckRewrite.java
diff --git a/...mework/compile/checks/CheckSmtLemmas.java → ...mework/compile/checks/CheckSmtLemmas.java b/...mework/compile/checks/CheckSmtLemmas.java → ...mework/compile/checks/CheckSmtLemmas.java
diff --git a/...ompile/checks/CheckSortTopUniqueness.java → ...ompile/checks/CheckSortTopUniqueness.java b/...ompile/checks/CheckSortTopUniqueness.java → ...ompile/checks/CheckSortTopUniqueness.java
diff --git a/...ramework/compile/checks/CheckStreams.java → ...ramework/compile/checks/CheckStreams.java b/...ramework/compile/checks/CheckStreams.java → ...ramework/compile/checks/CheckStreams.java
diff --git a/...ork/compile/checks/CheckSyntaxGroups.java → ...ork/compile/checks/CheckSyntaxGroups.java b/...ork/compile/checks/CheckSyntaxGroups.java → ...ork/compile/checks/CheckSyntaxGroups.java
diff --git a/...framework/compile/checks/CheckTokens.java → ...framework/compile/checks/CheckTokens.java b/...framework/compile/checks/CheckTokens.java → ...framework/compile/checks/CheckTokens.java
diff --git a/...mpile/checks/ComputeUnboundVariables.java → ...mpile/checks/ComputeUnboundVariables.java b/...mpile/checks/ComputeUnboundVariables.java → ...mpile/checks/ComputeUnboundVariables.java
diff --git a/.../kframework/definition/Associativity.java → .../kframework/definition/Associativity.java b/.../kframework/definition/Associativity.java → .../kframework/definition/Associativity.java
diff --git a/...a/org/kframework/definition/UserList.java → ...a/org/kframework/definition/UserList.java b/...a/org/kframework/definition/UserList.java → ...a/org/kframework/definition/UserList.java
diff --git a/...ava/org/kframework/kast/KastFrontEnd.java → ...ava/org/kframework/kast/KastFrontEnd.java b/...ava/org/kframework/kast/KastFrontEnd.java → ...ava/org/kframework/kast/KastFrontEnd.java
diff --git a/.../java/org/kframework/kast/KastModule.java → .../java/org/kframework/kast/KastModule.java b/.../java/org/kframework/kast/KastModule.java → .../java/org/kframework/kast/KastModule.java
diff --git a/...java/org/kframework/kast/KastOptions.java → ...java/org/kframework/kast/KastOptions.java b/...java/org/kframework/kast/KastOptions.java → ...java/org/kframework/kast/KastOptions.java
diff --git a/...ava/org/kframework/kdep/KDepFrontEnd.java → ...ava/org/kframework/kdep/KDepFrontEnd.java b/...ava/org/kframework/kdep/KDepFrontEnd.java → ...ava/org/kframework/kdep/KDepFrontEnd.java
diff --git a/.../java/org/kframework/kdep/KDepModule.java → .../java/org/kframework/kdep/KDepModule.java b/.../java/org/kframework/kdep/KDepModule.java → .../java/org/kframework/kdep/KDepModule.java
diff --git a/...java/org/kframework/kdep/KDepOptions.java → ...java/org/kframework/kdep/KDepOptions.java b/...java/org/kframework/kdep/KDepOptions.java → ...java/org/kframework/kdep/KDepOptions.java
diff --git a/...main/java/org/kframework/kil/ASTNode.java → ...main/java/org/kframework/kil/ASTNode.java b/...main/java/org/kframework/kil/ASTNode.java → ...main/java/org/kframework/kil/ASTNode.java
diff --git a/...n/java/org/kframework/kil/Definition.java → ...n/java/org/kframework/kil/Definition.java b/...n/java/org/kframework/kil/Definition.java → ...n/java/org/kframework/kil/Definition.java
diff --git a/...va/org/kframework/kil/DefinitionItem.java → ...va/org/kframework/kil/DefinitionItem.java b/...va/org/kframework/kil/DefinitionItem.java → ...va/org/kframework/kil/DefinitionItem.java
diff --git a/.../main/java/org/kframework/kil/Import.java → .../main/java/org/kframework/kil/Import.java b/.../main/java/org/kframework/kil/Import.java → .../main/java/org/kframework/kil/Import.java
diff --git a/...main/java/org/kframework/kil/Lexical.java → ...main/java/org/kframework/kil/Lexical.java b/...main/java/org/kframework/kil/Lexical.java → ...main/java/org/kframework/kil/Lexical.java
diff --git a/.../main/java/org/kframework/kil/Module.java → .../main/java/org/kframework/kil/Module.java b/.../main/java/org/kframework/kil/Module.java → .../main/java/org/kframework/kil/Module.java
diff --git a/...n/java/org/kframework/kil/ModuleItem.java → ...n/java/org/kframework/kil/ModuleItem.java b/...n/java/org/kframework/kil/ModuleItem.java → ...n/java/org/kframework/kil/ModuleItem.java
diff --git a/.../java/org/kframework/kil/NonTerminal.java → .../java/org/kframework/kil/NonTerminal.java b/.../java/org/kframework/kil/NonTerminal.java → .../java/org/kframework/kil/NonTerminal.java
diff --git a/...ava/org/kframework/kil/PriorityBlock.java → ...ava/org/kframework/kil/PriorityBlock.java b/...ava/org/kframework/kil/PriorityBlock.java → ...ava/org/kframework/kil/PriorityBlock.java
diff --git a/...kframework/kil/PriorityBlockExtended.java → ...kframework/kil/PriorityBlockExtended.java b/...kframework/kil/PriorityBlockExtended.java → ...kframework/kil/PriorityBlockExtended.java
diff --git a/.../org/kframework/kil/PriorityExtended.java → .../org/kframework/kil/PriorityExtended.java b/.../org/kframework/kil/PriorityExtended.java → .../org/kframework/kil/PriorityExtended.java
diff --git a/...kframework/kil/PriorityExtendedAssoc.java → ...kframework/kil/PriorityExtendedAssoc.java b/...kframework/kil/PriorityExtendedAssoc.java → ...kframework/kil/PriorityExtendedAssoc.java
diff --git a/...n/java/org/kframework/kil/Production.java → ...n/java/org/kframework/kil/Production.java b/...n/java/org/kframework/kil/Production.java → ...n/java/org/kframework/kil/Production.java
diff --git a/...va/org/kframework/kil/ProductionItem.java → ...va/org/kframework/kil/ProductionItem.java b/...va/org/kframework/kil/ProductionItem.java → ...va/org/kframework/kil/ProductionItem.java
diff --git a/...main/java/org/kframework/kil/Require.java → ...main/java/org/kframework/kil/Require.java b/...main/java/org/kframework/kil/Require.java → ...main/java/org/kframework/kil/Require.java
diff --git a/.../java/org/kframework/kil/SortSynonym.java → .../java/org/kframework/kil/SortSynonym.java b/.../java/org/kframework/kil/SortSynonym.java → .../java/org/kframework/kil/SortSynonym.java
diff --git a/...va/org/kframework/kil/StringSentence.java → ...va/org/kframework/kil/StringSentence.java b/...va/org/kframework/kil/StringSentence.java → ...va/org/kframework/kil/StringSentence.java
diff --git a/.../main/java/org/kframework/kil/Syntax.java → .../main/java/org/kframework/kil/Syntax.java b/.../main/java/org/kframework/kil/Syntax.java → .../main/java/org/kframework/kil/Syntax.java
diff --git a/...ava/org/kframework/kil/SyntaxLexical.java → ...ava/org/kframework/kil/SyntaxLexical.java b/...ava/org/kframework/kil/SyntaxLexical.java → ...ava/org/kframework/kil/SyntaxLexical.java
diff --git a/...ain/java/org/kframework/kil/Terminal.java → ...ain/java/org/kframework/kil/Terminal.java b/...ain/java/org/kframework/kil/Terminal.java → ...ain/java/org/kframework/kil/Terminal.java
diff --git a/...ain/java/org/kframework/kil/UserList.java → ...ain/java/org/kframework/kil/UserList.java b/...ain/java/org/kframework/kil/UserList.java → ...ain/java/org/kframework/kil/UserList.java
diff --git a/...va/org/kframework/kil/loader/Context.java → ...va/org/kframework/kil/loader/Context.java b/...va/org/kframework/kil/loader/Context.java → ...va/org/kframework/kil/loader/Context.java
diff --git a/...org/kframework/kompile/BackendModule.java → ...org/kframework/kompile/BackendModule.java b/...org/kframework/kompile/BackendModule.java → ...org/kframework/kompile/BackendModule.java
diff --git a/...framework/kompile/CompiledDefinition.java → ...framework/kompile/CompiledDefinition.java b/...framework/kompile/CompiledDefinition.java → ...framework/kompile/CompiledDefinition.java
diff --git a/...kframework/kompile/DefinitionParsing.java → ...kframework/kompile/DefinitionParsing.java b/...kframework/kompile/DefinitionParsing.java → ...kframework/kompile/DefinitionParsing.java
diff --git a/.../java/org/kframework/kompile/Kompile.java → .../java/org/kframework/kompile/Kompile.java b/.../java/org/kframework/kompile/Kompile.java → .../java/org/kframework/kompile/Kompile.java
diff --git a/...g/kframework/kompile/KompileFrontEnd.java → ...g/kframework/kompile/KompileFrontEnd.java b/...g/kframework/kompile/KompileFrontEnd.java → ...g/kframework/kompile/KompileFrontEnd.java
diff --git a/...org/kframework/kompile/KompileModule.java → ...org/kframework/kompile/KompileModule.java b/...org/kframework/kompile/KompileModule.java → ...org/kframework/kompile/KompileModule.java
diff --git a/...rg/kframework/kompile/KompileOptions.java → ...rg/kframework/kompile/KompileOptions.java b/...rg/kframework/kompile/KompileOptions.java → ...rg/kframework/kompile/KompileOptions.java
diff --git a/...mework/kompile/KompileUsageFormatter.java → ...mework/kompile/KompileUsageFormatter.java b/...mework/kompile/KompileUsageFormatter.java → ...mework/kompile/KompileUsageFormatter.java
diff --git a/...main/java/org/kframework/kore/AddAtt.java → ...main/java/org/kframework/kore/AddAtt.java b/...main/java/org/kframework/kore/AddAtt.java → ...main/java/org/kframework/kore/AddAtt.java
diff --git a/...n/java/org/kframework/kore/AddAttRec.java → ...n/java/org/kframework/kore/AddAttRec.java b/...n/java/org/kframework/kore/AddAttRec.java → ...n/java/org/kframework/kore/AddAttRec.java
diff --git a/.../java/org/kframework/kore/AttCompare.java → .../java/org/kframework/kore/AttCompare.java b/.../java/org/kframework/kore/AttCompare.java → .../java/org/kframework/kore/AttCompare.java
diff --git a/...ain/java/org/kframework/kore/ExistsK.java → ...ain/java/org/kframework/kore/ExistsK.java b/...ain/java/org/kframework/kore/ExistsK.java → ...ain/java/org/kframework/kore/ExistsK.java
diff --git a/.../main/java/org/kframework/kore/FindK.java → .../main/java/org/kframework/kore/FindK.java b/.../main/java/org/kframework/kore/FindK.java → .../main/java/org/kframework/kore/FindK.java
diff --git a/.../java/org/kframework/kore/TransformK.java → .../java/org/kframework/kore/TransformK.java b/.../java/org/kframework/kore/TransformK.java → .../java/org/kframework/kore/TransformK.java
diff --git a/...main/java/org/kframework/kore/VisitK.java → ...main/java/org/kframework/kore/VisitK.java b/...main/java/org/kframework/kore/VisitK.java → ...main/java/org/kframework/kore/VisitK.java
diff --git a/...rk/kore/convertors/KILTransformation.java → ...rk/kore/convertors/KILTransformation.java b/...rk/kore/convertors/KILTransformation.java → ...rk/kore/convertors/KILTransformation.java
diff --git a/...kframework/kore/convertors/KILtoKORE.java → ...kframework/kore/convertors/KILtoKORE.java b/...kframework/kore/convertors/KILtoKORE.java → ...kframework/kore/convertors/KILtoKORE.java
diff --git a/...in/java/org/kframework/kprove/KProve.java → ...in/java/org/kframework/kprove/KProve.java b/...in/java/org/kframework/kprove/KProve.java → ...in/java/org/kframework/kprove/KProve.java
diff --git a/...org/kframework/kprove/KProveFrontEnd.java → ...org/kframework/kprove/KProveFrontEnd.java b/...org/kframework/kprove/KProveFrontEnd.java → ...org/kframework/kprove/KProveFrontEnd.java
diff --git a/...a/org/kframework/kprove/KProveModule.java → ...a/org/kframework/kprove/KProveModule.java b/...a/org/kframework/kprove/KProveModule.java → ...a/org/kframework/kprove/KProveModule.java
diff --git a/.../org/kframework/kprove/KProveOptions.java → .../org/kframework/kprove/KProveOptions.java b/.../org/kframework/kprove/KProveOptions.java → .../org/kframework/kprove/KProveOptions.java
diff --git a/...mework/kprove/ProofDefinitionBuilder.java → ...mework/kprove/ProofDefinitionBuilder.java b/...mework/kprove/ProofDefinitionBuilder.java → ...mework/kprove/ProofDefinitionBuilder.java
diff --git a/...org/kframework/kprove/RewriterModule.java → ...org/kframework/kprove/RewriterModule.java b/...org/kframework/kprove/RewriterModule.java → ...org/kframework/kprove/RewriterModule.java
diff --git a/...searchpattern/KSearchPatternFrontEnd.java → ...searchpattern/KSearchPatternFrontEnd.java b/...searchpattern/KSearchPatternFrontEnd.java → ...searchpattern/KSearchPatternFrontEnd.java
diff --git a/.../ksearchpattern/KSearchPatternModule.java → .../ksearchpattern/KSearchPatternModule.java b/.../ksearchpattern/KSearchPatternModule.java → .../ksearchpattern/KSearchPatternModule.java
diff --git a/...ksearchpattern/KSearchPatternOptions.java → ...ksearchpattern/KSearchPatternOptions.java b/...ksearchpattern/KSearchPatternOptions.java → ...ksearchpattern/KSearchPatternOptions.java
diff --git a/...g/kframework/kserver/KServerFrontEnd.java → ...g/kframework/kserver/KServerFrontEnd.java b/...g/kframework/kserver/KServerFrontEnd.java → ...g/kframework/kserver/KServerFrontEnd.java
diff --git a/...org/kframework/kserver/KServerModule.java → ...org/kframework/kserver/KServerModule.java b/...org/kframework/kserver/KServerModule.java → ...org/kframework/kserver/KServerModule.java
diff --git a/...rg/kframework/kserver/KServerOptions.java → ...rg/kframework/kserver/KServerOptions.java b/...rg/kframework/kserver/KServerOptions.java → ...rg/kframework/kserver/KServerOptions.java
diff --git a/.../org/kframework/lsp/CompletionHelper.java → .../org/kframework/lsp/CompletionHelper.java b/.../org/kframework/lsp/CompletionHelper.java → .../org/kframework/lsp/CompletionHelper.java
diff --git a/...a/org/kframework/lsp/KLanguageServer.java → ...a/org/kframework/lsp/KLanguageServer.java b/...a/org/kframework/lsp/KLanguageServer.java → ...a/org/kframework/lsp/KLanguageServer.java
diff --git a/...ramework/lsp/KLanguageServerLauncher.java → ...ramework/lsp/KLanguageServerLauncher.java b/...ramework/lsp/KLanguageServerLauncher.java → ...ramework/lsp/KLanguageServerLauncher.java
diff --git a/...rc/main/java/org/kframework/lsp/KPos.java → ...rc/main/java/org/kframework/lsp/KPos.java b/...rc/main/java/org/kframework/lsp/KPos.java → ...rc/main/java/org/kframework/lsp/KPos.java
diff --git a/...ava/org/kframework/lsp/KTextDocument.java → ...ava/org/kframework/lsp/KTextDocument.java b/...ava/org/kframework/lsp/KTextDocument.java → ...ava/org/kframework/lsp/KTextDocument.java
diff --git a/.../kframework/lsp/KTextDocumentService.java → .../kframework/lsp/KTextDocumentService.java b/.../kframework/lsp/KTextDocumentService.java → .../kframework/lsp/KTextDocumentService.java
diff --git a/...org/kframework/lsp/KWorkspaceService.java → ...org/kframework/lsp/KWorkspaceService.java b/...org/kframework/lsp/KWorkspaceService.java → ...org/kframework/lsp/KWorkspaceService.java
diff --git a/...va/org/kframework/lsp/LSClientLogger.java → ...va/org/kframework/lsp/LSClientLogger.java b/...va/org/kframework/lsp/LSClientLogger.java → ...va/org/kframework/lsp/LSClientLogger.java
diff --git a/...ramework/lsp/TextDocumentSyncHandler.java → ...ramework/lsp/TextDocumentSyncHandler.java b/...ramework/lsp/TextDocumentSyncHandler.java → ...ramework/lsp/TextDocumentSyncHandler.java
diff --git a/.../org/kframework/main/AbstractKModule.java → .../org/kframework/main/AbstractKModule.java b/.../org/kframework/main/AbstractKModule.java → .../org/kframework/main/AbstractKModule.java
diff --git a/...in/java/org/kframework/main/FrontEnd.java → ...in/java/org/kframework/main/FrontEnd.java b/...in/java/org/kframework/main/FrontEnd.java → ...in/java/org/kframework/main/FrontEnd.java
diff --git a/...va/org/kframework/main/GlobalOptions.java → ...va/org/kframework/main/GlobalOptions.java b/...va/org/kframework/main/GlobalOptions.java → ...va/org/kframework/main/GlobalOptions.java
diff --git a/...java/org/kframework/main/JavaVersion.java → ...java/org/kframework/main/JavaVersion.java b/...java/org/kframework/main/JavaVersion.java → ...java/org/kframework/main/JavaVersion.java
diff --git a/...ain/java/org/kframework/main/KModule.java → ...ain/java/org/kframework/main/KModule.java b/...ain/java/org/kframework/main/KModule.java → ...ain/java/org/kframework/main/KModule.java
diff --git a/...c/main/java/org/kframework/main/Main.java → ...c/main/java/org/kframework/main/Main.java b/...c/main/java/org/kframework/main/Main.java → ...c/main/java/org/kframework/main/Main.java
diff --git a/...c/main/java/org/kframework/main/Tool.java → ...c/main/java/org/kframework/main/Tool.java b/...c/main/java/org/kframework/main/Tool.java → ...c/main/java/org/kframework/main/Tool.java
diff --git a/...ava/org/kframework/parser/InputModes.java → ...ava/org/kframework/parser/InputModes.java b/...ava/org/kframework/parser/InputModes.java → ...ava/org/kframework/parser/InputModes.java
diff --git a/...ain/java/org/kframework/parser/KRead.java → ...ain/java/org/kframework/parser/KRead.java b/...ain/java/org/kframework/parser/KRead.java → ...ain/java/org/kframework/parser/KRead.java
diff --git a/...ava/org/kframework/parser/KoreParser.java → ...ava/org/kframework/parser/KoreParser.java b/...ava/org/kframework/parser/KoreParser.java → ...ava/org/kframework/parser/KoreParser.java
diff --git a/...va/org/kframework/parser/ParserUtils.java → ...va/org/kframework/parser/ParserUtils.java b/...va/org/kframework/parser/ParserUtils.java → ...va/org/kframework/parser/ParserUtils.java
diff --git a/...framework/parser/inner/ApplySynonyms.java → ...framework/parser/inner/ApplySynonyms.java b/...framework/parser/inner/ApplySynonyms.java → ...framework/parser/inner/ApplySynonyms.java
diff --git a/...rser/inner/CollectProductionsVisitor.java → ...rser/inner/CollectProductionsVisitor.java b/...rser/inner/CollectProductionsVisitor.java → ...rser/inner/CollectProductionsVisitor.java
diff --git a/...g/kframework/parser/inner/ParseCache.java → ...g/kframework/parser/inner/ParseCache.java b/...g/kframework/parser/inner/ParseCache.java → ...g/kframework/parser/inner/ParseCache.java
diff --git a/...framework/parser/inner/ParseInModule.java → ...framework/parser/inner/ParseInModule.java b/...framework/parser/inner/ParseInModule.java → ...framework/parser/inner/ParseInModule.java
diff --git a/...rk/parser/inner/RuleGrammarGenerator.java → ...rk/parser/inner/RuleGrammarGenerator.java b/...rk/parser/inner/RuleGrammarGenerator.java → ...rk/parser/inner/RuleGrammarGenerator.java
diff --git a/...r/inner/disambiguation/AddEmptyLists.java → ...r/inner/disambiguation/AddEmptyLists.java b/...r/inner/disambiguation/AddEmptyLists.java → ...r/inner/disambiguation/AddEmptyLists.java
diff --git a/.../inner/disambiguation/AmbFilterError.java → .../inner/disambiguation/AmbFilterError.java b/.../inner/disambiguation/AmbFilterError.java → .../inner/disambiguation/AmbFilterError.java
diff --git a/...iguation/AmbiguityMergingTransformer.java → ...iguation/AmbiguityMergingTransformer.java b/...iguation/AmbiguityMergingTransformer.java → ...iguation/AmbiguityMergingTransformer.java
diff --git a/...biguation/CollapseRecordProdsVisitor.java → ...biguation/CollapseRecordProdsVisitor.java b/...biguation/CollapseRecordProdsVisitor.java → ...biguation/CollapseRecordProdsVisitor.java
diff --git a/...disambiguation/KAppToTermConsVisitor.java → ...disambiguation/KAppToTermConsVisitor.java b/...disambiguation/KAppToTermConsVisitor.java → ...disambiguation/KAppToTermConsVisitor.java
diff --git a/...inner/disambiguation/PriorityVisitor.java → ...inner/disambiguation/PriorityVisitor.java b/...inner/disambiguation/PriorityVisitor.java → ...inner/disambiguation/PriorityVisitor.java
diff --git a/...on/PushAmbiguitiesDownAndPreferAvoid.java → ...on/PushAmbiguitiesDownAndPreferAvoid.java b/...on/PushAmbiguitiesDownAndPreferAvoid.java → ...on/PushAmbiguitiesDownAndPreferAvoid.java
diff --git a/...disambiguation/PushTopLHSAmbiguityUp.java → ...disambiguation/PushTopLHSAmbiguityUp.java b/...disambiguation/PushTopLHSAmbiguityUp.java → ...disambiguation/PushTopLHSAmbiguityUp.java
diff --git a/.../disambiguation/RemoveBracketVisitor.java → .../disambiguation/RemoveBracketVisitor.java b/.../disambiguation/RemoveBracketVisitor.java → .../disambiguation/RemoveBracketVisitor.java
diff --git a/...inner/disambiguation/RemoveOverloads.java → ...inner/disambiguation/RemoveOverloads.java b/...inner/disambiguation/RemoveOverloads.java → ...inner/disambiguation/RemoveOverloads.java
diff --git a/...guation/ResolveOverloadedTerminators.java → ...guation/ResolveOverloadedTerminators.java b/...guation/ResolveOverloadedTerminators.java → ...guation/ResolveOverloadedTerminators.java
diff --git a/...er/disambiguation/TreeCleanerVisitor.java → ...er/disambiguation/TreeCleanerVisitor.java b/...er/disambiguation/TreeCleanerVisitor.java → ...er/disambiguation/TreeCleanerVisitor.java
diff --git a/.../disambiguation/TypeInferenceVisitor.java → .../disambiguation/TypeInferenceVisitor.java b/.../disambiguation/TypeInferenceVisitor.java → .../disambiguation/TypeInferenceVisitor.java
diff --git a/.../inner/disambiguation/TypeInferencer.java → .../inner/disambiguation/TypeInferencer.java b/.../inner/disambiguation/TypeInferencer.java → .../inner/disambiguation/TypeInferencer.java
diff --git a/...disambiguation/inference/BoundedSort.java → ...disambiguation/inference/BoundedSort.java b/...disambiguation/inference/BoundedSort.java → ...disambiguation/inference/BoundedSort.java
diff --git a/...disambiguation/inference/CompactSort.java → ...disambiguation/inference/CompactSort.java b/...disambiguation/inference/CompactSort.java → ...disambiguation/inference/CompactSort.java
diff --git a/...mbiguation/inference/InferenceDriver.java → ...mbiguation/inference/InferenceDriver.java b/...mbiguation/inference/InferenceDriver.java → ...mbiguation/inference/InferenceDriver.java
diff --git a/...ner/disambiguation/inference/ParamId.java → ...ner/disambiguation/inference/ParamId.java b/...ner/disambiguation/inference/ParamId.java → ...ner/disambiguation/inference/ParamId.java
diff --git a/...guation/inference/SortInferenceError.java → ...guation/inference/SortInferenceError.java b/...guation/inference/SortInferenceError.java → ...guation/inference/SortInferenceError.java
diff --git a/...ambiguation/inference/SortInferencer.java → ...ambiguation/inference/SortInferencer.java b/...ambiguation/inference/SortInferencer.java → ...ambiguation/inference/SortInferencer.java
diff --git a/...isambiguation/inference/SortVariable.java → ...isambiguation/inference/SortVariable.java b/...isambiguation/inference/SortVariable.java → ...isambiguation/inference/SortVariable.java
diff --git a/...er/disambiguation/inference/TermSort.java → ...er/disambiguation/inference/TermSort.java b/...er/disambiguation/inference/TermSort.java → ...er/disambiguation/inference/TermSort.java
diff --git a/.../disambiguation/inference/VariableId.java → .../disambiguation/inference/VariableId.java b/.../disambiguation/inference/VariableId.java → .../disambiguation/inference/VariableId.java
diff --git a/...ork/parser/inner/kernel/EarleyParser.java → ...ork/parser/inner/kernel/EarleyParser.java b/...ork/parser/inner/kernel/EarleyParser.java → ...ork/parser/inner/kernel/EarleyParser.java
diff --git a/...rk/parser/inner/kernel/KSyntax2Bison.java → ...rk/parser/inner/kernel/KSyntax2Bison.java b/...rk/parser/inner/kernel/KSyntax2Bison.java → ...rk/parser/inner/kernel/KSyntax2Bison.java
diff --git a/...ramework/parser/inner/kernel/Scanner.java → ...ramework/parser/inner/kernel/Scanner.java b/...ramework/parser/inner/kernel/Scanner.java → ...ramework/parser/inner/kernel/Scanner.java
diff --git a/...rg/kframework/parser/json/JsonParser.java → ...rg/kframework/parser/json/JsonParser.java b/...rg/kframework/parser/json/JsonParser.java → ...rg/kframework/parser/json/JsonParser.java
diff --git a/...outer/ExtractFencedKCodeFromMarkdown.java → ...outer/ExtractFencedKCodeFromMarkdown.java b/...outer/ExtractFencedKCodeFromMarkdown.java → ...outer/ExtractFencedKCodeFromMarkdown.java
diff --git a/.../org/kframework/unparser/AddBrackets.java → .../org/kframework/unparser/AddBrackets.java b/.../org/kframework/unparser/AddBrackets.java → .../org/kframework/unparser/AddBrackets.java
diff --git a/...org/kframework/unparser/ColorSetting.java → ...org/kframework/unparser/ColorSetting.java b/...org/kframework/unparser/ColorSetting.java → ...org/kframework/unparser/ColorSetting.java
diff --git a/...va/org/kframework/unparser/Formatter.java → ...va/org/kframework/unparser/Formatter.java b/...va/org/kframework/unparser/Formatter.java → ...va/org/kframework/unparser/Formatter.java
diff --git a/...ava/org/kframework/unparser/Indenter.java → ...ava/org/kframework/unparser/Indenter.java b/...ava/org/kframework/unparser/Indenter.java → ...ava/org/kframework/unparser/Indenter.java
diff --git a/.../java/org/kframework/unparser/KPrint.java → .../java/org/kframework/unparser/KPrint.java b/.../java/org/kframework/unparser/KPrint.java → .../java/org/kframework/unparser/KPrint.java
diff --git a/.../org/kframework/unparser/OutputModes.java → .../org/kframework/unparser/OutputModes.java b/.../org/kframework/unparser/OutputModes.java → .../org/kframework/unparser/OutputModes.java
diff --git a/...org/kframework/unparser/PrintOptions.java → ...org/kframework/unparser/PrintOptions.java b/...org/kframework/unparser/PrintOptions.java → ...org/kframework/unparser/PrintOptions.java
diff --git a/.../java/org/kframework/unparser/ToJson.java → .../java/org/kframework/unparser/ToJson.java b/.../java/org/kframework/unparser/ToJson.java → .../java/org/kframework/unparser/ToJson.java
diff --git a/...va/org/kframework/utils/BinaryLoader.java → ...va/org/kframework/utils/BinaryLoader.java b/...va/org/kframework/utils/BinaryLoader.java → ...va/org/kframework/utils/BinaryLoader.java
diff --git a/.../java/org/kframework/utils/ColorUtil.java → .../java/org/kframework/utils/ColorUtil.java b/.../java/org/kframework/utils/ColorUtil.java → .../java/org/kframework/utils/ColorUtil.java
diff --git a/...kframework/utils/ExitOnTimeoutThread.java → ...kframework/utils/ExitOnTimeoutThread.java b/...kframework/utils/ExitOnTimeoutThread.java → ...kframework/utils/ExitOnTimeoutThread.java
diff --git a/...kframework/utils/InterrupterRunnable.java → ...kframework/utils/InterrupterRunnable.java b/...kframework/utils/InterrupterRunnable.java → ...kframework/utils/InterrupterRunnable.java
diff --git a/.../main/java/org/kframework/utils/Lazy.java → .../main/java/org/kframework/utils/Lazy.java b/.../main/java/org/kframework/utils/Lazy.java → .../main/java/org/kframework/utils/Lazy.java
diff --git a/...rc/main/java/org/kframework/utils/OS.java → ...rc/main/java/org/kframework/utils/OS.java b/...rc/main/java/org/kframework/utils/OS.java → ...rc/main/java/org/kframework/utils/OS.java
diff --git a/...java/org/kframework/utils/RunProcess.java → ...java/org/kframework/utils/RunProcess.java b/...java/org/kframework/utils/RunProcess.java → ...java/org/kframework/utils/RunProcess.java
diff --git a/.../java/org/kframework/utils/Stopwatch.java → .../java/org/kframework/utils/Stopwatch.java b/.../java/org/kframework/utils/Stopwatch.java → .../java/org/kframework/utils/Stopwatch.java
diff --git a/...java/org/kframework/utils/StringUtil.java → ...java/org/kframework/utils/StringUtil.java b/...java/org/kframework/utils/StringUtil.java → ...java/org/kframework/utils/StringUtil.java
diff --git a/...ework/utils/errorsystem/KEMException.java → ...ework/utils/errorsystem/KEMException.java b/...ework/utils/errorsystem/KEMException.java → ...ework/utils/errorsystem/KEMException.java
diff --git a/...amework/utils/errorsystem/KException.java → ...amework/utils/errorsystem/KException.java b/...amework/utils/errorsystem/KException.java → ...amework/utils/errorsystem/KException.java
diff --git a/.../utils/errorsystem/KExceptionManager.java → .../utils/errorsystem/KExceptionManager.java b/.../utils/errorsystem/KExceptionManager.java → .../utils/errorsystem/KExceptionManager.java
diff --git a/.../kframework/utils/file/DefinitionDir.java → .../kframework/utils/file/DefinitionDir.java b/.../kframework/utils/file/DefinitionDir.java → .../kframework/utils/file/DefinitionDir.java
diff --git a/...rg/kframework/utils/file/Environment.java → ...rg/kframework/utils/file/Environment.java b/...rg/kframework/utils/file/Environment.java → ...rg/kframework/utils/file/Environment.java
diff --git a/...a/org/kframework/utils/file/FileUtil.java → ...a/org/kframework/utils/file/FileUtil.java b/...a/org/kframework/utils/file/FileUtil.java → ...a/org/kframework/utils/file/FileUtil.java
diff --git a/...va/org/kframework/utils/file/JarInfo.java → ...va/org/kframework/utils/file/JarInfo.java b/...va/org/kframework/utils/file/JarInfo.java → ...va/org/kframework/utils/file/JarInfo.java
@@ -43,7 +43,7 @@ public static String getKBase() {
    * Returns the absolute path of the includes directory. Paths are computed relative to the
    * location this class is running from. When it is run from a jar file it assumes it is in a k
    * installation at lib/java/*.jar. When it is run from a .class file it assumes it is running
-   * within the K source project, from a class in kernel/target/classes/, and returns a path to
+   * within the K source project, from a class in k-frontend/target/classes/, and returns a path to
    * k-distribution/include
    *
    * @return

diff --git a/...rg/kframework/utils/file/KompiledDir.java → ...rg/kframework/utils/file/KompiledDir.java b/...rg/kframework/utils/file/KompiledDir.java → ...rg/kframework/utils/file/KompiledDir.java
diff --git a/...va/org/kframework/utils/file/TTYInfo.java → ...va/org/kframework/utils/file/TTYInfo.java b/...va/org/kframework/utils/file/TTYInfo.java → ...va/org/kframework/utils/file/TTYInfo.java
diff --git a/...va/org/kframework/utils/file/TempDir.java → ...va/org/kframework/utils/file/TempDir.java b/...va/org/kframework/utils/file/TempDir.java → ...va/org/kframework/utils/file/TempDir.java
diff --git a/...org/kframework/utils/file/WorkingDir.java → ...org/kframework/utils/file/WorkingDir.java b/...org/kframework/utils/file/WorkingDir.java → ...org/kframework/utils/file/WorkingDir.java
diff --git a/.../kframework/utils/inject/Annotations.java → .../kframework/utils/inject/Annotations.java b/.../kframework/utils/inject/Annotations.java → .../kframework/utils/inject/Annotations.java
diff --git a/...kframework/utils/inject/CommonModule.java → ...kframework/utils/inject/CommonModule.java b/...kframework/utils/inject/CommonModule.java → ...kframework/utils/inject/CommonModule.java
diff --git a/...org/kframework/utils/inject/Concrete.java → ...org/kframework/utils/inject/Concrete.java b/...org/kframework/utils/inject/Concrete.java → ...org/kframework/utils/inject/Concrete.java
diff --git a/...utils/inject/DefinitionLoadingModule.java → ...utils/inject/DefinitionLoadingModule.java b/...utils/inject/DefinitionLoadingModule.java → ...utils/inject/DefinitionLoadingModule.java
diff --git a/...amework/utils/inject/DefinitionScope.java → ...amework/utils/inject/DefinitionScope.java b/...amework/utils/inject/DefinitionScope.java → ...amework/utils/inject/DefinitionScope.java
diff --git a/...mework/utils/inject/DefinitionScoped.java → ...mework/utils/inject/DefinitionScoped.java b/...mework/utils/inject/DefinitionScoped.java → ...mework/utils/inject/DefinitionScoped.java
diff --git a/...mework/utils/inject/JCommanderModule.java → ...mework/utils/inject/JCommanderModule.java b/...mework/utils/inject/JCommanderModule.java → ...mework/utils/inject/JCommanderModule.java
diff --git a/...ava/org/kframework/utils/inject/Main.java → ...ava/org/kframework/utils/inject/Main.java b/...ava/org/kframework/utils/inject/Main.java → ...ava/org/kframework/utils/inject/Main.java
diff --git a/.../org/kframework/utils/inject/Options.java → .../org/kframework/utils/inject/Options.java b/.../org/kframework/utils/inject/Options.java → .../org/kframework/utils/inject/Options.java
diff --git a/...work/utils/inject/OuterParsingModule.java → ...work/utils/inject/OuterParsingModule.java b/...work/utils/inject/OuterParsingModule.java → ...work/utils/inject/OuterParsingModule.java
diff --git a/...framework/utils/inject/RequestScoped.java → ...framework/utils/inject/RequestScoped.java b/...framework/utils/inject/RequestScoped.java → ...framework/utils/inject/RequestScoped.java
diff --git a/.../kframework/utils/inject/SimpleScope.java → .../kframework/utils/inject/SimpleScope.java b/.../kframework/utils/inject/SimpleScope.java → .../kframework/utils/inject/SimpleScope.java
diff --git a/...va/org/kframework/utils/inject/Spec1.java → ...va/org/kframework/utils/inject/Spec1.java b/...va/org/kframework/utils/inject/Spec1.java → ...va/org/kframework/utils/inject/Spec1.java
diff --git a/...va/org/kframework/utils/inject/Spec2.java → ...va/org/kframework/utils/inject/Spec2.java b/...va/org/kframework/utils/inject/Spec2.java → ...va/org/kframework/utils/inject/Spec2.java
diff --git a/...rg/kframework/utils/inject/StartTime.java → ...rg/kframework/utils/inject/StartTime.java b/...rg/kframework/utils/inject/StartTime.java → ...rg/kframework/utils/inject/StartTime.java
diff --git a/...amework/utils/options/BackendOptions.java → ...amework/utils/options/BackendOptions.java b/...amework/utils/options/BackendOptions.java → ...amework/utils/options/BackendOptions.java
diff --git a/...work/utils/options/BaseEnumConverter.java → ...work/utils/options/BaseEnumConverter.java b/...work/utils/options/BaseEnumConverter.java → ...work/utils/options/BaseEnumConverter.java
diff --git a/...ils/options/DefinitionLoadingOptions.java → ...ils/options/DefinitionLoadingOptions.java b/...ils/options/DefinitionLoadingOptions.java → ...ils/options/DefinitionLoadingOptions.java
diff --git a/...work/utils/options/DurationConverter.java → ...work/utils/options/DurationConverter.java b/...work/utils/options/DurationConverter.java → ...work/utils/options/DurationConverter.java
diff --git a/...rk/utils/options/InnerParsingOptions.java → ...rk/utils/options/InnerParsingOptions.java b/...rk/utils/options/InnerParsingOptions.java → ...rk/utils/options/InnerParsingOptions.java
diff --git a/...rk/utils/options/OuterParsingOptions.java → ...rk/utils/options/OuterParsingOptions.java b/...rk/utils/options/OuterParsingOptions.java → ...rk/utils/options/OuterParsingOptions.java
diff --git a/...utils/options/OutputDirectoryOptions.java → ...utils/options/OutputDirectoryOptions.java b/...utils/options/OutputDirectoryOptions.java → ...utils/options/OutputDirectoryOptions.java
diff --git a/.../kframework/utils/options/SMTOptions.java → .../kframework/utils/options/SMTOptions.java b/.../kframework/utils/options/SMTOptions.java → .../kframework/utils/options/SMTOptions.java
diff --git a/...g/kframework/utils/options/SMTSolver.java → ...g/kframework/utils/options/SMTSolver.java b/...g/kframework/utils/options/SMTSolver.java → ...g/kframework/utils/options/SMTSolver.java
diff --git a/...rk/utils/options/StringListConverter.java → ...rk/utils/options/StringListConverter.java b/...rk/utils/options/StringListConverter.java → ...rk/utils/options/StringListConverter.java
diff --git a/kernel/src/main/javacc/KastParser.jj → k-frontend/src/main/javacc/KastParser.jj b/kernel/src/main/javacc/KastParser.jj → k-frontend/src/main/javacc/KastParser.jj
diff --git a/kernel/src/main/javacc/Outer.jj → k-frontend/src/main/javacc/Outer.jj b/kernel/src/main/javacc/Outer.jj → k-frontend/src/main/javacc/Outer.jj
diff --git a/kernel/src/main/javacc/SmtSortParser.jj → k-frontend/src/main/javacc/SmtSortParser.jj b/kernel/src/main/javacc/SmtSortParser.jj → k-frontend/src/main/javacc/SmtSortParser.jj
diff --git a/kernel/src/main/jjtree/TagSelector.jjt → k-frontend/src/main/jjtree/TagSelector.jjt b/kernel/src/main/jjtree/TagSelector.jjt → k-frontend/src/main/jjtree/TagSelector.jjt
diff --git a/...urces/org/kframework/utils/file/README.md → ...urces/org/kframework/utils/file/README.md b/...urces/org/kframework/utils/file/README.md → ...urces/org/kframework/utils/file/README.md
diff --git a/...s/org/kframework/utils/file/versionMarker → ...s/org/kframework/utils/file/versionMarker b/...s/org/kframework/utils/file/versionMarker → ...s/org/kframework/utils/file/versionMarker
diff --git a/...scala/org/kframework/RewriterResult.scala → ...scala/org/kframework/RewriterResult.scala b/...scala/org/kframework/RewriterResult.scala → ...scala/org/kframework/RewriterResult.scala
diff --git a/...scala/org/kframework/attributes/Att.scala → ...scala/org/kframework/attributes/Att.scala b/...scala/org/kframework/attributes/Att.scala → ...scala/org/kframework/attributes/Att.scala
diff --git a/.../org/kframework/attributes/Location.scala → .../org/kframework/attributes/Location.scala b/.../org/kframework/attributes/Location.scala → .../org/kframework/attributes/Location.scala
diff --git a/.../scala/org/kframework/builtin/Sorts.scala → .../scala/org/kframework/builtin/Sorts.scala b/.../scala/org/kframework/builtin/Sorts.scala → .../scala/org/kframework/builtin/Sorts.scala
diff --git a/...in/scala/org/kframework/collections.scala → ...in/scala/org/kframework/collections.scala b/...in/scala/org/kframework/collections.scala → ...in/scala/org/kframework/collections.scala
diff --git a/...compile/ConfigurationInfoFromModule.scala → ...compile/ConfigurationInfoFromModule.scala b/...compile/ConfigurationInfoFromModule.scala → ...compile/ConfigurationInfoFromModule.scala
diff --git a/...amework/compile/LabelInfoFromModule.scala → ...amework/compile/LabelInfoFromModule.scala b/...amework/compile/LabelInfoFromModule.scala → ...amework/compile/LabelInfoFromModule.scala
diff --git a/...org/kframework/compile/RewriteToTop.scala → ...org/kframework/compile/RewriteToTop.scala b/...org/kframework/compile/RewriteToTop.scala → ...org/kframework/compile/RewriteToTop.scala
diff --git a/.../kframework/definition/Constructors.scala → .../kframework/definition/Constructors.scala b/.../kframework/definition/Constructors.scala → .../kframework/definition/Constructors.scala
diff --git a/...org/kframework/definition/outer-ext.scala → ...org/kframework/definition/outer-ext.scala b/...org/kframework/definition/outer-ext.scala → ...org/kframework/definition/outer-ext.scala
diff --git a/...ramework/definition/outer-to-string.scala → ...ramework/definition/outer-to-string.scala b/...ramework/definition/outer-to-string.scala → ...ramework/definition/outer-to-string.scala
diff --git a/...ala/org/kframework/definition/outer.scala → ...ala/org/kframework/definition/outer.scala b/...ala/org/kframework/definition/outer.scala → ...ala/org/kframework/definition/outer.scala
diff --git a/.../kframework/definition/transformers.scala → .../kframework/definition/transformers.scala b/.../kframework/definition/transformers.scala → .../kframework/definition/transformers.scala
diff --git a/.../main/scala/org/kframework/kore/ADT.scala → .../main/scala/org/kframework/kore/ADT.scala b/.../main/scala/org/kframework/kore/ADT.scala → .../main/scala/org/kframework/kore/ADT.scala
diff --git a/...ain/scala/org/kframework/kore/Assoc.scala → ...ain/scala/org/kframework/kore/Assoc.scala b/...ain/scala/org/kframework/kore/Assoc.scala → ...ain/scala/org/kframework/kore/Assoc.scala
diff --git a/...la/org/kframework/kore/Constructors.scala → ...la/org/kframework/kore/Constructors.scala b/...la/org/kframework/kore/Constructors.scala → ...la/org/kframework/kore/Constructors.scala
diff --git a/...main/scala/org/kframework/kore/KORE.scala → ...main/scala/org/kframework/kore/KORE.scala b/...main/scala/org/kframework/kore/KORE.scala → ...main/scala/org/kframework/kore/KORE.scala
diff --git a/...main/scala/org/kframework/kore/Rich.scala → ...main/scala/org/kframework/kore/Rich.scala b/...main/scala/org/kframework/kore/Rich.scala → ...main/scala/org/kframework/kore/Rich.scala
diff --git a/...n/scala/org/kframework/kore/Unapply.scala → ...n/scala/org/kframework/kore/Unapply.scala b/...n/scala/org/kframework/kore/Unapply.scala → ...n/scala/org/kframework/kore/Unapply.scala
diff --git a/...scala/org/kframework/kore/interface.scala → ...scala/org/kframework/kore/interface.scala b/...scala/org/kframework/kore/interface.scala → ...scala/org/kframework/kore/interface.scala
diff --git a/...la/org/kframework/kore/transformers.scala → ...la/org/kframework/kore/transformers.scala b/...la/org/kframework/kore/transformers.scala → ...la/org/kframework/kore/transformers.scala
diff --git a/...a/org/kframework/parser/Transformer.scala → ...a/org/kframework/parser/Transformer.scala b/...a/org/kframework/parser/Transformer.scala → ...a/org/kframework/parser/Transformer.scala
diff --git a/...g/kframework/parser/TreeNodesToKORE.scala → ...g/kframework/parser/TreeNodesToKORE.scala b/...g/kframework/parser/TreeNodesToKORE.scala → ...g/kframework/parser/TreeNodesToKORE.scala
diff --git a/...ramework/parser/kore/parser/KoreToK.scala → ...ramework/parser/kore/parser/KoreToK.scala b/...ramework/parser/kore/parser/KoreToK.scala → ...ramework/parser/kore/parser/KoreToK.scala
diff --git a/...ala/org/kframework/parser/treeNodes.scala → ...ala/org/kframework/parser/treeNodes.scala b/...ala/org/kframework/parser/treeNodes.scala → ...ala/org/kframework/parser/treeNodes.scala
diff --git a/...la/org/kframework/rewriter/Rewriter.scala → ...la/org/kframework/rewriter/Rewriter.scala b/...la/org/kframework/rewriter/Rewriter.scala → ...la/org/kframework/rewriter/Rewriter.scala
diff --git a/...kframework/unparser/KOREToTreeNodes.scala → ...kframework/unparser/KOREToTreeNodes.scala b/...kframework/unparser/KOREToTreeNodes.scala → ...kframework/unparser/KOREToTreeNodes.scala
diff --git a/...ala/org/kframework/unparser/Unparse.scala → ...ala/org/kframework/unparser/Unparse.scala b/...ala/org/kframework/unparser/Unparse.scala → ...ala/org/kframework/unparser/Unparse.scala
diff --git a/.../java/org/kframework/CollectionsTest.java → .../java/org/kframework/CollectionsTest.java b/.../java/org/kframework/CollectionsTest.java → .../java/org/kframework/CollectionsTest.java
diff --git a/...c/test/java/org/kframework/POSetTest.java → ...c/test/java/org/kframework/POSetTest.java b/...c/test/java/org/kframework/POSetTest.java → ...c/test/java/org/kframework/POSetTest.java
diff --git a/...ramework/compile/AddParentsCellsTest.java → ...ramework/compile/AddParentsCellsTest.java b/...ramework/compile/AddParentsCellsTest.java → ...ramework/compile/AddParentsCellsTest.java
diff --git a/...rg/kframework/compile/CloseCellsTest.java → ...rg/kframework/compile/CloseCellsTest.java b/...rg/kframework/compile/CloseCellsTest.java → ...rg/kframework/compile/CloseCellsTest.java
diff --git a/...ramework/compile/ConstantFoldingTest.java → ...ramework/compile/ConstantFoldingTest.java b/...ramework/compile/ConstantFoldingTest.java → ...ramework/compile/ConstantFoldingTest.java
diff --git a/.../GenerateSentencesFromConfigDeclTest.java → .../GenerateSentencesFromConfigDeclTest.java b/.../GenerateSentencesFromConfigDeclTest.java → .../GenerateSentencesFromConfigDeclTest.java
diff --git a/...ramework/compile/NumberSentencesTest.java → ...ramework/compile/NumberSentencesTest.java b/...ramework/compile/NumberSentencesTest.java → ...ramework/compile/NumberSentencesTest.java
diff --git a/...org/kframework/compile/SortCellsTest.java → ...org/kframework/compile/SortCellsTest.java b/...org/kframework/compile/SortCellsTest.java → ...org/kframework/compile/SortCellsTest.java
diff --git a/...kframework/compile/TestConfiguration.java → ...kframework/compile/TestConfiguration.java b/...kframework/compile/TestConfiguration.java → ...kframework/compile/TestConfiguration.java
diff --git a/...a/org/kframework/kast/KastModuleTest.java → ...a/org/kframework/kast/KastModuleTest.java b/...a/org/kframework/kast/KastModuleTest.java → ...a/org/kframework/kast/KastModuleTest.java
diff --git a/...ramework/kompile/KompileFrontEndTest.java → ...ramework/kompile/KompileFrontEndTest.java b/...ramework/kompile/KompileFrontEndTest.java → ...ramework/kompile/KompileFrontEndTest.java
diff --git a/...kframework/kompile/KompileModuleTest.java → ...kframework/kompile/KompileModuleTest.java b/...kframework/kompile/KompileModuleTest.java → ...kframework/kompile/KompileModuleTest.java
diff --git a/...framework/kompile/KompileOptionsTest.java → ...framework/kompile/KompileOptionsTest.java b/...framework/kompile/KompileOptionsTest.java → ...framework/kompile/KompileOptionsTest.java
diff --git a/...va/org/kframework/kore/InterfaceTest.java → ...va/org/kframework/kore/InterfaceTest.java b/...va/org/kframework/kore/InterfaceTest.java → ...va/org/kframework/kore/InterfaceTest.java
diff --git a/...java/org/kframework/kore/VisitorTest.java → ...java/org/kframework/kore/VisitorTest.java b/...java/org/kframework/kore/VisitorTest.java → ...java/org/kframework/kore/VisitorTest.java
diff --git a/...est/java/org/kframework/lsp/LSPTests.java → ...est/java/org/kframework/lsp/LSPTests.java b/...est/java/org/kframework/lsp/LSPTests.java → ...est/java/org/kframework/lsp/LSPTests.java