Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
180 commits
Select commit Hold shift + click to select a range
6738ce6
bump fmtlib to 11.1.4
clonker Mar 12, 2025
363f1ae
Set next version 0.8.30
matheusaaguiar Mar 11, 2025
340ae32
Merge pull request #15927 from ethereum/setNextVersion
matheusaaguiar Mar 12, 2025
c84cac8
release checklist: mention buildx as requirement for docker_deploy_ma…
clonker Mar 12, 2025
bf51113
Merge pull request #15930 from ethereum/mention-buildx-dep-in-release…
clonker Mar 14, 2025
f0fbb28
Merge pull request #15931 from ethereum/bump-fmtlib
clonker Mar 14, 2025
40a4d5d
Minor spelling fix in external test runners base.py
vipocenka Mar 14, 2025
d547bf2
Release checklist: Updates style
clonker Mar 14, 2025
70d344a
Remove double backticks from CODING_STYLE.md
cameel Mar 14, 2025
c8893ec
Merge pull request #15939 from ethereum/release_checklist_remove_doub…
cameel Mar 14, 2025
145e281
Name dependent CSE bug: Compare ASM only
clonker Mar 12, 2025
a652292
Merge pull request #15942 from ethereum/name_dependent_cse_bug_only_asm
cameel Mar 15, 2025
74cd757
SSACFG Builder: Improve function call visitor
clonker Mar 17, 2025
9620f4f
Merge pull request #15950 from ethereum/ssacfg_builder_improve_functi…
clonker Mar 18, 2025
25463c5
SMTChecker: Fix analysis for selected contracts
Feb 14, 2025
b53eba3
Merge pull request #15880 from ethereum/smt-fix-contract-selection
Mar 19, 2025
f2c9eec
Yul Disambiguator: Don't check for builtins when translating identifiers
clonker Mar 17, 2025
ad281dd
Merge pull request #15951 from ethereum/disambiguator_dont_check_for_…
clonker Mar 20, 2025
8f38f23
Peephole optimiser: Replace apply methods recursion by folding expres…
clonker Mar 19, 2025
098b854
IRGeneratorForStatements does not check for builtin when mangling use…
clonker Mar 17, 2025
4a93b2a
Merge pull request #15952 from ethereum/remove_builtin_check_from_inl…
clonker Mar 21, 2025
28982f1
Merge pull request #15957 from ethereum/make-peephole-opt-more-opt-fr…
nikola-matic Mar 21, 2025
08c9f53
AssemblyItem gets an optional instruction and the null-state is prope…
clonker Mar 12, 2025
2536b14
Merge pull request #15934 from ethereum/default-initialize-instructio…
clonker Mar 21, 2025
dd03613
SMTChecker: Fix string literal to fixed bytes conversion with user-de…
Mar 20, 2025
d07c219
Merge pull request #15963 from ethereum/smt-fix-string-to-bytes-conve…
Mar 21, 2025
d97d711
Update metadata docs for "libraries" and "compilationSettings" fields
kuzdogan Feb 26, 2025
2e33f25
Update the metdata settings field to refer the rest of the settings t…
kuzdogan Feb 26, 2025
1f044c1
Remove "sorted" in std-json remappings docs
kuzdogan Mar 20, 2025
1ccea41
AsmAnalysis: Stronger use of fmt, refactor function call analysis
clonker Mar 14, 2025
b9cbf1e
AsmAnalysis: Improve wording of invalid argument for eofcreate/return…
clonker Mar 21, 2025
cc58ab1
Merge pull request #15895 from kuzdogan/update-metadata-docs
cameel Mar 21, 2025
e134620
Merge pull request #15941 from ethereum/asm_analysis_fmt
clonker Mar 21, 2025
d1cbd8d
interpreter uses yul AST instead of separate block and dialect
clonker Mar 17, 2025
8859625
yulrun on AST
clonker Mar 17, 2025
dafe006
ossfuzz uses yul AST instead of separate block and dialect
clonker Mar 17, 2025
6326b86
Merge pull request #15954 from ethereum/ossfuzz_use_ast_over_block
clonker Mar 22, 2025
77878e5
add repeats to external.sh
clonker Mar 14, 2025
14fcd5d
Merge pull request #15965 from ethereum/repeats_for_external_benchmarks
nikola-matic Mar 26, 2025
2ebafd3
fix: Remove unnecessary Expression temporary in CHCSmtLib2Interface
VolodymyrBg Mar 25, 2025
a04f946
Merge pull request #15967 from VolodymyrBg/vbg
cameel Mar 27, 2025
a448921
SMTChecker: Move helper function towards its only usage
Mar 28, 2025
5ea8f25
Add support for enum values in NatSpec
nikola-matic Mar 19, 2025
c4b454a
Docs
nikola-matic Apr 2, 2025
c608428
SMTChecker: Refactor processing invariants from the solver
Mar 28, 2025
7a4ddb2
Merge pull request #15972 from ethereum/smt-refactor
Apr 3, 2025
949a52f
Merge pull request #15956 from ethereum/make-enums-available-in-natspec
nikola-matic Apr 4, 2025
dbd5521
remove install of obsolete jsoncpp
clonker Apr 4, 2025
f323bd4
cmake: use boost include dirs and version in status message
clonker Apr 4, 2025
e6d5699
set CMP0167 to OLD behavior for boost versions < 1.70
clonker Apr 4, 2025
4c23d04
Disable pedantic compilation for CMake 4.0.0 and AppleClang 15.0
clonker Apr 7, 2025
6da61ca
Merge pull request #15982 from ethereum/fix_macos_build
clonker Apr 8, 2025
2cd97dc
Use pre-release version of sphinx-a4doc for python 3.13
clonker Apr 8, 2025
0a6cce5
relax sphinx version range to [2.1, 9)
clonker Apr 8, 2025
971ac4c
require rtd theme < 3.0.0
clonker Apr 8, 2025
55506a9
Merge pull request #15987 from ethereum/fix_docs
clonker Apr 8, 2025
502ebaa
Add support for upcoming Boost 1.88.0
cho-m Mar 31, 2025
334b768
Remove Z3 from ppa scripts and add ubunutu plucky.
ekpyron Mar 12, 2025
38810a3
Adjust release checklist.
ekpyron Apr 8, 2025
fd2d543
Also drop libcvc4-dev and smtdependencies generally.
ekpyron Apr 8, 2025
4f23c18
Merge pull request #15976 from cho-m/support-boost-1.88.0
nikola-matic Apr 8, 2025
e13c612
Language Server: Fix hover crashes on invalid parameters
henryhchchc Apr 4, 2025
1cd7045
Remove disable pedantic mode switch for osx cmake 4.0.0 and clang 15.0.0
clonker Apr 14, 2025
09715e6
osx ci: Install Boost to /opt/boost instead of /usr/local
clonker Apr 14, 2025
e1bf062
Merge pull request #16005 from ethereum/soften_macos_pedantic_switch
clonker Apr 14, 2025
f1c3a2d
chore: remove redundant word in comment
closeobserve Apr 13, 2025
597e5a9
Merge pull request #16004 from closeobserve/closeobserve_feature
nikola-matic Apr 14, 2025
08310eb
Merge pull request #15980 from henryhchchc/develop
nikola-matic Apr 14, 2025
1706158
Update premium.sol
futreall Mar 25, 2025
a1be4f3
Update publisher.sol
futreall Mar 25, 2025
cc6a9cf
Merge pull request #15966 from futreall/develop
nikola-matic Apr 14, 2025
db53ca5
Merge pull request #15932 from ethereum/releasePPAScript
clonker Apr 15, 2025
513535a
Adding clarity on extcalls with precompiled contracts.
mattaereal Mar 8, 2024
8b85d14
Update custom.css
Bilogweb3 Feb 26, 2025
eda68d5
Update events.rst
PixelPil0t1 Mar 11, 2025
feed69b
Update calling_nonexisting_contract.sol
argentpapa Feb 27, 2025
ba3fd65
docs: Fix grammar in workflow trigger condition
voronor Feb 4, 2025
27f915c
Merge pull request #14931 from mattaereal/develop
matheusaaguiar Apr 16, 2025
ab77b34
Update ControlFlowGraphBuilder.h
eeemmmmmm Feb 26, 2025
7fee102
Merge pull request #15891 from Bilogweb3/develop
matheusaaguiar Apr 16, 2025
10b21b8
Replace temporary std::string with std::string_view in _yulname liter…
Feb 28, 2025
da51fe4
Merge pull request #15924 from PixelPil0t1/patch-1
matheusaaguiar Apr 16, 2025
0c28f4a
Merge pull request #15897 from argentpapa/develop
matheusaaguiar Apr 16, 2025
f5134df
Merge pull request #15827 from voronor/patch-2
matheusaaguiar Apr 16, 2025
771d805
Fix typo in test script comments
NeoByteXx Feb 22, 2025
687ad65
Merge pull request #15890 from eeemmmmmm/patch-2
matheusaaguiar Apr 16, 2025
7d1dfa3
Merge pull request #15904 from Ferran969/improve-yulname-literal
matheusaaguiar Apr 16, 2025
0881d62
Merge pull request #15885 from NeoByteXx/develop
matheusaaguiar Apr 16, 2025
d22a070
fix minor issues
sky-coderay Mar 14, 2025
8cf3305
Merge pull request #15940 from sky-coderay/develop
matheusaaguiar Apr 17, 2025
02d2c9a
change into test dir for cmdline tests
clonker Apr 9, 2025
2fa170e
update test expectations with cwd being in test dir
clonker Apr 10, 2025
2ab62d7
Merge pull request #15996 from ethereum/cmdlineTests_go_to_test_dir
clonker Apr 22, 2025
880b61b
SMTChecker: Refactor handling of ConstantCondition verification target
Feb 13, 2025
d9083dc
SMTChecker: Loop conditions should be analyzed as in loop context in BMC
Mar 21, 2025
8caf354
Merge pull request #15862 from ethereum/smt-fix-loops-in-bmc
Apr 23, 2025
b1a9031
SMTChecker: Clean up includes
Mar 29, 2025
629bb28
SMTChecker: Remove unused functionality
Mar 29, 2025
7526fbc
Merge pull request #16019 from ethereum/smt-more-refactoring
Apr 23, 2025
ae3da8c
docs: fixed a mismatch in the name of the function referenced in the …
ryabykhms Oct 2, 2024
5baa791
Merge pull request #15473 from ryabykhms/docs-example-issue
matheusaaguiar Apr 23, 2025
fe74111
EVMAssemblyStack: Add extra accessors that do not require contract name
cameel Apr 16, 2025
dd01ddd
TestCaseReader: Expose fileName()
cameel Mar 14, 2025
d3238c0
Add a transparent comparator to c_instructions to allow string_view l…
cameel Apr 19, 2025
266c7d4
EVM assembly test case with JSON input
cameel Mar 14, 2025
fe39551
Support human-readable assembly in EVM assembly test case
cameel Apr 18, 2025
6d62ea0
Merge pull request #16012 from ethereum/evmasm-test-case
cameel Apr 23, 2025
975ee13
eof: Enable peephole optimizer for EOF.
rodiazet Apr 9, 2025
03fde2a
eof: Add peephole optimiser tests for EOF specific optimisations
rodiazet Apr 23, 2025
4c4860b
Merge pull request #15991 from ipsilon/enable-peephole-optimiser
cameel Apr 24, 2025
649c8ee
Update SMTPortfolio.cpp
gap-editor Apr 26, 2025
76e8016
Update SMTPortfolio.cpp
gap-editor Apr 28, 2025
b136829
Merge pull request #16025 from gap-editor/1
Apr 28, 2025
09fc1d4
PlainAssemblyParser: Store the stream globally in the class
cameel Apr 25, 2025
73af652
PlainAssemblyParser: Syntax for subassemblies
cameel Apr 25, 2025
202933b
PlainAssemblyParser: Support pushing assembly sizes and offsets
cameel Apr 25, 2025
d77affb
Merge pull request #16021 from ethereum/subassemblies-in-evm-assembly…
cameel May 6, 2025
78107e3
Assembly item asserts that it's not implicity constructed by instruct…
clonker Apr 27, 2025
d0bae61
Merge pull request #16026 from ethereum/assert_swapn_dupn_in_assembly…
clonker May 6, 2025
49c2e55
Set prague as EVM default version
matheusaaguiar Apr 28, 2025
ca699f9
bump hardhat version
matheusaaguiar May 6, 2025
24d534f
Increase resource for uniswap ext test
matheusaaguiar May 6, 2025
13d734f
Workaround for openzepellin ext test
matheusaaguiar May 6, 2025
b53d23a
Merge pull request #16030 from ethereum/makePragueDefaultEVMVersion
matheusaaguiar May 7, 2025
1e6842c
Fix broken docs links
nikola-matic May 7, 2025
3bd783d
Merge pull request #16033 from ethereum/fix-docs-links
nikola-matic May 7, 2025
1c8d401
Set changelog release date
nikola-matic May 7, 2025
73712a0
Merge pull request #16035 from ethereum/set-release-date-for-0-8-30
nikola-matic May 7, 2025
ddd0776
Merge tag 'v0.8.30' into release_0.8.30
yanghang8612 Jul 15, 2026
d87914d
Merge pull request #132 from yanghang8612/merge_from_v0.8.30
CodeNinjaEvan Jul 15, 2026
64ca6a0
legacy: Fix handling of storage array boundaries (deletion, cleanup, …
r0qs Dec 17, 2025
321f515
via-ir: Fix handling of storage array boundaries (deletion and cleanup)
r0qs Dec 17, 2025
28c6c02
Add test for arrays at storage boundaries and extend coverage of lega…
r0qs Dec 17, 2025
3e46de9
Test cases
nikola-matic Feb 12, 2026
06cf704
Fix transient/storage collision when deleting
nikola-matic Feb 12, 2026
74d96d4
Move TarjanSCC from libyul to libsolutil
clonker Jun 22, 2026
b5f59ce
Add Yul AST call graph recursion tests
clonker Jun 22, 2026
c16578d
Add tests reproducing spurious memory spilling
clonker Jun 20, 2026
9b997d0
Fix call graph cycle detection for intersecting recursive cycles
clonker Jun 20, 2026
fb4726d
Tests: Add tests demonstrating incorrect behaviour
blishko Jun 29, 2026
500d51c
Analysis: Fix unintentional reversing of linearized based contracts
blishko Jun 29, 2026
3d567ea
Add disambiguator prerequisite to call graph generator
clonker Jun 29, 2026
e169072
Call graph test: output the whole call graph
clonker Jun 29, 2026
0758b9e
Add `resolveFunctionName` overload dealing with instances of `Functio…
clonker Jul 6, 2026
28cc279
Yul: Call graph generator asserts that builtins are never recursive
clonker Jul 6, 2026
4adcd1a
Yul: Call graph generator raises proper exception if input is not dis…
clonker Jul 6, 2026
6fa5691
tests: adapt security backports to TRON 0.8.30
yanghang8612 Jul 16, 2026
6383d6b
Merge pull request #142 from yanghang8612/backport/sol-2025-1-to-sol-…
CodeNinjaEvan Jul 23, 2026
918c6e6
ci: sync GitHub build images with CircleCI
yanghang8612 Jul 16, 2026
82ee920
ci: add Linux ARM64 release binary
yanghang8612 Jul 21, 2026
121a4b7
ci: build release compiler targets only
yanghang8612 Jul 21, 2026
4d99274
ci: migrate binary builds to GitHub-hosted runners
yanghang8612 Jul 22, 2026
470c8d5
ci: fix S3 artifact handoff
yanghang8612 Jul 22, 2026
8d58f5a
ci: use production S3 bucket for uploads
yanghang8612 Jul 22, 2026
71a5e5b
Merge pull request #143 from yanghang8612/backport/ci-pipeline-update…
CodeNinjaEvan Jul 23, 2026
0865432
ci: isolate S3 upload workspace
yanghang8612 Jul 24, 2026
b520850
Merge pull request #144 from yanghang8612/ci/isolate-s3-upload-workspace
CodeNinjaEvan Jul 24, 2026
fd76019
fix(evmasm): align gas estimates with TVM pricing
yanghang8612 Jul 28, 2026
8e73550
fix(codegen): use TVM call price in gasNeededByCaller
yanghang8612 Jul 28, 2026
f8949f5
refactor(evmasm): clarify TVM gas constant names
yanghang8612 Jul 28, 2026
f024f31
Merge pull request #145 from yanghang8612/fix/release-0.8.30-gasmeter…
CodeNinjaEvan Jul 28, 2026
121cd1b
fix: gate experimental and unsupported VM targets
yanghang8612 Jul 28, 2026
acb4608
fix: align TRON builtin semantics across backends
yanghang8612 Jul 28, 2026
5ff386e
chore(codegen): assert TRON builtin arities
yanghang8612 Jul 28, 2026
447974f
fix(abi): restrict TRON address prefixes
yanghang8612 Jul 28, 2026
906913f
fix(smt): havoc TRON state effects conservatively
yanghang8612 Jul 28, 2026
c2bf788
fix: preserve TRON target compatibility
yanghang8612 Jul 28, 2026
d187263
fix: keep Standard JSON viaIR behavior unchanged
yanghang8612 Jul 28, 2026
a7ec301
Merge pull request #146 from yanghang8612/fix/release-0.8.30-runtime-…
CodeNinjaEvan Jul 28, 2026
65b4dfd
fix: clarify TRON builtin parameter names
yanghang8612 Jul 28, 2026
aad81d3
Merge pull request #147 from yanghang8612/fix/release-0.8.30-abi-api-…
CodeNinjaEvan Jul 28, 2026
a297925
fix: harden compiler and regression inputs
yanghang8612 Jul 28, 2026
8072fcf
fix(lsp): avoid scanning the filesystem root
yanghang8612 Jul 28, 2026
70623ec
Merge pull request #148 from yanghang8612/fix/release-0.8.30-input-pa…
CodeNinjaEvan Jul 28, 2026
4b81144
docs: fix bug metadata for TRON 0.8.30 security backports
yanghang8612 Jul 29, 2026
174578f
fix: reject Ethereum units in AST imports
yanghang8612 Jul 29, 2026
b965108
Merge pull request #149 from yanghang8612/fix/release-0.8.30-bugs-doc…
CodeNinjaEvan Jul 29, 2026
0d4fe48
fix: harden SMT, JSON input, and TVM gas estimation
yanghang8612 Jul 30, 2026
364cfd3
fix: align SMT library constraints and JSON validation
yanghang8612 Jul 30, 2026
5df9713
Merge pull request #150 from yanghang8612/fix/release-0.8.30-smt-json…
CodeNinjaEvan Jul 31, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
13 changes: 10 additions & 3 deletions .circleci/config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ parameters:
default: "solbuildpackpusher/solidity-buildpack-deps@sha256:98f963ed799a0d206ef8e7b5475f847e0dea53b7fdea9618bbc6106a62730bd2"
evm-version:
type: string
default: cancun
default: prague

orbs:
win: circleci/windows@2.2.0
Expand Down Expand Up @@ -385,7 +385,7 @@ commands:
name: Installing dependencies / Restoring dependency cache
command: |
if [[ -f ~/osx-dependencies-cached ]]; then
echo "Dependency flag exists. Removing /usr/local/ and /opt/homebrew/. These directories will be restored from cache."
echo "Dependency flag exists. Removing /usr/local/, /opt/homebrew/, and /opt/boost. These directories will be restored from cache."

# CircleCI is providing the circleci cli tools via some kind of symlink magic.
# So we just save the original symlinks and restore them later.
Expand All @@ -405,6 +405,10 @@ commands:
sudo mkdir -p /usr/local/bin
sudo chmod 777 /usr/{local,local/bin}

sudo rm -rf /opt/boost
sudo mkdir -p /opt/boost
sudo chmod 777 /opt/boost

mv /tmp/circleci "${circleci_binary_path}"
mv /tmp/circleci-agent "${circleci_agent_binary_path}"
fi
Expand All @@ -425,6 +429,7 @@ commands:
# Homebrew is installed in /usr/local on intel macs, but in /opt/homebrew on apple silicon.
- /usr/local
- /opt/homebrew
- /opt/boost
- save_cache:
key: osx-dependencies-cached-{{ arch }}-{{ checksum ".circleci/osx_install_dependencies.sh" }}
paths:
Expand Down Expand Up @@ -835,6 +840,7 @@ defaults:
project: uniswap
binary_type: native
image: cimg/node:18.16
resource_class: medium # Tests run out of memory on a smaller machine

- job_native_test_ext_prb_math: &job_native_test_ext_prb_math
<<: *requires_b_ubu_static
Expand Down Expand Up @@ -1168,7 +1174,8 @@ jobs:
environment:
<<: *base_osx_env
CMAKE_BUILD_TYPE: Release
CMAKE_OPTIONS: -DCMAKE_OSX_ARCHITECTURES:STRING=x86_64;arm64
# boost root configured to the prefix used in `osx_install_dependencies.sh`
CMAKE_OPTIONS: -DCMAKE_OSX_ARCHITECTURES:STRING=x86_64;arm64 -DBoost_ROOT=/opt/boost
steps:
- checkout
- install_dependencies_osx
Expand Down
6 changes: 2 additions & 4 deletions .circleci/osx_install_dependencies.sh
Original file line number Diff line number Diff line change
Expand Up @@ -59,9 +59,6 @@ then
brew install openjdk@11
brew install unzip

# writing to /usr/local/lib need administrative privileges.
sudo ./scripts/install_obsolete_jsoncpp_1_7_4.sh

# boost
boost_version="1.84.0"
boost_package="boost_${boost_version//./_}.tar.bz2"
Expand All @@ -72,7 +69,8 @@ then
cd "$boost_dir"
./bootstrap.sh --with-toolset=clang --with-libraries=thread,system,filesystem,program_options,serialization,test
# the default number of jobs that b2 is taking, is the number of detected available CPU threads.
sudo ./b2 -a address-model=64 architecture=arm+x86 install
# install boost to /opt/boost, to use it in CMake, specify Boost_ROOT
sudo ./b2 -a address-model=64 architecture=arm+x86 --prefix=/opt/boost install
cd ..
sudo rm -rf "$boost_dir"

Expand Down
2 changes: 1 addition & 1 deletion .circleci/soltest_all.sh
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ EVMS_WITH_EOF=(osaka)
# set EVM_VALUES to the default values.
IFS=" " read -ra EVM_VALUES <<< "${1:-${DEFAULT_EVM_VALUES[@]}}"

DEFAULT_EVM=cancun
DEFAULT_EVM=prague
OPTIMIZE_VALUES=(0 1)
EOF_VERSIONS=(0)

Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,6 @@ mkdir -p build
cd build

# shellcheck disable=SC2086
cmake .. -DCMAKE_BUILD_TYPE="${CMAKE_BUILD_TYPE:-Release}" $CMAKE_OPTIONS -G "Unix Makefiles"
cmake .. -DCMAKE_BUILD_TYPE="${CMAKE_BUILD_TYPE:-Release}" -DTESTS=OFF $CMAKE_OPTIONS -G "Unix Makefiles"

make
make solc
Loading