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

added toml processing capability #2369

Merged
merged 30 commits into from
May 17, 2024
Merged

added toml processing capability #2369

Show file tree
Hide file tree
Changes from 22 commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
a0e45d7
added toml processing capability
ovatman Mar 25, 2024
d2450df
Set Version: 1.0.507
Mar 25, 2024
4d5cc1d
involve toml args in args update
ovatman Mar 25, 2024
4bdcea9
Merge branch 'tolga/toml-options' of github.com:runtimeverification/e…
ovatman Mar 25, 2024
f5a13a0
added tests
ovatman Mar 25, 2024
679e012
Merge branch 'master' into tolga/toml-options
ovatman Apr 15, 2024
77d5bac
fix on optimization level entry key
ovatman Apr 16, 2024
6b32536
Set Version: 1.0.526
Apr 16, 2024
8f9ca7b
Set Version: 1.0.536
Apr 25, 2024
54f9f06
Merge branch 'master' into tolga/toml-options
ovatman Apr 25, 2024
dc11352
removed unused import
ovatman Apr 25, 2024
dd51dfd
Merge branch 'tolga/toml-options' of github.com:runtimeverification/e…
ovatman Apr 25, 2024
2b29800
Merge branch 'master' into tolga/toml-options
ovatman Apr 29, 2024
1130302
Set Version: 1.0.538
Apr 29, 2024
01a3fc6
removed unused imports
ovatman Apr 29, 2024
f2c8f4d
fixed test import
ovatman Apr 29, 2024
5e9f374
Merge branch 'master' into tolga/toml-options
ovatman May 6, 2024
415df98
Merge branch 'master' into tolga/toml-options
ovatman May 10, 2024
5141294
use pyk's `parse_toml_args` function
ovatman May 10, 2024
ede1dfc
Set Version: 1.0.549
May 10, 2024
b607aed
this commit reflects the changes that add type setting capability for…
ovatman May 10, 2024
8584be5
Merge branch 'master' into tolga/toml-options
ovatman May 10, 2024
db9c7c5
Merge branch 'master' into tolga/toml-options
ovatman May 15, 2024
f6543fd
added typed checking support for toml list inputs
ovatman May 15, 2024
109b69d
Merge branch 'tolga/toml-options' of github.com:runtimeverification/e…
ovatman May 15, 2024
29014a9
Merge branch 'master' into tolga/toml-options
ovatman May 15, 2024
b96ef6d
Set Version: 1.0.556
May 15, 2024
c1913c2
format fix
ovatman May 15, 2024
914a4b7
Merge branch 'master' into tolga/toml-options
ovatman May 17, 2024
b59414f
Set Version: 1.0.560
May 17, 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
2 changes: 1 addition & 1 deletion kevm-pyk/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "kevm-pyk"
version = "1.0.548"
version = "1.0.549"
description = ""
authors = [
"Runtime Verification, Inc. <[email protected]>",
Expand Down
2 changes: 1 addition & 1 deletion kevm-pyk/src/kevm_pyk/__init__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,4 +5,4 @@
if TYPE_CHECKING:
from typing import Final

VERSION: Final = '1.0.548'
VERSION: Final = '1.0.549'
Loading
Loading