From f0a032b74d0a2598115c30b681874eb4cca08e50 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Thu, 22 Feb 2024 04:42:18 -0600
Subject: [PATCH] fix bug in computation of miner balance after tx if miner ==
 sender (#2306)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* fix bug in computation of miner balance after tx if miner == sender

* remove failing tests

* Set Version: 1.0.459

* Set Version: 1.0.460

* Set Version: 1.0.461

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com>
Co-authored-by: rv-jenkins <admin@runtimeverification.com>
---
 kevm-pyk/pyproject.toml                          | 2 +-
 kevm-pyk/src/kevm_pyk/__init__.py                | 2 +-
 kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md | 2 +-
 package/version                                  | 2 +-
 tests/failing.llvm                               | 2 --
 5 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index a9c93e470d..b39490ec1a 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.460"
+version = "1.0.461"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
index 2148007334..e50490c73e 100644
--- a/kevm-pyk/src/kevm_pyk/__init__.py
+++ b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.460'
+VERSION: Final = '1.0.461'
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md
index e107f14d89..9ee5a35d58 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md
@@ -602,7 +602,7 @@ After executing a transaction, it's necessary to have the effect of the substate
          <refund> 0 </refund>
          <account>
            <acctID> ACCT </acctID>
-           <balance> BAL => BAL +Int GLIMIT *Int (GPRICE -Int BFEE) </balance>
+           <balance> BAL => BAL +Int GLIMIT *Int GPRICE -Int (GLIMIT -Int GAVAIL) *Int BFEE </balance>
            ...
          </account>
          <txPending> ListItem(MsgId:Int) REST => REST </txPending>
diff --git a/package/version b/package/version
index b0d7e1c426..23ad8f74b9 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.460
+1.0.461
diff --git a/tests/failing.llvm b/tests/failing.llvm
index e145fbbc98..b95fee4a24 100644
--- a/tests/failing.llvm
+++ b/tests/failing.llvm
@@ -1,3 +1 @@
 tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCreate2/CREATE2_HighNonceDelegatecall.json
-tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/delegatecall09Undefined.json
-tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCodes/touchAndGo.json
\ No newline at end of file