Fromatting

runtimeverification · Jan 22, 2025 · 969520f · 969520f
1 parent 71fb9fd
commit 969520f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 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
@@ -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
@@ -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)