From 969520f60b19c77536b1dcf3f4e54f1dc227bf7e Mon Sep 17 00:00:00 2001 From: Roberto Rosmaninho Date: Wed, 22 Jan 2025 16:10:56 -0300 Subject: [PATCH] Fromatting --- kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md | 2 +- kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md index 124566f191..f7f7d9cd37 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md @@ -466,7 +466,7 @@ Productions related to transactions rule #asmTxPrefix (3) => Blob syntax TxData ::= LegacyTx | AccessListTx | DynamicFeeTx | BlobTx - // -------------------------------------------------------- + // ----------------------------------------------------------------- syntax LegacyTx ::= LegacyTxData ( nonce: Int, gasPrice: Int, gasLimit: Int, to: Account, value: Int, data: Bytes ) [symbol(LegacyTxData)] | LegacySignedTxData ( nonce: Int, gasPrice: Int, gasLimit: Int, to: Account, value: Int, data: Bytes, networkChainId: Int ) [symbol(LegacySignedTxData)] diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md index 07524b6150..036e9ac596 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md @@ -236,7 +236,7 @@ Unparsing syntax Bytes ::= #addrBytes ( Account ) [symbol(#addrBytes), function] | #addrBytesNotNil ( AccountNotNil ) [symbol(#addrBytesNotNil), function] | #wordBytes ( Int ) [symbol(#wordBytes), function] - // ---------------------------------------------------------------------- + // ---------------------------------------------------------------------------------------- rule #addrBytes(.Account) => .Bytes rule #addrBytes(ACCT) => #padToWidth(20, #asByteStack(ACCT)) requires #rangeAddress(ACCT) rule #addrBytesNotNil(ACCTNN) => #padToWidth(20, #asByteStack(ACCTNN)) requires #rangeAddress(ACCTNN)