Release 0.8.30 - #151

Merged

CodeNinjaEvan merged 180 commits into

Aug 6, 2026

Commits on Mar 12, 2025

bump fmtlib to 11.1.4
clonker
committed
6738ce6
Set next version 0.8.30
matheusaaguiar
committed
363f1ae
Merge pull request #15927 from ethereum/setNextVersion
matheusaaguiar
authored
340ae32

Commits on Mar 13, 2025

release checklist: mention buildx as requirement for docker_deploy_manual
clonker
committed
c84cac8

Commits on Mar 14, 2025

Merge pull request #15930 from ethereum/mention-buildx-dep-in-release-checklist
clonker
authored
bf51113
Merge pull request #15931 from ethereum/bump-fmtlib
clonker
authored
f0fbb28
Minor spelling fix in external test runners base.py
vipocenka
authored
40a4d5d
Release checklist: Updates style

clonker
authored and
cameel
committed
d547bf2
Remove double backticks from CODING_STYLE.md
cameel
committed
70d344a
Merge pull request #15939 from ethereum/release_checklist_remove_double_backticks
cameel
authored
c8893ec

Commits on Mar 15, 2025

Name dependent CSE bug: Compare ASM only

clonker
authored and
cameel
committed
145e281
Merge pull request #15942 from ethereum/name_dependent_cse_bug_only_asm
cameel
authored
a652292

Commits on Mar 17, 2025

SSACFG Builder: Improve function call visitor
clonker
committed
74cd757

Commits on Mar 18, 2025

Merge pull request #15950 from ethereum/ssacfg_builder_improve_function_call_visitor
clonker
authored
9620f4f

Commits on Mar 19, 2025

SMTChecker: Fix analysis for selected contracts
Martin Blicha
committed
25463c5
Merge pull request #15880 from ethereum/smt-fix-contract-selection
Martin Blicha
authored
b53eba3
Yul Disambiguator: Don't check for builtins when translating identifiers

clonker
authored and
cameel
committed
f2c9eec

Commits on Mar 20, 2025

Merge pull request #15951 from ethereum/disambiguator_dont_check_for_builtin
clonker
authored
ad281dd
Peephole optimiser: Replace apply methods recursion by folding expression
clonker
committed
8f38f23
IRGeneratorForStatements does not check for builtin when mangling user identifiers

clonker
authored and
cameel
committed
098b854

Commits on Mar 21, 2025

Merge pull request #15952 from ethereum/remove_builtin_check_from_inline_asm_mangling
clonker
authored
4a93b2a
Merge pull request #15957 from ethereum/make-peephole-opt-more-opt-friendly
nikola-matic
authored
28982f1
AssemblyItem gets an optional instruction and the null-state is properly asserted
clonker
committed
08c9f53
Merge pull request #15934 from ethereum/default-initialize-instruction-in-assembly-item
clonker
authored
2536b14
SMTChecker: Fix string literal to fixed bytes conversion with user-defined type
Martin Blicha
committed
dd03613
Merge pull request #15963 from ethereum/smt-fix-string-to-bytes-conversion-with-custom-types
Martin Blicha
authored
d07c219
Update metadata docs for "libraries" and "compilationSettings" fields

kuzdogan
authored and
cameel
committed
d97d711
Update the metdata settings field to refer the rest of the settings to std-json

kuzdogan
authored and
cameel
committed
2e33f25
Remove "sorted" in std-json remappings docs

kuzdogan
authored and
cameel
committed
1f044c1
AsmAnalysis: Stronger use of fmt, refactor function call analysis

clonker
authored and
cameel
committed
1ccea41
AsmAnalysis: Improve wording of invalid argument for eofcreate/returncontract error

clonker
authored and
cameel
committed
b9cbf1e
Merge pull request #15895 from kuzdogan/update-metadata-docs
cameel
authored
cc58ab1
Merge pull request #15941 from ethereum/asm_analysis_fmt
clonker
authored
e134620
interpreter uses yul AST instead of separate block and dialect

