From 361a4554a88a3709a592a37271abe751a4d52fc8 Mon Sep 17 00:00:00 2001 From: Juan C Date: Fri, 21 Jun 2024 18:55:57 +0200 Subject: [PATCH 01/10] Add `ignore_warnings` compile option --- kevm-pyk/src/kevm_pyk/kompile.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/kevm-pyk/src/kevm_pyk/kompile.py b/kevm-pyk/src/kevm_pyk/kompile.py index 23c5570fba..be3887f718 100644 --- a/kevm-pyk/src/kevm_pyk/kompile.py +++ b/kevm-pyk/src/kevm_pyk/kompile.py @@ -62,6 +62,7 @@ def kevm_kompile( debug: bool = False, verbose: bool = False, type_inference_mode: str | TypeInferenceMode | None = None, + ignore_warnings: Iterable[str] | None = None, ) -> Path: if plugin_dir is None: plugin_dir = kdist.get('evm-semantics.plugin') @@ -84,6 +85,7 @@ def kevm_kompile( debug=debug, verbose=verbose, type_inference_mode=type_inference_mode, + ignore_warnings=ignore_warnings, ) @@ -105,6 +107,7 @@ def run_kompile( debug: bool = False, verbose: bool = False, type_inference_mode: str | TypeInferenceMode | None = None, + ignore_warnings: Iterable[str] | None = None, ) -> Path: if type_inference_mode is None: type_inference_mode = TypeInferenceMode.SIMPLESUB @@ -120,6 +123,7 @@ def run_kompile( hook_namespaces=HOOK_NAMESPACES, emit_json=emit_json, read_only=read_only, + ignore_warnings=ignore_warnings, ) kompile: Kompile From 4fd6d330fe3593488391e778471b6cac8a4c8c9f Mon Sep 17 00:00:00 2001 From: Juan C Date: Fri, 21 Jun 2024 22:28:33 +0200 Subject: [PATCH 02/10] kompile.py: include `ignore_warnings` for haskell target --- kevm-pyk/src/kevm_pyk/kompile.py | 1 + 1 file changed, 1 insertion(+) diff --git a/kevm-pyk/src/kevm_pyk/kompile.py b/kevm-pyk/src/kevm_pyk/kompile.py index be3887f718..32878b6abb 100644 --- a/kevm-pyk/src/kevm_pyk/kompile.py +++ b/kevm-pyk/src/kevm_pyk/kompile.py @@ -181,6 +181,7 @@ def _kompile_haskell() -> None: hook_namespaces=HOOK_NAMESPACES, emit_json=emit_json, read_only=read_only, + ignore_warnings=ignore_warnings, ) kompile_llvm = LLVMKompile( base_args=base_args_llvm, ccopts=ccopts, opt_level=optimization, llvm_kompile_type=LLVMKompileType.C From 71d4e098b5d5a48fc3cb3e35de006710b2472f3e Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 21 Jun 2024 20:39:07 +0000 Subject: [PATCH 03/10] Set Version: 1.0.610 --- 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 ed990c1e98..e7b92ba128 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.609" +version = "1.0.610" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 9e0a7d9791..c8162c9cd9 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -5,4 +5,4 @@ if TYPE_CHECKING: from typing import Final -VERSION: Final = '1.0.609' +VERSION: Final = '1.0.610' diff --git a/package/version b/package/version index 8fbd0cd877..f14b33434d 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.609 +1.0.610 From 41e158e2281817f33d596164ffc9f6926514fbfd Mon Sep 17 00:00:00 2001 From: Juan C Date: Sun, 23 Jun 2024 18:04:34 +0200 Subject: [PATCH 04/10] kompile.py: update `ignore_warnings` location --- kevm-pyk/src/kevm_pyk/kompile.py | 21 ++++++++++++++++----- 1 file changed, 16 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/kompile.py b/kevm-pyk/src/kevm_pyk/kompile.py index 32878b6abb..d600503484 100644 --- a/kevm-pyk/src/kevm_pyk/kompile.py +++ b/kevm-pyk/src/kevm_pyk/kompile.py @@ -123,7 +123,6 @@ def run_kompile( hook_namespaces=HOOK_NAMESPACES, emit_json=emit_json, read_only=read_only, - ignore_warnings=ignore_warnings, ) kompile: Kompile @@ -141,7 +140,11 @@ def run_kompile( enable_llvm_debug=enable_llvm_debug, ) return kompile( - output_dir=output_dir, debug=debug, verbose=verbose, type_inference_mode=type_inference_mode + output_dir=output_dir, + debug=debug, + verbose=verbose, + type_inference_mode=type_inference_mode, + ignore_warnings=ignore_warnings, ) case KompileTarget.MAUDE: @@ -159,7 +162,11 @@ def _kompile_maude() -> None: def _kompile_haskell() -> None: kompile_haskell( - output_dir=output_dir, debug=debug, verbose=verbose, type_inference_mode=type_inference_mode + output_dir=output_dir, + debug=debug, + verbose=verbose, + type_inference_mode=type_inference_mode, + ignore_warnings=ignore_warnings, ) with concurrent.futures.ThreadPoolExecutor(max_workers=2) as executor: @@ -181,7 +188,6 @@ def _kompile_haskell() -> None: hook_namespaces=HOOK_NAMESPACES, emit_json=emit_json, read_only=read_only, - ignore_warnings=ignore_warnings, ) kompile_llvm = LLVMKompile( base_args=base_args_llvm, ccopts=ccopts, opt_level=optimization, llvm_kompile_type=LLVMKompileType.C @@ -194,11 +200,16 @@ def _kompile_llvm() -> None: debug=debug, verbose=verbose, type_inference_mode=type_inference_mode, + ignore_warnings=ignore_warnings, ) def _kompile_haskell() -> None: kompile_haskell( - output_dir=output_dir, debug=debug, verbose=verbose, type_inference_mode=type_inference_mode + output_dir=output_dir, + debug=debug, + verbose=verbose, + type_inference_mode=type_inference_mode, + ignore_warnings=ignore_warnings, ) with concurrent.futures.ThreadPoolExecutor(max_workers=2) as executor: From ca0e829dfaa5bdb1bc0a6ee323a77e8bd3237cf3 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 25 Jun 2024 12:26:35 +0000 Subject: [PATCH 05/10] Set Version: 1.0.615 --- 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 1f4c5551b9..230f2f2624 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.614" +version = "1.0.615" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index d874c176f0..e7be911e0e 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -5,4 +5,4 @@ if TYPE_CHECKING: from typing import Final -VERSION: Final = '1.0.614' +VERSION: Final = '1.0.615' diff --git a/package/version b/package/version index ddd62f9ac5..c9e5db716a 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.614 +1.0.615 From e4da232b1814cde6cf0e3f807e71638f7a3509de Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 26 Jun 2024 12:34:42 +0000 Subject: [PATCH 06/10] Set Version: 1.0.619 --- 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 6cddf3924c..61b90b879a 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.618" +version = "1.0.619" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index e797543177..f7949e8908 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -5,4 +5,4 @@ if TYPE_CHECKING: from typing import Final -VERSION: Final = '1.0.618' +VERSION: Final = '1.0.619' diff --git a/package/version b/package/version index 014861368f..8a4b6a1d99 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.618 +1.0.619 From ab4e4252e1c802018385208e22a4c797aa4b1388 Mon Sep 17 00:00:00 2001 From: Juan C Date: Wed, 26 Jun 2024 14:36:35 +0200 Subject: [PATCH 07/10] kompile.py: update `ignore_warnings` type and default value --- kevm-pyk/src/kevm_pyk/kompile.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/kompile.py b/kevm-pyk/src/kevm_pyk/kompile.py index d600503484..71c470b693 100644 --- a/kevm-pyk/src/kevm_pyk/kompile.py +++ b/kevm-pyk/src/kevm_pyk/kompile.py @@ -62,7 +62,7 @@ def kevm_kompile( debug: bool = False, verbose: bool = False, type_inference_mode: str | TypeInferenceMode | None = None, - ignore_warnings: Iterable[str] | None = None, + ignore_warnings: Iterable[str] = (), ) -> Path: if plugin_dir is None: plugin_dir = kdist.get('evm-semantics.plugin') @@ -107,7 +107,7 @@ def run_kompile( debug: bool = False, verbose: bool = False, type_inference_mode: str | TypeInferenceMode | None = None, - ignore_warnings: Iterable[str] | None = None, + ignore_warnings: Iterable[str] = (), ) -> Path: if type_inference_mode is None: type_inference_mode = TypeInferenceMode.SIMPLESUB From 39bfa00ad4419a721f5b171d7b8f2b2edea0b55a Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 26 Jun 2024 16:42:15 +0000 Subject: [PATCH 08/10] Set Version: 1.0.620 --- 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 61b90b879a..a8052eb43c 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.619" +version = "1.0.620" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index f7949e8908..1a8fd9effa 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -5,4 +5,4 @@ if TYPE_CHECKING: from typing import Final -VERSION: Final = '1.0.619' +VERSION: Final = '1.0.620' diff --git a/package/version b/package/version index 8a4b6a1d99..f669c74ee6 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.619 +1.0.620 From 13b86e8e600a6ad0861b9fc3a805da952fe0c662 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 27 Jun 2024 07:52:38 +0000 Subject: [PATCH 09/10] Set Version: 1.0.621 --- 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 83eb304044..bff9e5f028 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.620" +version = "1.0.621" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 1a8fd9effa..4e34bc811b 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -5,4 +5,4 @@ if TYPE_CHECKING: from typing import Final -VERSION: Final = '1.0.620' +VERSION: Final = '1.0.621' diff --git a/package/version b/package/version index f669c74ee6..5825a8dee0 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.620 +1.0.621 From f1baf0ab12bbac1b8dc890b4d2dfec06beb201e5 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 27 Jun 2024 12:20:34 +0000 Subject: [PATCH 10/10] Set Version: 1.0.622 --- 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 bff9e5f028..ca1e8e71c8 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.621" +version = "1.0.622" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 4e34bc811b..604214e46f 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -5,4 +5,4 @@ if TYPE_CHECKING: from typing import Final -VERSION: Final = '1.0.621' +VERSION: Final = '1.0.622' diff --git a/package/version b/package/version index 5825a8dee0..7e3450be8a 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.621 +1.0.622