From f50e397a5c5e97ad4a134234875a1ff92fbad3db Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andrei=20V=C4=83caru?= <16517508+anvacaru@users.noreply.github.com> Date: Mon, 30 Oct 2023 16:02:25 +0200 Subject: [PATCH] Bump Solidity version in README links. (#2139) * bump soliditylang docs version in readme * Set Version: 1.0.328 * Set Version: 1.0.329 * Set Version: 1.0.330 --------- Co-authored-by: devops Co-authored-by: Palina Tolmach --- README.md | 4 ++-- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 0c9bac16f0..08414303d9 100644 --- a/README.md +++ b/README.md @@ -44,7 +44,7 @@ The following files constitute the KEVM semantics: These additional files extend the semantics to make the repository more useful: - [buf.md](kevm-pyk/src/kevm_pyk/kproj/evm-semantics/buf.md) defines the `#buf` byte-buffer abstraction for use during symbolic execution. -- [abi.md](kevm-pyk/src/kevm_pyk/kproj/evm-semantics/abi.md) defines the [Contract ABI Specification](https://docs.soliditylang.org/en/v0.8.1/abi-spec.html) for use in proofs and easy contract/function specification. +- [abi.md](kevm-pyk/src/kevm_pyk/kproj/evm-semantics/abi.md) defines the [Contract ABI Specification](https://docs.soliditylang.org/en/v0.8.22/abi-spec.html) for use in proofs and easy contract/function specification. - [hashed-locations.md](kevm-pyk/src/kevm_pyk/kproj/evm-semantics/hashed-locations.md) defines the `#hashedLocation` abstraction used to specify Solidity-generated storage layouts. - [edsl.md](kevm-pyk/src/kevm_pyk/kproj/evm-semantics/edsl.md) combines the previous three abstractions for ease-of-use. - [foundry.md](kevm-pyk/src/kevm_pyk/kproj/evm-semantics/foundry.md) adds Foundry capabilities to KEVM. @@ -370,7 +370,7 @@ Resources - [EVM Yellowpaper](https://github.com/ethereum/yellowpaper): Original specification of EVM. - [LEM Semantics of EVM](https://github.com/pirapira/eth-isabelle) - [EVM Opcode Interactive Reference](https://www.evm.codes/?fork=merge) -- [Solidity ABI Encoding](https://docs.soliditylang.org/en/v0.8.19/abi-spec.html) +- [Solidity ABI Encoding](https://docs.soliditylang.org/en/v0.8.22/abi-spec.html) For more information about the [K Framework], refer to these sources: 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