Skip to content

Commit

Permalink
update constraints (#1199)
Browse files Browse the repository at this point in the history
  • Loading branch information
@lorenzogentile404
lorenzogentile404 authored Sep 16, 2024
1 parent 723a597 commit 80f2fb4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion linea-constraints
Submodule linea-constraints updated 38 files
+1 −0 .gitignore
+59 −3 Makefile
+2 −2 alu/mul/constraints.lisp
+7 −1 exp/constraints.lisp
+12 −12 gas/columns.lisp
+1 −1 gas/constraints.lisp
+2 −2 gas/lookups/gas-into-wcp.lisp
+7 −0 hub/columns/consistency.lisp
+0 −5 hub/columns/shared.lisp
+0 −2 hub/columns/transaction.lisp
+4 −4 hub/constants.lisp
+0 −186 hub/constraints/consistency/account.lisp
+81 −0 hub/constraints/consistency/account/columns.lisp
+167 −0 hub/constraints/consistency/account/constraints.lisp
+0 −119 hub/constraints/consistency/context.lisp
+71 −0 hub/constraints/consistency/context/columns.lisp
+51 −0 hub/constraints/consistency/context/constraints.lisp
+0 −70 hub/constraints/consistency/execution_environment.lisp
+40 −0 hub/constraints/consistency/execution_environment/columns.lisp
+34 −0 hub/constraints/consistency/execution_environment/constraints.lisp
+0 −80 hub/constraints/consistency/stack.lisp
+41 −0 hub/constraints/consistency/stack/columns.lisp
+47 −0 hub/constraints/consistency/stack/constraints.lisp
+0 −178 hub/constraints/consistency/storage.lisp
+63 −0 hub/constraints/consistency/storage/columns.lisp
+131 −0 hub/constraints/consistency/storage/constraints.lisp
+1 −3 hub/constraints/generalities/gas.lisp
+25 −21 hub/constraints/generalities/refunds.lisp
+6 −6 hub/constraints/heartbeat/ABS_TX_NUM_and_BTC_NUM.lisp
+5 −7 hub/constraints/instruction-handling/halting/selfdestruct.lisp
+99 −94 hub/constraints/tx_finl/constraints.lisp
+112 −111 hub/constraints/tx_init/constraints.lisp
+2 −2 hub/lookups/hub_into_gas.lisp
+19 −12 hub/lookups/hub_into_hub.lisp
+2 −1 hub/lookups/hub_into_stp.lisp
+1 −1 hub/lookups/hub_into_txn_data.lisp
+19 −2 mmu/constraints.lisp
+0 −3 shakiradata/constraints.lisp

0 comments on commit 80f2fb4

Please sign in to comment.