Reflect ignore_warnings kompile option (#2497)

* Add `ignore_warnings` compile option * kompile.py: include `ignore_warnings` for haskell target * Set Version: 1.0.610 * kompile.py: update `ignore_warnings` location * Set Version: 1.0.615 * Set Version: 1.0.619 * kompile.py: update `ignore_warnings` type and default value * Set Version: 1.0.620 * Set Version: 1.0.621 * Set Version: 1.0.622 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]> Co-authored-by: Palina Tolmach <[email protected]>
runtimeverification · Jun 27, 2024 · e4d4650 · e4d4650
1 parent 9b848e2
commit e4d4650
Show file tree

Hide file tree

Showing 4 changed files with 22 additions and 6 deletions.
diff --git 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. <[email protected]>",

diff --git 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/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] = (),
 ) -> 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] = (),
 ) -> Path:
     if type_inference_mode is None:
         type_inference_mode = TypeInferenceMode.SIMPLESUB
@@ -137,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:
@@ -155,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:
@@ -189,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:

diff --git a/package/version b/package/version
@@ -1 +1 @@
-1.0.621
+1.0.622