Merge branch 'main' of github.com:babaeee/hakim into mz3

babaeee · Feb 2, 2024 · c789f98 · c789f98
2 parents 3f1ef22 + 3ff789b
commit c789f98
Show file tree

Hide file tree

Showing 10 changed files with 293 additions and 19 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,3 +5,4 @@ flamegraph.svg
 .z3-trace
 hakim_log*
 node_modules
+ignore
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/front/src/components/proof/Toolbar.tsx b/front/src/components/proof/Toolbar.tsx
@@ -6,6 +6,7 @@ import css from "./toolbar.module.css";
 import logo from "../../logo.png"
 import { flip, offset, shift, useFloating } from '@floating-ui/react-dom';
 import { getDevState } from "../../dev_mode";
+import { useAutoProofState } from "../../dev_mode/auto_proof_state";
 
 export const ToolButton = ({ label, onClick }: { label: string, onClick: any }) => {
     return (
@@ -111,10 +112,11 @@ const AutoProofButton = () => {
 };
 
 export const Toolbar = () => {
+    const autoState = useAutoProofState();
     return (
         <div className={css.toolContain}>
             <ToolButton onClick={newAssert} label={g`new_assertion`} />
-            <AutoProofButton />
+            {autoState && <AutoProofButton />}
             {
                 getDevState() === "debug" && <ToolButton onClick={() => {
                     const tactic = window.prompt(g`enter_tactic`);