Add options classes to KEVM (#2362)

* Add KompileSpecOptioons * Set Version: 1.0.501 * Add rest of Options classes for KEVM commands and use in exec functions * Add KGenOptions * Remove argparse defaults for kevm-specific Options * Fix formatting * Remove plugin update * Fix excute call * Fix execute call * Set Version: 1.0.502 * pyupgrade * Fix formatting * Set Version: 1.0.504 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Mar 21, 2024 · ec4a426 · ec4a426
1 parent 92be72e
commit ec4a426
Show file tree

Hide file tree

Showing 6 changed files with 561 additions and 352 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.503"
+version = "1.0.504"
 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
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.503'
+VERSION: Final = '1.0.504'
Original file line number	Diff line number	Diff line change
Expand Up		@@ -6,4 +6,4 @@
		from typing import Final


		VERSION: Final = '1.0.503'
		VERSION: Final = '1.0.504'