Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

424 implicitdebug constraints in implementation #440

Merged
Merged
Changes from 1 commit
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
766ed7f
fix: address issues from 1 to 5
lorenzogentile404 Oct 9, 2024
e64132e
fix: address issues from 6 to 10
lorenzogentile404 Oct 9, 2024
d93fc0b
fix: address issues from 11 to 15
lorenzogentile404 Oct 10, 2024
b61b83d
fix: address issues from 16 to 25
lorenzogentile404 Oct 10, 2024
e3d47be
Merge branch 'master' into 424-implicitdebug-constraints-in-implement…
lorenzogentile404 Oct 10, 2024
65efe51
Update constraints.lisp
lorenzogentile404 Oct 11, 2024
558cc33
Update ABS_TX_NUM_and_BTC_NUM.lisp
lorenzogentile404 Oct 11, 2024
a075863
Update acc.lisp
lorenzogentile404 Oct 11, 2024
9e06c1a
Update add_bin_ext_mod_mul_shf_wcp.lisp
lorenzogentile404 Oct 11, 2024
61fe3fa
Update add_bin_ext_mod_mul_shf_wcp.lisp
lorenzogentile404 Oct 11, 2024
ea63727
Update universal.lisp
lorenzogentile404 Oct 11, 2024
63238f0
Update surviving_the_hub.lisp
lorenzogentile404 Oct 11, 2024
02ce640
Update common.lisp
lorenzogentile404 Oct 11, 2024
13b002b
Update standpoint.lisp
lorenzogentile404 Oct 11, 2024
94fc33a
Update copy.lisp
lorenzogentile404 Oct 11, 2024
2020a2b
Update copy.lisp
lorenzogentile404 Oct 11, 2024
be9762c
Update copy.lisp
lorenzogentile404 Oct 11, 2024
678f45c
Update generalities.lisp
lorenzogentile404 Oct 11, 2024
066c6e3
Update generalities.lisp
lorenzogentile404 Oct 11, 2024
e16f7d4
Update generalities.lisp
lorenzogentile404 Oct 11, 2024
f6a2cee
Update standpoint.lisp
lorenzogentile404 Oct 11, 2024
af1afbb
Update copy.lisp
lorenzogentile404 Oct 11, 2024
09d36cf
Update dup.lisp
lorenzogentile404 Oct 11, 2024
af64bb4
Update return.lisp
lorenzogentile404 Oct 11, 2024
3863195
fix: revert debug
lorenzogentile404 Oct 11, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update dup.lisp
Signed-off-by: Lorenzo Gentile <lorenzogentile404@gmail.com>
  • Loading branch information
lorenzogentile404 authored Oct 11, 2024
commit 09d36cf86baf9e5852b921af83588de92e427afb
2 changes: 1 addition & 1 deletion hub/constraints/instruction-handling/dup.lisp
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
(eq! NSR CMC))

(defconstraint dup-setting-peeking-flags (:guard (dup-no-stack-exceptions))
(debug (eq! NSR (* CMC (next PEEK_AT_CONTEXT)))))
(eq! NSR (* CMC (next PEEK_AT_CONTEXT))))

(defconstraint dup-setting-gas-costs (:guard (dup-no-stack-exceptions))
(eq! GAS_COST stack/STATIC_GAS))
Loading