Make the constraints compile again (#503)

Consensys · Nov 6, 2024 · 528d295 · 528d295
1 parent 5f9fdb2
commit 528d295
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 7 deletions.
diff --git a/hub/constraints/instruction-handling/jump.lisp b/hub/constraints/instruction-handling/jump.lisp
@@ -60,7 +60,7 @@
 ;; TODO: remove ugly hack
 (defconstraint jump-instruction---allowable-exceptions                        (:guard (jump-instruction---no-stack-exception))
                (begin
-                 (debug (eq! XAHOY (+ stack/OOGX stack/JUMPX)))))
+                 (eq! XAHOY (+ stack/OOGX stack/JUMPX))))
 
 
 (defconstraint jump-instruction---setting-the-gas-cost                        (:guard (jump-instruction---no-stack-exception))
@@ -69,8 +69,8 @@
 (defconstraint jump-instruction---setting-NSR                                 (:guard (jump-instruction---no-stack-exception))
                (if-not-zero (force-bin stack/OOGX)
                             ;; OOGX = 1
-                            (begin (eq! NSR CMC)
-                                   (debug (eq! NSR 1)))
+                            (begin (eq!        NSR CMC)
+                                   (debug (eq! NSR 1  )))
                             ;; OOGX = 0
                             (eq! NSR (+ 3 CMC))))
 

diff --git a/hub/constraints/instruction-handling/log.lisp b/hub/constraints/instruction-handling/log.lisp
@@ -51,10 +51,9 @@
                                          [ stack/DEC_FLAG 4 ])) ;; ""
 
 (defconstraint    log-instruction---allowable-exceptions                             (:guard (log-instruction---standard-hypothesis))         ;; TODO: solo debug constraint plz
-                  (begin
-                         (debug (eq! XAHOY (+ stack/STATICX
-                                              stack/MXPX
-                                              stack/OOGX)))))
+                  (eq! XAHOY (+ stack/STATICX
+                                stack/MXPX
+                                stack/OOGX)))
 
 (defconstraint    log-instruction---setting-NSR                                      (:guard (log-instruction---standard-hypothesis))
                   (if-zero (force-bin stack/STATICX)