clonker
authored and
cameel
committed
d1cbd8d
yulrun on AST

clonker
authored and
cameel
committed
8859625
ossfuzz uses yul AST instead of separate block and dialect

clonker
authored and
cameel
committed
dafe006

Commits on Mar 22, 2025

Merge pull request #15954 from ethereum/ossfuzz_use_ast_over_block
clonker
authored
6326b86

Commits on Mar 25, 2025

add repeats to external.sh
clonker
committed
77878e5

Commits on Mar 26, 2025

Merge pull request #15965 from ethereum/repeats_for_external_benchmarks
nikola-matic
authored
14fcd5d

Commits on Mar 27, 2025

fix: Remove unnecessary Expression temporary in CHCSmtLib2Interface

VolodymyrBg
authored and
cameel
committed
2ebafd3
Merge pull request #15967 from VolodymyrBg/vbg
cameel
authored
a04f946

Commits on Mar 28, 2025

SMTChecker: Move helper function towards its only usage
Martin Blicha
committed
a448921

Commits on Apr 2, 2025

Add support for enum values in NatSpec
nikola-matic
committed
5ea8f25
Docs
nikola-matic
committed
c4b454a

Commits on Apr 3, 2025

SMTChecker: Refactor processing invariants from the solver
Martin Blicha
committed
c608428
Merge pull request #15972 from ethereum/smt-refactor
Martin Blicha
authored
7a4ddb2

Commits on Apr 4, 2025

Merge pull request #15956 from ethereum/make-enums-available-in-natspec
nikola-matic
authored
949a52f

Commits on Apr 7, 2025

Commits on Apr 8, 2025

Merge pull request #15982 from ethereum/fix_macos_build
clonker
authored
6da61ca
Use pre-release version of sphinx-a4doc for python 3.13
clonker
committed
2cd97dc
relax sphinx version range to [2.1, 9)
clonker
committed
0a6cce5
require rtd theme < 3.0.0
clonker
committed
971ac4c
Merge pull request #15987 from ethereum/fix_docs
clonker
authored
55506a9
Add support for upcoming Boost 1.88.0

cho-m
authored and
clonker
committed
502ebaa
Remove Z3 from ppa scripts and add ubunutu plucky.
ekpyron
committed
334b768
Adjust release checklist.
ekpyron
committed
38810a3
Also drop libcvc4-dev and smtdependencies generally.
ekpyron
committed
fd2d543
Merge pull request #15976 from cho-m/support-boost-1.88.0
nikola-matic
authored
4f23c18

Commits on Apr 10, 2025

Language Server: Fix hover crashes on invalid parameters
henryhchchc
committed
e13c612

Commits on Apr 14, 2025

Remove disable pedantic mode switch for osx cmake 4.0.0 and clang 15.0.0
clonker
committed
1cd7045
osx ci: Install Boost to /opt/boost instead of /usr/local
clonker
committed
09715e6
Merge pull request #16005 from ethereum/soften_macos_pedantic_switch
clonker
authored
e1bf062
chore: remove redundant word in comment

closeobserve
authored and
clonker
committed
f1c3a2d
Merge pull request #16004 from closeobserve/closeobserve_feature
nikola-matic
authored
597e5a9
Merge pull request #15980 from henryhchchc/develop
nikola-matic
authored
08310eb
Update premium.sol

futreall
authored and
nikola-matic
committed
1706158
Update publisher.sol

futreall
authored and
nikola-matic
committed
a1be4f3
Merge pull request #15966 from futreall/develop
nikola-matic
authored
cc6a9cf

Commits on Apr 15, 2025

Merge pull request #15932 from ethereum/releasePPAScript
clonker
authored
db53ca5

Commits on Apr 16, 2025

Adding clarity on extcalls with precompiled contracts.

mattaereal
authored and
matheusaaguiar
committed
513535a
Update custom.css

Bilogweb3
authored and
matheusaaguiar
committed
8b85d14
Update events.rst

