Removal of proof_references and symbolic_execution modules

.github/workflows/release-tests.yml

@@ -50,10 +50,7 @@ jobs:
         run: ./gradlew --parallel assemble
 
       - name: Test mandatory modules with Gradle
-        run: ./gradlew test --continue -x :key.core.symbolic_execution:test -x :key.core.proof_references:test
-
-      - name: Test optional modules with Gradle
-        run: ./gradlew :key.core.symbolic_execution:test -x :key.core.proof_references:test
+        run: ./gradlew test --continue
 
       - name: Upload test results
         uses: actions/upload-artifact@v7

build.gradle

@@ -419,10 +419,7 @@ tasks.register('alldoc', Javadoc){
         group("keyext.ui.testgen", "de.uka.ilkd.key.gui.testgen")
         group("keyext.exploration","org.key_project.exploration")
         group("keyext.caching", "de.uka.ilkd.key.gui.plugins.caching")
-        group("key.core.symbolic_execution",// "de.uka.ilkd.key.proof",
-                "de.uka.ilkd.key.rule.label", "de.uka.ilkd.key.strategy",
-                "de.uka.ilkd.key.symbolic_execution")
-        group("key.core.proof_references", "de.uka.ilkd.key.proof_references")*/
+        */
     }
 }
 
@@ -449,4 +446,4 @@ def envOrPropertyValue(String key) {
     }else{
         return project.properties.getOrDefault(key, "")
     }
-}
+}