Skip to content

Commit

Permalink
ras: newer constraints commit
Browse files Browse the repository at this point in the history
  • Loading branch information
@OlivierBBB
OlivierBBB committed Nov 6, 2024
1 parent f6377b0 commit bdd32a1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion linea-constraints
Submodule linea-constraints updated 37 files
+1 −1 .github/workflows/check.yml
+8 −6 Makefile
+2 −3 alu/add/constraints.lisp
+0 −3 alu/mul/constraints.lisp
+0 −1 ecdata/constraints.lisp
+8 −17 exp/constraints.lisp
+35 −35 hub/columns/account.lisp
+0 −7 hub/columns/consistency.lisp
+2 −4 hub/columns/stack.lisp
+0 −4 hub/columns/storage.lisp
+1 −1 hub/constants.lisp
+27 −25 hub/constraints/consistency/context/constraints.lisp
+4 −3 hub/constraints/generalities/auxiliary_stamps.lisp
+18 −10 hub/constraints/generalities/context.lisp
+34 −35 hub/constraints/generalities/exceptions.lisp
+17 −12 hub/constraints/generalities/program_counter.lisp
+8 −7 hub/constraints/instruction-handling/copy/calldatacopy.lisp
+6 −7 hub/constraints/instruction-handling/copy/codecopy.lisp
+5 −4 hub/constraints/instruction-handling/copy/extcodecopy.lisp
+5 −2 hub/constraints/instruction-handling/copy/returndatacopy.lisp
+31 −20 hub/constraints/instruction-handling/create/constraints/generalities.lisp
+38 −65 hub/constraints/instruction-handling/halting/return.lisp
+11 −15 hub/constraints/instruction-handling/halting/revert.lisp
+18 −18 hub/constraints/instruction-handling/jump.lisp
+3 −4 hub/constraints/instruction-handling/log.lisp
+23 −7 hub/constraints/instruction-handling/machine_state.lisp
+45 −31 hub/constraints/instruction-handling/push_pop.lisp
+13 −9 hub/constraints/instruction-handling/sto.lisp
+33 −19 hub/constraints/instruction-handling/txn.lisp
+13 −15 hub/constraints/stack_patterns.lisp
+0 −0 hub/lookups/hub_into_hub.lispX
+1 −3 logdata/constraints.lisp
+0 −3 mmio/lookups/mmio_into_ecdata.lisp
+60 −68 shakiradata/constraints.lisp
+0 −3 shakiradata/lookups/shakira_into_wcp_increasing_id.lisp
+0 −1 shakiradata/lookups/shakira_into_wcp_nonzero_last_nbytes.lisp
+0 −1 shf/constraints.lisp

0 comments on commit bdd32a1

Please sign in to comment.