PixelPil0t1
authored and
matheusaaguiar
committed
eda68d5
Update calling_nonexisting_contract.sol

argentpapa
authored and
matheusaaguiar
committed
feed69b
docs: Fix grammar in workflow trigger condition

voronor
authored and
matheusaaguiar
committed
ba3fd65
Merge pull request #14931 from mattaereal/develop
matheusaaguiar
authored
27f915c
Update ControlFlowGraphBuilder.h

eeemmmmmm
authored and
matheusaaguiar
committed
ab77b34
Merge pull request #15891 from Bilogweb3/develop
matheusaaguiar
authored
7fee102
Replace temporary std::string with std::string_view in _yulname literal to avoid unnecessary allocations

ferranmesas@gmx.es
authored and
matheusaaguiar
committed
10b21b8
Merge pull request #15924 from PixelPil0t1/patch-1
matheusaaguiar
authored
da51fe4
Merge pull request #15897 from argentpapa/develop
matheusaaguiar
authored
0c28f4a
Merge pull request #15827 from voronor/patch-2
matheusaaguiar
authored
f5134df
Fix typo in test script comments

NeoByteXx
authored and
matheusaaguiar
committed
771d805
Merge pull request #15890 from eeemmmmmm/patch-2
matheusaaguiar
authored
687ad65
Merge pull request #15904 from Ferran969/improve-yulname-literal
matheusaaguiar
authored
7d1dfa3
Merge pull request #15885 from NeoByteXx/develop
matheusaaguiar
authored
0881d62

Commits on Apr 17, 2025

fix minor issues

sky-coderay
authored and
matheusaaguiar
committed
d22a070
Merge pull request #15940 from sky-coderay/develop
matheusaaguiar
authored
8cf3305

Commits on Apr 22, 2025

change into test dir for cmdline tests
clonker
committed
02d2c9a
update test expectations with cwd being in test dir
clonker
committed
2fa170e
Merge pull request #15996 from ethereum/cmdlineTests_go_to_test_dir
clonker
authored
2ab62d7
SMTChecker: Refactor handling of ConstantCondition verification target
Martin Blicha
committed
880b61b
SMTChecker: Loop conditions should be analyzed as in loop context in BMC
Martin Blicha
committed
d9083dc

Commits on Apr 23, 2025

Merge pull request #15862 from ethereum/smt-fix-loops-in-bmc
Martin Blicha
authored
8caf354
SMTChecker: Clean up includes
Martin Blicha
committed
b1a9031
SMTChecker: Remove unused functionality
Martin Blicha
committed
629bb28
Merge pull request #16019 from ethereum/smt-more-refactoring
Martin Blicha
authored
7526fbc
docs: fixed a mismatch in the name of the function referenced in the micropayment example
ryabykhms
committed
ae3da8c
Merge pull request #15473 from ryabykhms/docs-example-issue
matheusaaguiar
authored
5baa791
EVMAssemblyStack: Add extra accessors that do not require contract name
cameel
committed
fe74111
TestCaseReader: Expose fileName()
cameel
committed
dd01ddd
Add a transparent comparator to c_instructions to allow string_view lookups
cameel
committed
d3238c0
EVM assembly test case with JSON input
cameel
committed
266c7d4
Support human-readable assembly in EVM assembly test case
cameel
committed
fe39551
Merge pull request #16012 from ethereum/evmasm-test-case
cameel
authored
6d62ea0

Commits on Apr 24, 2025

Commits on Apr 26, 2025

Update SMTPortfolio.cpp
gap-editor
authored
649c8ee

Commits on Apr 28, 2025

Update SMTPortfolio.cpp
gap-editor
authored
76e8016
Merge pull request #16025 from gap-editor/1
Martin Blicha
authored
b136829

Commits on May 6, 2025

