From 14f2ff42421f66296019bbe453602a80dbfe4449 Mon Sep 17 00:00:00 2001 From: Noah Watson Date: Fri, 29 Sep 2023 20:51:15 -0500 Subject: [PATCH 01/15] Rerun claims based on digest, computed from claim body + dependent claims --- kevm-pyk/src/kevm_pyk/__main__.py | 90 ++++++++++++++++++++++++++++--- 1 file changed, 83 insertions(+), 7 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py index e985a9a302..fbbdea8779 100644 --- a/kevm-pyk/src/kevm_pyk/__main__.py +++ b/kevm-pyk/src/kevm_pyk/__main__.py @@ -7,6 +7,7 @@ import os import sys from argparse import ArgumentParser +from dataclasses import dataclass from pathlib import Path from typing import TYPE_CHECKING @@ -23,7 +24,7 @@ from pyk.proof.equality import EqualityProof from pyk.proof.show import APRProofShow from pyk.proof.tui import APRProofViewer -from pyk.utils import single +from pyk.utils import FrozenDict, hash_str, single from . import VERSION, config from .cli import KEVMCLIArgs, node_id_like @@ -196,6 +197,69 @@ def wrap_process_pool(workers: int) -> Iterator[ZeroProcessPool | ProcessPool]: yield pp +class JSONEncoder(json.JSONEncoder): + def default(self, obj: Any) -> Any: + if isinstance(obj, FrozenDict): + return json.JSONEncoder.encode(self, dict(obj)) + return json.JSONEncoder.default(self, obj) + + +@dataclass +class KClaimJob: + claim: KClaim + dependencies: list[KClaimJob] + + @property + def digest(self) -> str: + deps_digest = ''.join([dep.digest for dep in self.dependencies]) + claim_hash = hash_str(json.dumps(self.claim.to_dict(), sort_keys=True, cls=JSONEncoder)) + return hash_str(f'{claim_hash}{deps_digest}') + + def up_to_date(self, digest_file: Path | None) -> bool: + if digest_file is None: + return False + if not digest_file.exists(): + return False + digest_dict = json.loads(digest_file.read_text()) + if 'claims' not in digest_dict: + digest_dict['claims'] = {} + digest_file.write_text(json.dumps(digest_dict, indent=4)) + if self.claim.label not in digest_dict['claims']: + return False + return digest_dict['claims'][self.claim.label] == self.digest + + def update_digest(self, digest_file: Path | None) -> None: + if digest_file is None: + return + digest_dict = {} + if digest_file.exists(): + digest_dict = json.loads(digest_file.read_text()) + if 'claims' not in digest_dict: + digest_dict['claims'] = {} + digest_dict['claims'][self.claim.label] = self.digest + digest_file.write_text(json.dumps(digest_dict, indent=4)) + + _LOGGER.info(f'Updated claim {self.claim.label} in digest file: {digest_file}') + + +def init_claim_jobs(spec_module_name: str, claims: list[KClaim]) -> list[KClaimJob]: + labels_to_claims = {claim.label: claim for claim in claims} + labels_to_claim_jobs: dict[str, KClaimJob] = {} + + def get_or_load_claim_job(claim_label: str) -> KClaimJob: + if claim_label not in labels_to_claim_jobs: + if claim_label in labels_to_claims: + claim = labels_to_claims[claim_label] + if f'{spec_module_name}.{claim_label}' in labels_to_claims: + claim = labels_to_claims[f'{spec_module_name}.{claim_label}'] + deps = [get_or_load_claim_job(dep_label) for dep_label in claim.dependencies] + claim_job = KClaimJob(claim, deps) + labels_to_claim_jobs[claim_label] = claim_job + return labels_to_claim_jobs[claim_label] + + return [get_or_load_claim_job(claim.label) for claim in claims] + + def exec_prove( spec_file: Path, includes: Iterable[str], @@ -225,6 +289,8 @@ def exec_prove( _ignore_arg(kwargs, 'md_selector', f'--md-selector: {kwargs["md_selector"]}') md_selector = 'k' + digest_file = save_directory / 'digest' if save_directory is not None else None + if definition_dir is None: definition_dir = DistTarget.HASKELL.get() @@ -262,11 +328,19 @@ def is_functional(claim: KClaim) -> bool: ) if all_claims is None: raise ValueError(f'No claims found in file: {spec_file}') - all_claims_by_label: dict[str, KClaim] = {c.label: c for c in all_claims} spec_module_name = spec_module if spec_module is not None else os.path.splitext(spec_file.name)[0].upper() + all_claim_jobs = init_claim_jobs(spec_module_name, all_claims) + all_claim_jobs_by_label = {c.claim.label: c for c in all_claim_jobs} claims_graph = claim_dependency_dict(all_claims, spec_module_name=spec_module_name) - def _init_and_run_proof(claim: KClaim) -> tuple[bool, list[str] | None]: + def _init_and_run_proof(claim_job: KClaimJob) -> tuple[bool, list[str] | None]: + claim = claim_job.claim + up_to_date = claim_job.up_to_date(digest_file) + if up_to_date: + _LOGGER.info(f'Claim {claim.label} is up to date.') + else: + _LOGGER.info(f'Claim {claim.label} reinitialized because it is out of date.') + claim_job.update_digest(digest_file) with legacy_explore( kevm, kcfg_semantics=KEVMSemantics(auto_abstract_gas=auto_abstract_gas), @@ -283,6 +357,7 @@ def _init_and_run_proof(claim: KClaim) -> tuple[bool, list[str] | None]: if ( save_directory is not None and not reinit + and up_to_date and EqualityProof.proof_exists(claim.label, save_directory) ): proof_problem = EqualityProof.read_proof_data(save_directory, claim.label) @@ -292,6 +367,7 @@ def _init_and_run_proof(claim: KClaim) -> tuple[bool, list[str] | None]: if ( save_directory is not None and not reinit + and up_to_date and APRProof.proof_data_exists(claim.label, save_directory) ): proof_problem = APRProof.read_proof_data(save_directory, claim.label) @@ -357,7 +433,7 @@ def _init_and_run_proof(claim: KClaim) -> tuple[bool, list[str] | None]: while topological_sorter.is_active(): ready = topological_sorter.get_ready() _LOGGER.info(f'Discharging proof obligations: {ready}') - curr_claim_list = [all_claims_by_label[label] for label in ready] + curr_claim_list = [all_claim_jobs_by_label[label] for label in ready] results: list[tuple[bool, list[str] | None]] = process_pool.map(_init_and_run_proof, curr_claim_list) for label in ready: topological_sorter.done(label) @@ -365,13 +441,13 @@ def _init_and_run_proof(claim: KClaim) -> tuple[bool, list[str] | None]: selected_claims.extend(curr_claim_list) failed = 0 - for claim, r in zip(selected_claims, selected_results, strict=True): + for job, r in zip(selected_claims, selected_results, strict=True): passed, failure_log = r if passed: - print(f'PROOF PASSED: {claim.label}') + print(f'PROOF PASSED: {job.claim.label}') else: failed += 1 - print(f'PROOF FAILED: {claim.label}') + print(f'PROOF FAILED: {job.claim.label}') if failure_info and failure_log is not None: for line in failure_log: print(line) From 382420ddc724e1557fb883707dab9cea647948af Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 30 Sep 2023 01:55:52 +0000 Subject: [PATCH 02/15] Set Version: 1.0.309 --- 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 fe9059258c..13a3cb915d 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.308" +version = "1.0.309" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index d8d62791fa..a56fa043b1 100644 --- 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.308' +VERSION: Final = '1.0.309' diff --git a/package/version b/package/version index 7b64a80cde..fcb1b3a84a 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.308 +1.0.309 From b1c5c743f616c40ffa74bad9058804cd4bb15b93 Mon Sep 17 00:00:00 2001 From: Noah Watson Date: Mon, 2 Oct 2023 18:34:15 -0500 Subject: [PATCH 03/15] Make KClaimJob a frozen class and cache digest --- kevm-pyk/src/kevm_pyk/__main__.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py index 4ccf354ddc..3b762763fc 100644 --- a/kevm-pyk/src/kevm_pyk/__main__.py +++ b/kevm-pyk/src/kevm_pyk/__main__.py @@ -9,6 +9,7 @@ import time from argparse import ArgumentParser from dataclasses import dataclass +from functools import cached_property from pathlib import Path from typing import TYPE_CHECKING @@ -209,12 +210,12 @@ def default(self, obj: Any) -> Any: return json.JSONEncoder.default(self, obj) -@dataclass +@dataclass(frozen=True) class KClaimJob: claim: KClaim dependencies: list[KClaimJob] - @property + @cached_property def digest(self) -> str: deps_digest = ''.join([dep.digest for dep in self.dependencies]) claim_hash = hash_str(json.dumps(self.claim.to_dict(), sort_keys=True, cls=JSONEncoder)) From f64639e8634ba84e8da04ea0c9e537ab9012b547 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Oct 2023 23:34:35 +0000 Subject: [PATCH 04/15] Set Version: 1.0.310 --- 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 13a3cb915d..19bae199fa 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.309" +version = "1.0.310" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index a56fa043b1..71d04aadc1 100644 --- 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.309' +VERSION: Final = '1.0.310' diff --git a/package/version b/package/version index fcb1b3a84a..c8d4d5a4ea 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.309 +1.0.310 From f7c9df169b1a0dc0af8b9a56b4bfeed3fb157b6f Mon Sep 17 00:00:00 2001 From: Noah Watson Date: Mon, 2 Oct 2023 18:51:49 -0500 Subject: [PATCH 05/15] Change to using frozenset --- kevm-pyk/src/kevm_pyk/__main__.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py index 3b762763fc..e359f2be70 100644 --- a/kevm-pyk/src/kevm_pyk/__main__.py +++ b/kevm-pyk/src/kevm_pyk/__main__.py @@ -213,7 +213,7 @@ def default(self, obj: Any) -> Any: @dataclass(frozen=True) class KClaimJob: claim: KClaim - dependencies: list[KClaimJob] + dependencies: frozenset[KClaimJob] @cached_property def digest(self) -> str: @@ -248,7 +248,7 @@ def update_digest(self, digest_file: Path | None) -> None: _LOGGER.info(f'Updated claim {self.claim.label} in digest file: {digest_file}') -def init_claim_jobs(spec_module_name: str, claims: list[KClaim]) -> list[KClaimJob]: +def init_claim_jobs(spec_module_name: str, claims: list[KClaim]) -> frozenset[KClaimJob]: labels_to_claims = {claim.label: claim for claim in claims} labels_to_claim_jobs: dict[str, KClaimJob] = {} @@ -258,12 +258,12 @@ def get_or_load_claim_job(claim_label: str) -> KClaimJob: claim = labels_to_claims[claim_label] if f'{spec_module_name}.{claim_label}' in labels_to_claims: claim = labels_to_claims[f'{spec_module_name}.{claim_label}'] - deps = [get_or_load_claim_job(dep_label) for dep_label in claim.dependencies] + deps = frozenset({get_or_load_claim_job(dep_label) for dep_label in claim.dependencies}) claim_job = KClaimJob(claim, deps) labels_to_claim_jobs[claim_label] = claim_job return labels_to_claim_jobs[claim_label] - return [get_or_load_claim_job(claim.label) for claim in claims] + return frozenset({get_or_load_claim_job(claim.label) for claim in claims}) def exec_prove( From fb6cc815c821ee491a75d3883dca8c7ef09f37b4 Mon Sep 17 00:00:00 2001 From: Noah Watson Date: Mon, 2 Oct 2023 20:08:34 -0500 Subject: [PATCH 06/15] Raise exception when label is not found --- kevm-pyk/src/kevm_pyk/__main__.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py index e359f2be70..3a18bea1a1 100644 --- a/kevm-pyk/src/kevm_pyk/__main__.py +++ b/kevm-pyk/src/kevm_pyk/__main__.py @@ -256,8 +256,10 @@ def get_or_load_claim_job(claim_label: str) -> KClaimJob: if claim_label not in labels_to_claim_jobs: if claim_label in labels_to_claims: claim = labels_to_claims[claim_label] - if f'{spec_module_name}.{claim_label}' in labels_to_claims: + elif f'{spec_module_name}.{claim_label}' in labels_to_claims: claim = labels_to_claims[f'{spec_module_name}.{claim_label}'] + else: + raise ValueError(f'Claim with label {claim_label} not found.') deps = frozenset({get_or_load_claim_job(dep_label) for dep_label in claim.dependencies}) claim_job = KClaimJob(claim, deps) labels_to_claim_jobs[claim_label] = claim_job @@ -329,7 +331,7 @@ def is_functional(claim: KClaim) -> bool: spec_module_name=spec_module, include_dirs=include_dirs, md_selector=md_selector, - claim_labels=None, + claim_labels=claim_labels, exclude_claim_labels=exclude_claim_labels, ) if all_claims is None: From 6392d2018e7a444340ca8fafbb78ee626107d319 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Oct 2023 01:15:33 +0000 Subject: [PATCH 07/15] Set Version: 1.0.310 --- package/version | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package/version b/package/version index 6b11d3af0e..c8d4d5a4ea 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.310 \ No newline at end of file +1.0.310 From 7446c6a9597cb3a992a27f47c8cae974838e2aa2 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 4 Oct 2023 01:05:58 +0000 Subject: [PATCH 08/15] Set Version: 1.0.312 --- 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 5060ea4b0d..70ee51903e 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.311" +version = "1.0.312" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 451f492103..fd9db9e29c 100644 --- 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.311' +VERSION: Final = '1.0.312' diff --git a/package/version b/package/version index 4c3a6df877..6c252d93e9 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.311 \ No newline at end of file +1.0.312 From 80fd6b8b40f6927a889e52398b2e82aa4a0ceaf5 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 7 Oct 2023 00:26:43 +0000 Subject: [PATCH 09/15] Set Version: 1.0.314 --- 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 0b52988504..88a4c15ced 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.313" +version = "1.0.314" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index aa7118da03..2e92eddbaa 100644 --- 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.313' +VERSION: Final = '1.0.314' diff --git a/package/version b/package/version index 9ccf7c7f2a..7681bff51e 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.313 \ No newline at end of file +1.0.314 From f4ba0509f0476f3ce833b6fc88d889d19ad617f0 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 26 Oct 2023 18:54:41 +0000 Subject: [PATCH 10/15] Set Version: 1.0.329 --- 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 40c7d6c01c..d6c08f3509 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.328" +version = "1.0.329" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 90c6120254..73295fdf0a 100644 --- 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.328' +VERSION: Final = '1.0.329' diff --git a/package/version b/package/version index 6300eb8079..fa8116d633 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.328 +1.0.329 From 4c5bb31f6dbf3dba37d9f18fbce66e49e6b1973f Mon Sep 17 00:00:00 2001 From: Noah Watson <107630091+nwatson22@users.noreply.github.com> Date: Fri, 27 Oct 2023 13:09:12 -0500 Subject: [PATCH 11/15] Update kevm-pyk/src/kevm_pyk/__main__.py MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com> --- kevm-pyk/src/kevm_pyk/__main__.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py index 66e06a3f81..f7d79eebbb 100644 --- a/kevm-pyk/src/kevm_pyk/__main__.py +++ b/kevm-pyk/src/kevm_pyk/__main__.py @@ -221,9 +221,7 @@ def digest(self) -> str: return hash_str(f'{claim_hash}{deps_digest}') def up_to_date(self, digest_file: Path | None) -> bool: - if digest_file is None: - return False - if not digest_file.exists(): + if not isinstance(digest_file, Path) or not digest_file.exists(): return False digest_dict = json.loads(digest_file.read_text()) if 'claims' not in digest_dict: From d007502429aa7e9b1a42442dc188a29d68e9313a Mon Sep 17 00:00:00 2001 From: Noah Watson Date: Fri, 27 Oct 2023 13:14:08 -0500 Subject: [PATCH 12/15] Fix formatting --- kevm-pyk/src/kevm_pyk/__main__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py index f7d79eebbb..a874f750b0 100644 --- a/kevm-pyk/src/kevm_pyk/__main__.py +++ b/kevm-pyk/src/kevm_pyk/__main__.py @@ -221,7 +221,7 @@ def digest(self) -> str: return hash_str(f'{claim_hash}{deps_digest}') def up_to_date(self, digest_file: Path | None) -> bool: - if not isinstance(digest_file, Path) or not digest_file.exists(): + if not isinstance(digest_file, Path) or not digest_file.exists(): return False digest_dict = json.loads(digest_file.read_text()) if 'claims' not in digest_dict: From faff6b4ba64614b036615704967433cebd296010 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 27 Oct 2023 22:42:50 +0000 Subject: [PATCH 13/15] Set Version: 1.0.330 --- 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 d6c08f3509..2e4e088d50 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.329" +version = "1.0.330" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 73295fdf0a..fc225b4d0c 100644 --- 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.329' +VERSION: Final = '1.0.330' diff --git a/package/version b/package/version index fa8116d633..4cb34c1ea2 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.329 +1.0.330 From 0703fe289b805855401b148ce485869b6735f1cc Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 30 Oct 2023 17:34:01 +0000 Subject: [PATCH 14/15] Set Version: 1.0.331 --- 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 2e4e088d50..5407bea892 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.330" +version = "1.0.331" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index fc225b4d0c..13a6abed14 100644 --- 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.330' +VERSION: Final = '1.0.331' diff --git a/package/version b/package/version index 4cb34c1ea2..4501612766 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.330 +1.0.331 From dded76efcc0a29cab99660a56d3a1a8f3d82c79f Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 30 Oct 2023 21:16:40 +0000 Subject: [PATCH 15/15] Set Version: 1.0.332 --- 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 004698ea67..3188c4b38d 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.331" +version = "1.0.332" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 13a6abed14..d0cab81dab 100644 --- 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.331' +VERSION: Final = '1.0.332' diff --git a/package/version b/package/version index 4501612766..51dda02714 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.331 +1.0.332