Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reflect ignore_warnings kompile option #2497

Merged
merged 16 commits into from
Jun 27, 2024
Merged

Reflect ignore_warnings kompile option #2497

Changes from 15 commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
361a455
Add `ignore_warnings` compile option
JuanCoRo Jun 21, 2024
6b91305
Merge remote-tracking branch 'origin/master' into silence-compiler
JuanCoRo Jun 21, 2024
4fd6d33
kompile.py: include `ignore_warnings` for haskell target
JuanCoRo Jun 21, 2024
71d4e09
Set Version: 1.0.610
Jun 21, 2024
41e158e
kompile.py: update `ignore_warnings` location
JuanCoRo Jun 23, 2024
eec9dad
Merge branch 'master' into silence-compiler
anvacaru Jun 25, 2024
ca0e829
Set Version: 1.0.615
Jun 25, 2024
49bc2fe
Merge remote-tracking branch 'origin/master' into silence-compiler
JuanCoRo Jun 26, 2024
e4da232
Set Version: 1.0.619
Jun 26, 2024
ab4e425
kompile.py: update `ignore_warnings` type and default value
JuanCoRo Jun 26, 2024
15cb668
Merge branch 'master' into silence-compiler
JuanCoRo Jun 26, 2024
39bfa00
Set Version: 1.0.620
Jun 26, 2024
8dacc36
Merge branch 'master' into silence-compiler
anvacaru Jun 27, 2024
13b86e8
Set Version: 1.0.621
Jun 27, 2024
ff96005
Merge branch 'master' into silence-compiler
palinatolmach Jun 27, 2024
f1baf0a
Set Version: 1.0.622
Jun 27, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 19 additions & 3 deletions kevm-pyk/src/kevm_pyk/kompile.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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')
Expand All @@ -84,6 +85,7 @@ def kevm_kompile(
debug=debug,
verbose=verbose,
type_inference_mode=type_inference_mode,
ignore_warnings=ignore_warnings,
)


Expand All @@ -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
Expand Down Expand Up @@ -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:
Expand All @@ -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:
Expand Down Expand Up @@ -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:
Expand Down
Loading