PlainAssemblyParser: Store the stream globally in the class
cameel
committed
09fc1d4
PlainAssemblyParser: Syntax for subassemblies
cameel
committed
73af652
PlainAssemblyParser: Support pushing assembly sizes and offsets
cameel
committed
202933b
Merge pull request #16021 from ethereum/subassemblies-in-evm-assembly-tests
cameel
authored
d77affb
Assembly item asserts that it's not implicity constructed by instruction for swapn/dupn

clonker
authored and
cameel
committed
78107e3
Merge pull request #16026 from ethereum/assert_swapn_dupn_in_assemblyitem
clonker
authored
d0bae61
Set prague as EVM default version
matheusaaguiar
committed
49c2e55
bump hardhat version
matheusaaguiar
committed
ca699f9
Increase resource for uniswap ext test
matheusaaguiar
committed
24d534f
Workaround for openzepellin ext test
matheusaaguiar
committed
13d734f

Commits on May 7, 2025

Commits on Jul 15, 2026

Commits on Jul 23, 2026

legacy: Fix handling of storage array boundaries (deletion, cleanup, and copy)

authored and
yanghang8612
committed
64ca6a0
via-ir: Fix handling of storage array boundaries (deletion and cleanup)

authored and
yanghang8612
committed
321f515
Add test for arrays at storage boundaries and extend coverage of legacy and via-ir on deletion, partial assigments and copy

authored and
yanghang8612
committed
28c6c02
Test cases

nikola-matic
authored and
yanghang8612
committed
3e46de9
Fix transient/storage collision when deleting

nikola-matic
authored and
yanghang8612
committed
06cf704
Move TarjanSCC from libyul to libsolutil

clonker
authored and
yanghang8612
committed
74d96d4
Add Yul AST call graph recursion tests

clonker
authored and
yanghang8612
committed
b5f59ce
Add tests reproducing spurious memory spilling

clonker
authored and
yanghang8612
committed
c16578d
Fix call graph cycle detection for intersecting recursive cycles

clonker
authored and
yanghang8612
committed
9b997d0
Tests: Add tests demonstrating incorrect behaviour

blishko
authored and
yanghang8612
committed
fb4726d
Analysis: Fix unintentional reversing of linearized based contracts

blishko
authored and
yanghang8612
committed
500d51c
Add disambiguator prerequisite to call graph generator

clonker
authored and
yanghang8612
committed
3d567ea
Call graph test: output the whole call graph

clonker
authored and
yanghang8612
committed
e169072
Add `resolveFunctionName` overload dealing with instances of `FunctionHandle` to utilities

clonker
authored and
yanghang8612
committed
0758b9e
Yul: Call graph generator asserts that builtins are never recursive

clonker
authored and
yanghang8612
committed
28cc279
Yul: Call graph generator raises proper exception if input is not disambiguated

clonker
authored and
yanghang8612
committed
4adcd1a
tests: adapt security backports to TRON 0.8.30
yanghang8612
committed
6fa5691
Merge pull request #142 from yanghang8612/backport/sol-2025-1-to-sol-2026-3-0830
CodeNinjaEvan
authored
6383d6b
ci: sync GitHub build images with CircleCI
yanghang8612
committed
918c6e6
ci: add Linux ARM64 release binary
yanghang8612
committed
82ee920
ci: build release compiler targets only
yanghang8612
committed
121a4b7
ci: migrate binary builds to GitHub-hosted runners
yanghang8612
committed
4d99274
ci: fix S3 artifact handoff
yanghang8612
committed
470c8d5
ci: use production S3 bucket for uploads
yanghang8612
committed
8d58f5a
Merge pull request #143 from yanghang8612/backport/ci-pipeline-updates-0830
CodeNinjaEvan
authored
71a5e5b

Commits on Jul 24, 2026

Commits on Jul 28, 2026

Commits on Jul 29, 2026

Commits on Jul 30, 2026

Commits on Jul 31, 2026

Merge pull request #150 from yanghang8612/fix/release-0.8.30-smt-json-gasmeter-hardening
CodeNinjaEvan
authored
5df9713