From 500a7f76ef4f70f8ed39b2ae5320b766707fce11 Mon Sep 17 00:00:00 2001 From: Andrei Date: Wed, 6 Mar 2024 16:45:08 +0200 Subject: [PATCH 1/4] gas.md:fix warnings --- kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md index 5b6653e7f9..64b90fbad8 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md @@ -73,9 +73,9 @@ module INFINITE-GAS rule #gas(G) /Gas #gas(G') => #gas(G /Int G') requires G' =/=Int 0 rule _:Int true - rule #gas(_) false [simplification] + rule #gas(_) false rule #gas(_) <=Gas _:Int => false - rule _ <=Gas #gas(_) => true [simplification] + rule _ <=Gas #gas(_) => true rule minGas(#gas(G), #gas(G')) => #gas(minInt(G, G')) rule minGas(G:Int , #gas(G')) => #gas(minInt(G, G')) From 5bfb8eca77c3c5a15fa2c9c768c84bc8897fc28e Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Mar 2024 14:51:38 +0000 Subject: [PATCH 2/4] Set Version: 1.0.483 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index b4426d884d..b90dfa4846 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.482" +version = "1.0.483" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 9fd27fad1b..eaa6796854 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.482' +VERSION: Final = '1.0.483' diff --git a/package/version b/package/version index be59341a70..62fbca6cbc 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.482 +1.0.483 From f67efbc0a5d3fa822649af9f140a16aac322e694 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 05:56:44 +0000 Subject: [PATCH 3/4] Set Version: 1.0.485 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 2587ef64b2..e8452e140e 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.484" +version = "1.0.485" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index f7dc8a362d..2888bbf053 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.484' +VERSION: Final = '1.0.485' diff --git a/package/version b/package/version index 2597f4c655..8abaebbe9b 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.484 +1.0.485 From 116a0eab332a9046dcefa2a828fe650dd2f4ca7b Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 10:36:27 +0000 Subject: [PATCH 4/4] Set Version: 1.0.486 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index e8452e140e..2473cb1e46 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.485" +version = "1.0.486" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 2888bbf053..a4e1db51aa 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.485' +VERSION: Final = '1.0.486' diff --git a/package/version b/package/version index 8abaebbe9b..18980e0090 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.485 +1.0.486