diff --git a/hub/london/constraints/tx_init/rows/acc_recipient_value_transfer.lisp b/hub/london/constraints/tx_init/rows/acc_recipient_value_transfer.lisp index 9af709ec0..5c5d67d5a 100644 --- a/hub/london/constraints/tx_init/rows/acc_recipient_value_transfer.lisp +++ b/hub/london/constraints/tx_init/rows/acc_recipient_value_transfer.lisp @@ -70,7 +70,6 @@ (if-not-zero (tx-init---is-deployment) (begin ;; deployment - (vanishes! (shift account/DEPLOYMENT_NUMBER tx-init---row-offset---ACC---recipient-value-reception)) (account-increment-deployment-number tx-init---row-offset---ACC---recipient-value-reception) (eq! (shift account/DEPLOYMENT_STATUS tx-init---row-offset---ACC---recipient-value-reception) 0) (eq! (shift account/DEPLOYMENT_STATUS_NEW tx-init---row-offset---ACC---recipient-value-reception) 1)))) diff --git a/hub/shanghai/constraints/tx_init/rows/acc_recipient_value_transfer.lisp b/hub/shanghai/constraints/tx_init/rows/acc_recipient_value_transfer.lisp index 7f7b9602f..744738d91 100644 --- a/hub/shanghai/constraints/tx_init/rows/acc_recipient_value_transfer.lisp +++ b/hub/shanghai/constraints/tx_init/rows/acc_recipient_value_transfer.lisp @@ -70,7 +70,6 @@ (if-not-zero (tx-init---is-deployment) (begin ;; deployment - (vanishes! (shift account/DEPLOYMENT_NUMBER tx-init---row-offset---ACC---recipient-value-reception)) (account-increment-deployment-number tx-init---row-offset---ACC---recipient-value-reception) (eq! (shift account/DEPLOYMENT_STATUS tx-init---row-offset---ACC---recipient-value-reception) 0) (eq! (shift account/DEPLOYMENT_STATUS_NEW tx-init---row-offset---ACC---recipient-value-reception) 1)))) diff --git a/todo b/todo deleted file mode 100644 index b98536f9f..000000000 --- a/todo +++ /dev/null @@ -1,29 +0,0 @@ -✅ hub/columns/scenarios/precompiles.tex -✅ hub/scenario/generalities/precompiles.tex -✅ hub/scenario/shorthands/precompile.tex -✅ hub/instruction_handling/call/precompiles/common/generalities.tex -❌ hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing/success.tex -✅ hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing_bls/failure_KTR.tex -✅ hub/instruction_handling/call/precompiles/ecadd_ecmul_ecpairing_bls/success.tex -❌ hub/instruction_handling/call/precompiles/nsr_and_flagsum.tex -✅ hub/instruction_handling/call/precompiles/nsr_and_flagsum_I.tex -✅ hub/instruction_handling/call/precompiles/nsr_and_flagsum_II.tex - - - - - - - - - - -❌ Lisp erase -⚠️ Lisp todo -✅ Lisp done - - - -❌ Lisp ràf -⚠️ Lisp unclear -✅ Lisp done