diff --git a/keydeps/lib/components/key.core.jar b/keydeps/lib/components/key.core.jar index d9d0b5bf6075ef1947e23b7f88864502bd684659..1c4fdb7e28877d220adf9c9def5afcfbbb2018e5 100644 Binary files a/keydeps/lib/components/key.core.jar and b/keydeps/lib/components/key.core.jar differ diff --git a/keydeps/lib/components/key.ui.jar b/keydeps/lib/components/key.ui.jar index 9138ba389f7087af596cf1a93b8d661e481f0f85..4f6d5e958851e9d1d6f2f2006749ad290812abf3 100644 Binary files a/keydeps/lib/components/key.ui.jar and b/keydeps/lib/components/key.ui.jar differ diff --git a/keydeps/lib/components/key.util.jar b/keydeps/lib/components/key.util.jar index bfc93df7cd4c4aec8cc9a47d3328f3eee34758db..986a79d152f833af3c2357d90e8d27a986cce773 100644 Binary files a/keydeps/lib/components/key.util.jar and b/keydeps/lib/components/key.util.jar differ diff --git a/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/Execute.java b/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/Execute.java index be34dc1eca08e7b2f4a59279a34abcb4ed9375d5..e1c8655e52363788b1993f96e2369aaf4bc63da7 100644 --- a/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/Execute.java +++ b/rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/Execute.java @@ -56,9 +56,7 @@ public class Execute { //pa.getProof().getProofIndependentSettings().getGeneralSettings().setOneStepSimplification(false); - Interpreter inter = interpreterBuilder.build(); - KeyData keyData = new KeyData(root.getProofNode(), pa.getEnv(), pa.getProof()); - inter.newState(new GoalNode<>(null, keyData, keyData.isClosedNode())); + Interpreter inter = interpreterBuilder.startState().build(); inter.interpret(ast.get(0)); return inter; } catch (ProblemLoaderException | IOException e) { diff --git a/rt-key/src/test/java/edu/kit/iti/formal/psdbg/interpreter/ExecuteTest.java b/rt-key/src/test/java/edu/kit/iti/formal/psdbg/interpreter/ExecuteTest.java index 9cabb3cb116706050765ccfd4a1792c39fee65bd..f29394440978ed4f7710654868a0b8059dc79ea1 100644 --- a/rt-key/src/test/java/edu/kit/iti/formal/psdbg/interpreter/ExecuteTest.java +++ b/rt-key/src/test/java/edu/kit/iti/formal/psdbg/interpreter/ExecuteTest.java @@ -89,4 +89,13 @@ public class ExecuteTest { } + @Test + public void testInstantiate() throws IOException, ParseException, ParserException { + Execute exec = create("/home/sarah/Documents/KIT_Mitarbeiter/ProofScriptingLanguage/bigIntProof/compareMagnitude_openCases.key.proof", + "-s", "/home/sarah/Documents/KIT_Mitarbeiter/ProofScriptingLanguage/bigIntProof/instAll.kps"); + Interpreter i = exec.run(); + State currentState = i.getCurrentState(); + System.out.println(currentState); + } + } \ No newline at end of file diff --git a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/TacletContextMenu.java b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/TacletContextMenu.java index 285aae316f03b294892e68736cf03a037c722cf4..7d3cfdf93c78a534107cf77a78a8e6328052e93e 100644 --- a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/TacletContextMenu.java +++ b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/TacletContextMenu.java @@ -205,6 +205,8 @@ public class TacletContextMenu extends ContextMenu { toAdd.addAll(noFindTaclets); } + + /*toAdd=toAdd.stream().filter(tapp->{ try{ return tapp.isExecutable(goal.proof().getServices());