Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
695 commits
Select commit Hold shift + click to select a range
a379310
Add ssa shuffler tests that run into stack too deep
clonker Apr 7, 2026
1993ed6
Merge pull request #16580 from argotorg/ssa-shuffler-status-return
clonker Apr 8, 2026
26d6ef1
SSA: Remove unnecessary shuffling logic
blishko Apr 11, 2026
cc58705
Merge pull request #16591 from argotorg/ssa-remove-unnecessary-logic
blishko Apr 13, 2026
47c8361
SSA: Fix cycle in stack shuffler
blishko Apr 14, 2026
28d6217
Merge pull request #16595 from argotorg/fix-cycling-shuffler
blishko Apr 15, 2026
65d9215
SSA: Use ranges::contains to be more concise
blishko Apr 15, 2026
1d08014
SSA: Only allow values in requested live variables
blishko Apr 15, 2026
6b61167
SSA: More controlled stack growing in shuffler
blishko Apr 16, 2026
30984b1
Merge pull request #16603 from argotorg/ssa-fix-shuffler-cycling
blishko Apr 16, 2026
5b79872
Adding stack shuffler loop bug (#16605)
msooseth Apr 16, 2026
476ee89
in the ssa shuffler fix args slot, when offset is already top no swap…
clonker Apr 16, 2026
3510e26
Merge pull request #16607 from argotorg/fix-ssa-cfg-shuffler-cycle
clonker Apr 17, 2026
d4b07e4
Add oscillating test to shuffler tests
clonker Apr 17, 2026
13c7d66
SSA shuffler: Tighten condition under which a slot is duped up in fix…
clonker Apr 17, 2026
ac9c70d
Merge pull request #16608 from argotorg/ssa-shuffler-fix-oscillation
clonker Apr 17, 2026
2a55ec6
Make ethdebug inputs/outputs consistent
nikola-matic Mar 30, 2026
d3444c2
Docs
nikola-matic Apr 6, 2026
32a5a84
Changelog
nikola-matic Apr 17, 2026
9be6619
Merge pull request #16565 from argotorg/make-ethdebug-consistent-with…
nikola-matic Apr 17, 2026
b898e0c
ssa shuffler: add tests where the stack has to grow by one by pulling…
clonker Apr 18, 2026
d0192f4
ssa shuffler: allNecessarySlotsReachableOrFinal ignores junk in targe…
clonker Apr 18, 2026
2282b93
Merge pull request #16609 from argotorg/ssa-shuffler-all-necessary-sl…
clonker Apr 19, 2026
3f0569c
Merge pull request #16602 from argotorg/ssa-strengthen-shuffler-requi…
blishko Apr 20, 2026
d06a870
ssa cfg shuffler: refactor `shrinkStack` to use priority score
clonker Apr 20, 2026
0a50dbe
SSA CFG: Add shuffler test that runs into stack too deep although it …
clonker Apr 20, 2026
852b3ae
ssa cfg shuffler: extend `shrinkStack` capabilities by allowing to po…
clonker Apr 20, 2026
988c3d2
ssa cfg shuffler: add special case to fixArgsSlot that can move an al…
clonker Apr 20, 2026
dc50cbe
ssa cfg shuffler: fix allNecessarySlotsReachableOrFinal to handle out…
clonker Apr 20, 2026
8bd669e
Merge pull request #16623 from argotorg/ssa-cfg-fix-spurious-stack-to…
clonker Apr 20, 2026
34efa01
Remove `annotation` variable.
rodiazet Apr 20, 2026
331d4da
Rename `exprType -> owningObjectType`.
rodiazet Apr 20, 2026
18307c0
Rename `initialMemberCount -> possibleMemberCountBeforeOverloading`.
rodiazet Apr 20, 2026
77cbe1d
Change messages strings to raw strings.
rodiazet Apr 20, 2026
697262f
Remove unnecessary includes.
rodiazet Apr 20, 2026
42a81f9
Extract self-contained code fragments to functions `resolveOverloads`…
rodiazet Apr 20, 2026
1d47c3c
Extract self-contained code fragments to function `checkAccessedMembe…
rodiazet Apr 20, 2026
e903693
Reorg owning object type category handling into switch statement.
rodiazet Apr 20, 2026
748f1ac
Fix O(n²) in VarNameCleaner::findCleanName using per-base-name counte…
msooseth Apr 20, 2026
e10eb96
Merge pull request #16448 from argotorg/type-checker-member-access-re…
rodiazet Apr 20, 2026
99ff173
Adapt ssa stack shuffler to be able to deal with spill set
clonker Apr 8, 2026
f9af4a0
findOptimalTargetSize pretends to do stack spilling
clonker Apr 8, 2026
af7d851
add stack spilling tests to ssa stack shuffler tests
clonker Apr 15, 2026
a4d3b4d
ssa cfg stack shuffler test: fix visualization issue when the entire …
clonker Apr 21, 2026
61ab9a2
Merge pull request #16599 from argotorg/ssa-cfg-avoid-spilling
clonker Apr 21, 2026
3171c73
ssa cfg: remove literal assignments
clonker Apr 21, 2026
e6bfd0f
Merge pull request #16632 from argotorg/ssa-cfg-instruction-value-uni…
clonker Apr 21, 2026
454215a
SSA: Add test case with suboptimal behaviour
blishko Apr 22, 2026
7fc062d
SSA: Improve shuffler
blishko Apr 22, 2026
2fceb3a
Merge pull request #16634 from argotorg/ssa-improve-shuffling
blishko Apr 22, 2026
607a379
SSA CFG: introduce SSACFG::name and isMainGraph()
clonker Apr 22, 2026
bac374d
SSA CFG: replace Call::function (Scope::Function ref) with FunctionGr…
clonker Apr 22, 2026
1a3ed13
SSA CFG: drop unused SSACFG::functions vector
clonker Apr 22, 2026
fbccc5b
SSA CFG: drop remaining Scope::* refs from the IR
clonker Apr 22, 2026
062d9e8
SSA CFG: rename ControlFlow to ControlFlowGraphs
clonker Apr 22, 2026
1bfa8dd
Merge pull request #16635 from argotorg/ssa-cfg-remove-scope-fct-and-var
clonker Apr 22, 2026
af0afae
ssa cfg: remove FunctionCall yul AST pointers from (Builtin)Calls and…
clonker Apr 24, 2026
f72a1e2
Merge pull request #16638 from argotorg/ssa-cfg-remove-ghost-calls
clonker Apr 24, 2026
afd0d2b
Merge pull request #16266 from argotorg/move-coding-style-check-to-gh…
r0qs Apr 24, 2026
d4cb9cd
SSA CFG: rename OperationId to InstId
clonker Apr 27, 2026
93702d7
Merge pull request #16641 from argotorg/ssa-cfg-instid-rename
clonker Apr 27, 2026
34069ac
SSA CFG: move ValueId::str into its own SSACFGTypes.cpp
clonker Apr 27, 2026
815fadc
SSA CFG: record defining block on Operation
clonker Apr 27, 2026
7d8c383
SSA CFG: relocate value storage into InstructionStore
clonker Apr 27, 2026
62968c9
Merge pull request #16643 from argotorg/ssa-cfg-instruction-store
clonker Apr 27, 2026
bf1a1e9
SSA CFG: extract UseCountSet from LivenessData
clonker Apr 27, 2026
a75fb6b
SSA CFG: introduce StackSlotLiveness for the stack shuffler
clonker Apr 27, 2026
7890234
Merge pull request #16644 from argotorg/ssa-cfg-stack-slot-liveness
clonker Apr 28, 2026
b34f635
Docs: Add AI-assisted contribution guidelines
clonker Apr 8, 2026
01621a6
Add GitHub PR template
clonker Apr 8, 2026
28afc58
Remove external PR greeter bot comment
clonker Apr 13, 2026
4b52c0e
Merge pull request #16582 from argotorg/docs-add-pr-template-and-ai-c…
clonker Apr 28, 2026
ffac8c9
update solidity version in docs
czepluch Apr 28, 2026
394c305
Merge pull request #16647 from czepluch/fix/version-reference-mismatch
cameel Apr 28, 2026
e9490a3
fix rendering issue with the github pr template
clonker Apr 28, 2026
250ced9
Add tests
matheusaaguiar Feb 24, 2026
6b15aca
Do not remove custom errors in IR pipeline when strip revert strings …
matheusaaguiar Feb 26, 2026
03486ef
Update docs
matheusaaguiar Mar 27, 2026
d5cfaa0
Merge pull request #16648 from argotorg/fix-gh-pr-template-rendering-…
clonker Apr 28, 2026
9b58abf
Merge pull request #16466 from argotorg/fixRevertStringFlagInconsiste…
matheusaaguiar Apr 29, 2026
37633cc
Add and update tests
matheusaaguiar Sep 23, 2025
83d5252
Warning about Solidity/Yul future keywords and reserved identifiers
matheusaaguiar Sep 15, 2025
35a9b30
Update docs
matheusaaguiar Sep 24, 2025
ad2fda2
workaround for openzeppelin external tests
matheusaaguiar Mar 2, 2026
392c5f9
Docs: fix ERC 7201 link
matheusaaguiar Apr 29, 2026
b6cefb7
Merge pull request #16206 from argotorg/futureKeywordWarnings
matheusaaguiar Apr 29, 2026
4b11663
Merge pull request #16649 from argotorg/fix_erc7201_eip_link
nikola-matic Apr 29, 2026
b8e1e41
Sort changelog and add date for 0.8.35 release
nikola-matic Apr 28, 2026
47b9ded
Merge pull request #16645 from argotorg/sort-changelog-and-add-date-f…
nikola-matic Apr 29, 2026
45c484e
Bump version to 0.8.36 and add changelog skeleton
nikola-matic Apr 29, 2026
9895088
SSA CFG: mark BlockId/InstId hasValue() as constexpr noexcept
clonker Apr 28, 2026
033dca2
SSA CFG: collapse per-kind value debug data into a single map
clonker Apr 28, 2026
230f3a2
SSA CFG: unify per-kind values into a single Inst table
clonker Apr 28, 2026
efb9db2
SSA CFG: assert maximum number of outputs for builtin and user-define…
clonker Apr 29, 2026
b0e2a13
SSA CFG: Add helper functions to SSA CFG to assess type of instructio…
clonker Apr 29, 2026
9b7bb78
Merge pull request #16646 from argotorg/ssa-cfg-uniformity
clonker Apr 29, 2026
402ee27
Merge pull request #16651 from argotorg/bump-version-to-0-8-36
nikola-matic Apr 29, 2026
0993ab1
Reorganize calldata and abicoder semantic tests
cameel Feb 19, 2026
c0a83bc
calldata_array_dynamic_bytes.sol: Enable testing via Yul
cameel Feb 19, 2026
388b75d
Fix whitespace in some abiEncodeDecode tests
cameel Feb 19, 2026
f5e733b
Remove redundant ABI coder tests
cameel Feb 19, 2026
511cdc0
Enable debug revert strings in some of the existing calldata/encoding…
cameel Feb 19, 2026
68d1a77
Merge pull request #16483 from argotorg/reorganize-calldata-semantic-…
cameel Apr 30, 2026
21fe331
SSA CFG: introduce projections for functions with multiple return values
clonker May 4, 2026
f61f32a
SSA CFG: bind variables to unreachable for non-continuing multi-retur…
clonker May 4, 2026
d25627f
SSA CFG: add test for multi-return non-continuing function
clonker May 4, 2026
b0ff7b9
SSA CFG: Add `outputsOf` helper that returns a range over inst id
clonker May 4, 2026
9cdc2bc
Merge pull request #16668 from argotorg/ssa-cfg-extracts
clonker May 4, 2026
4e2e897
NatSpec: Disallow `@return` tag on events.
cuiweixie Apr 30, 2026
f3cc13d
Update Changelog.md
cuiweixie May 5, 2026
1473ed4
Merge pull request #16666 from cuiweixie/fix/natspec-disallow-return-…
nikola-matic May 5, 2026
0aff263
SSA: Update assumptions made by CodeTransform about stack layouts
blishko May 5, 2026
6e2bd66
Merge pull request #16676 from argotorg/ssa-fix-stack-layout-expectat…
blishko May 6, 2026
9b2533d
SSA CFG: add identity, nop, and tombstone inst opcodes
clonker Apr 30, 2026
07f6026
SSA CFG: add TLSF free list implementation
clonker May 4, 2026
d18c89f
SSA CFG: integrate TLSF free list as backing structure for the instru…
clonker May 4, 2026
ae448db
SSA CFG: add identity remover transform
clonker Apr 30, 2026
4eea30f
SSA CFG: rewrite trivial phi eliminator to work with identities and nops
clonker Apr 30, 2026
c45d441
SSA CFG: free up insts in unreachable blocks
clonker Apr 30, 2026
eccdf47
Merge pull request #16674 from argotorg/ssa-cfg-add-identity-remover-…
clonker May 6, 2026
ea0a8c1
Preserve failAfter directive in isoltest ASTJSON reformatting
tavian-dev Apr 2, 2026
b41c161
Merge pull request #16574 from tavian-dev/fix-isoltest-failafter-stri…
clonker May 7, 2026
ee6668e
SSA CFG: add shared function registry across nested builders
clonker May 7, 2026
2f2e06b
Merge pull request #16686 from argotorg/ssa-cfg-builder-share-functio…
clonker May 7, 2026
49e295d
Fix SMT Encoder treatment of constant operands of unary operations
matheusaaguiar Apr 30, 2026
78ab5f8
Pin node to exact versions instead of lts to fix failing jobs
nikola-matic May 7, 2026
4bb9689
Pin pnpm to v9
nikola-matic May 7, 2026
7da228d
SSA-CFG: Fix stack adjustments for codegen on conditional jump
blishko May 7, 2026
2b9f353
Merge pull request #16654 from argotorg/fixSMTEncoderUnaryOperationCo…
matheusaaguiar May 7, 2026
23182d6
Merge pull request #16688 from argotorg/ssa-fix-stack-adjustments
blishko May 7, 2026
7c0b91c
SSA-CFG: Set up basic optimization pipeline
blishko May 7, 2026
d2207e0
SSA-CFG: Separate building and optimizing phase
blishko May 7, 2026
6fd1c6c
Merge pull request #16689 from argotorg/ssa-optimization-passes
blishko May 7, 2026
1a776c9
Merge pull request #16687 from argotorg/bump-node-js
nikola-matic May 11, 2026
0766c57
SSA CFG: lift the memoryguard value out of the instruction argument i…
clonker May 11, 2026
38bd31b
Merge pull request #16696 from argotorg/ssa-cfg-memoryguard
clonker May 11, 2026
88fb1a1
SSA CFG Stack layout generator: Determine optimal target (not just size)
clonker May 12, 2026
be5e908
Merge pull request #16703 from argotorg/ssa-cfg-tighten-find-optimal-…
clonker May 12, 2026
0fe919c
SSA CFG: Make basic blocks optional and add a free list to them
clonker May 12, 2026
c4df589
SSA CFG: Add lazy live blocks range helper
clonker May 12, 2026
789a0f9
Merge pull request #16707 from argotorg/ssa-cfg-optional-block
clonker May 12, 2026
ed0c426
SSA CFG: Add call graph
clonker May 12, 2026
2ccd8e4
SSA CFG: Add Tarjan's algorithm for SCCs to call graph
clonker May 12, 2026
e0b9da8
SSA CFG: Add `isRecursive` to call graph
clonker May 12, 2026
193db03
SSA CFG: Add call graph tests
clonker May 12, 2026
2d767b1
Merge pull request #16714 from argotorg/ssa-cfg-callgraph
clonker May 13, 2026
f5df12f
Rework `typeViaContractName` and `nativeMembers` fragment.
rodiazet Mar 19, 2026
70106fd
Introduce `typeWhenAttached` helper
rodiazet Apr 21, 2026
f6b841d
Introduce `isVisibleViaContractName`
rodiazet May 13, 2026
27ac306
Merge pull request #16625 from argotorg/rework-native-members
rodiazet May 14, 2026
a72cde2
SSA CFG: printer
clonker May 12, 2026
090bc8f
Merge pull request #16709 from argotorg/ssa-cfg-printer
clonker May 18, 2026
d19c938
Cache Whiskers regexes
DanielVF May 18, 2026
7e00364
Keep trailing line
DanielVF May 18, 2026
14c06b8
Merge branch 'develop' into regex-speedup
DanielVF May 18, 2026
e70f829
libsolutil: speed up picosha2::hash256_one_by_one::process (#16669)
msooseth May 19, 2026
ebe3504
SSA-CFG: Introduce a pass to outline specific blocks
blishko May 11, 2026
74d4d44
SSA-CFG: Enable outliner pass
blishko May 11, 2026
3db2d0e
Merge pull request #16733 from argotorg/ssa-outliner
blishko May 19, 2026
12efe49
Add ssa/spill/SpillSet container
clonker May 20, 2026
bbdb119
Merge pull request #16744 from argotorg/ssa-cfg-add-spill-set-container
clonker May 20, 2026
7af01a4
Merge pull request #16736 from DanielVF/regex-speedup
msooseth May 20, 2026
68ed278
SSA CFG: Stack layout generator knows if spilling is allowed
clonker May 20, 2026
d5e983b
SSA CFG: Stack layout generator populates spillset
clonker May 20, 2026
d8d4998
SSA CFG: Stack layout generator returns spillset
clonker May 20, 2026
86e929f
SSA CFG: Stack layout generator tests emit spilled variables
clonker May 20, 2026
2ca6163
Merge pull request #16750 from argotorg/ssa-cfg-slg-populates-spill-set
clonker May 20, 2026
afa9744
Migrate ethdebug CLI tests to isolest
nikola-matic Apr 21, 2026
8471cf2
Merge pull request #16675 from argotorg/ethdebug-isoltest-migration
nikola-matic May 21, 2026
78aa6de
ethdebug: Emit schema-compliant compilation resources
djolertrk May 8, 2026
cc430fb
test: Validate ETHDebug output against pinned schemas
djolertrk May 8, 2026
efaef8d
ci: Check ETHDebug compilation overhead
djolertrk May 20, 2026
a5686ef
ethdebug: Address resource review feedback
djolertrk May 25, 2026
b90b7c0
ethdebug: Avoid MSVC ICE in schema material builders
djolertrk May 26, 2026
c28af75
Merge pull request #16727 from walnuthq/feature/ethdebug
nikola-matic May 28, 2026
9340445
Avoid shell mkdir in splitSources
0xjc65eth May 26, 2026
e7fa128
Merge pull request #16774 from 0xjc65eth/fix-split-sources-mkdir
nikola-matic May 28, 2026
10ed593
Remove EOF: solc
rodiazet May 28, 2026
ae9806b
Merge pull request #16760 from argotorg/remove-eof-solc
rodiazet May 28, 2026
c06a4e2
Remove EOF: libsolidity
rodiazet May 28, 2026
fb19f71
Merge pull request #16769 from argotorg/remove-eof-libsolidity
nikola-matic May 29, 2026
f4e179e
Remove EOF: libyul
rodiazet May 22, 2026
cd88744
Merge pull request #16770 from argotorg/remove-eof-libyul
blishko Jun 4, 2026
420cac3
fix(docs): contradictory description of `send` in Subcurrency Example
thijmau May 18, 2026
839e2c3
Merge pull request #16735 from thijmau/docs/fix-subcurrency-evaluatio…
cameel Jun 8, 2026
1ae5f58
SSA-CFG: Store function call arguments in the same order as Yul
blishko May 22, 2026
3b6c2e6
Merge pull request #16765 from argotorg/ssa-change-arg-order
blishko Jun 8, 2026
ef7f9be
SSA-CFG: Disable outliner transformation pass
blishko Jun 8, 2026
9a4574b
Merge pull request #16783 from argotorg/ssa-cfg-disable-outliner
blishko Jun 8, 2026
b5f5e11
Test: Enable SSA-CFG by default for all semantic tests
blishko Mar 31, 2026
45a2608
Remove pnmp pin in edr external test
nikola-matic Jun 9, 2026
da578f0
Test: Remove explicit options that now specify the default values
blishko Jun 9, 2026
e84f82c
Merge pull request #16786 from argotorg/ssa-cfg-semantic-tests
blishko Jun 9, 2026
0402a7c
Bump rust-node image
nikola-matic Jun 9, 2026
1b095c7
Merge pull request #16787 from argotorg/remove-pnpm-pin-in-edr
nikola-matic Jun 9, 2026
ec5e769
SSA CFG: Add spill set
clonker May 21, 2026
0350029
SSA CFG: Add global memory addressing for spilling
clonker May 21, 2026
9baf8a2
SSA CFG: Add spill emitter
clonker May 21, 2026
16bb226
SSA CFG: hook spilling into code transform
clonker May 21, 2026
4b827a9
SSA CFG: stack layout generator validates back edges for potential sp…
clonker May 22, 2026
e2c4ab7
SSA CFG: add spill test
clonker May 22, 2026
88785d1
SSA CFG Stack shuffler: Fix oscillation case
clonker Jun 9, 2026
42769f9
SSA CFG Stack shuffler: fix args slot considers spill set when decidi…
clonker Jun 9, 2026
c48728e
SSA CFG: Stack layout generator populates spill set on multi-entry bl…
clonker Jun 9, 2026
1c4e9a5
Merge pull request #16767 from argotorg/ssa-cfg-kiss-memspill
clonker Jun 9, 2026
54f5591
SSA CFG Testing: Add spill test for a function with many return varia…
clonker Jun 10, 2026
8e42482
SSA CFG: Spill set resolves producer instruction for projections
clonker Jun 10, 2026
2377ba9
Merge pull request #16789 from argotorg/ssa-cfg-spill-set-resolve-pro…
clonker Jun 10, 2026
0b7a003
Frontend: Store ASTNode::id as int64_t instead of size_t
clonker Jun 10, 2026
410515c
Merge pull request #16793 from argotorg/ast-node-id-as-int64-t
clonker Jun 10, 2026
1d3a17b
Remove EOF from libevmasm
rodiazet May 22, 2026
7a0c49e
Add `canBeFunctional` test case.
rodiazet Jun 10, 2026
ac7dbb8
Merge pull request #16772 from argotorg/remove-eof-libevmasm
nikola-matic Jun 11, 2026
dc9296d
Remove EOF: Testing infrastructure.
rodiazet May 25, 2026
7c6dc92
Merge pull request #16773 from argotorg/remove-eof-testing-infra
blishko Jun 11, 2026
d7cc2f3
Remove EOF: bytecodeFormat setting from tests
rodiazet May 9, 2026
9e29840
SSA-CFG: Propagate information about deduplication of literals
blishko Jun 11, 2026
a63480d
Merge pull request #16795 from argotorg/ssa-cfg-fix-const-instructions
blishko Jun 11, 2026
06edb3e
Replace vector<CodeSection> with items in Assembly
rodiazet May 8, 2026
f65160f
Remove EOF: Replace vector<CodeSectionLocation> with CodeSectionLocat…
rodiazet May 29, 2026
2dfc9a4
Merge pull request #16757 from argotorg/eof/replace-vector-code-section
blishko Jun 12, 2026
7c7e5da
Add forgotten changelog entry
blishko Jun 15, 2026
068740a
Merge pull request #16798 from argotorg/smt-add-missing-changelog-entry
matheusaaguiar Jun 15, 2026
816d9b2
Merge pull request #16758 from argotorg/eof/bytecodeformat-tests
nikola-matic Jun 17, 2026
0c3aed7
YulUtilFunctions: assert combined byte slice extent in updateByteSlic…
msooseth May 20, 2026
646a3e0
Removing unused members (#16813)
msooseth Jun 22, 2026
8bb8eca
Merge pull request #16753 from argotorg/yulutilfunctions-update-byte-…
msooseth Jun 22, 2026
5dc70e3
SSA-CFG: Add helper method for stack shuffler
blishko Jun 23, 2026
1f1f298
SSA-CFG: Add helper method to Stack
blishko Jun 23, 2026
8ea3827
SSA-CFG: Modify shuffler to prevent shuffling cycle
blishko Jun 23, 2026
7f8546d
Merge pull request #16817 from argotorg/ssa-cfg-shuffler-looping
blishko Jun 23, 2026
99fe6c5
SSACFG Stack layout generation: Drop per-operation junk declaration
clonker Jun 24, 2026
a50a8e1
Merge pull request #16827 from argotorg/ssacfg-drop-per-op-junk
clonker Jun 24, 2026
51a8091
Remove unused includes
blishko Jun 24, 2026
dec2019
Merge pull request #16828 from argotorg/remove-unused-includes
blishko Jun 24, 2026
f007b69
SSA CFG spill: fix bug in spill set miscounting the number of consume…
clonker Jun 24, 2026
6deed02
Merge pull request #16829 from argotorg/ssa-cfg-fix-spill-miscount-bug
clonker Jun 24, 2026
0a11c0f
Test: Add cmdline test for large value of optimizer runs
blishko Jun 24, 2026
f31916a
Interface: Fix type of optimiser setting
blishko Jun 24, 2026
51be5c3
CLI: Fix type of optimizer runs parameter
blishko Jun 24, 2026
6e4bac9
Changelog: Add entries for changes related to optimizer runs
blishko Jun 24, 2026
b3ae1f4
Enforce single type for optimizer runs
blishko Jun 24, 2026
da8a826
Merge pull request #16826 from argotorg/fix-optimizer-setting-seriali…
blishko Jun 25, 2026
60a04bc
Remove unused `using` (#16831)
msooseth Jun 25, 2026
79df460
SSACFG Code Transform: in-loop spill discovery in the stack shuffler
clonker Jun 24, 2026
7cf9de0
SSACFG Code Transform: Run stack layout generator in a fixed point ov…
clonker Jun 24, 2026
dc3cb2d
Use shuffleWithSpillDiscovery in the stack shuffler test
clonker Jun 25, 2026
b44ed89
Merge pull request #16830 from argotorg/ssa-cfg-spill-fixed-point
clonker Jun 25, 2026
d8fbf36
Simplify AI usage declaration in the PR template
clonker Jun 25, 2026
2fde219
English documentation updates up to v0.8.35-160-gd8fbf3676 (2026-06-29)
soldocsbot Jun 29, 2026
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
4 changes: 2 additions & 2 deletions .readthedocs.yml
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
version: 2

build:
os: ubuntu-22.04
os: ubuntu-24.04
tools:
python: "3.11"
python: "3.13"

sphinx:
builder: html
Expand Down
4 changes: 3 additions & 1 deletion CMakeLists.txt
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
cmake_minimum_required(VERSION 3.13.0)

set(CMAKE_EXPORT_COMPILE_COMMANDS ON)

set(ETH_CMAKE_DIR "${CMAKE_CURRENT_LIST_DIR}/cmake" CACHE PATH "The path to the cmake directory")
list(APPEND CMAKE_MODULE_PATH ${ETH_CMAKE_DIR})

Expand All @@ -21,7 +23,7 @@ include(EthPolicy)
eth_policy()

# project name and version should be set after cmake_policy CMP0048
set(PROJECT_VERSION "0.8.31")
set(PROJECT_VERSION "0.8.36")
# OSX target needed in order to support std::visit
set(CMAKE_OSX_DEPLOYMENT_TARGET "10.14")
project(solidity VERSION ${PROJECT_VERSION} LANGUAGES C CXX)
Expand Down
8 changes: 8 additions & 0 deletions docs/050-breaking-changes.rst
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,19 @@
Solidity v0.5.0の破壊的変更点
*****************************

<<<<<<< HEAD
.. This section highlights the main breaking changes introduced in Solidity version 0.5.0, along with the reasoning behind the changes and how to update affected code.
.. For the full list check `the release changelog <https://github.com/ethereum/solidity/releases/tag/v0.5.0>`_.

このセクションでは、Solidityバージョン0.5.0で導入された主な変更点と、変更の理由、影響を受けるコードの更新方法について説明します。
完全なリストは `リリースのチェンジログ <https://github.com/ethereum/solidity/releases/tag/v0.5.0>`_ を参照してください。
=======
This section highlights the main breaking changes introduced in Solidity
version 0.5.0, along with the reasoning behind the changes and how to update
affected code.
For the full list check
`the release changelog <https://github.com/argotorg/solidity/releases/tag/v0.5.0>`_.
>>>>>>> english/develop

.. note::
.. Contracts compiled with Solidity v0.5.0 can still interface with contracts
Expand Down
17 changes: 17 additions & 0 deletions docs/060-breaking-changes.rst
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,16 @@
Solidity v0.6.0の破壊的変更点
*****************************

<<<<<<< HEAD
.. This section highlights the main breaking changes introduced in Solidity version 0.6.0, along with the reasoning behind the changes and how to update affected code.
.. For the full list check `the release changelog <https://github.com/ethereum/solidity/releases/tag/v0.6.0>`_.
=======
This section highlights the main breaking changes introduced in Solidity
version 0.6.0, along with the reasoning behind the changes and how to update
affected code.
For the full list check
`the release changelog <https://github.com/argotorg/solidity/releases/tag/v0.6.0>`_.
>>>>>>> english/develop

このセクションでは、Solidityバージョン0.6.0で導入された主な変更点と、変更の理由、影響を受けるコードの更新方法について説明します。
完全なリストは `リリースチェンジログ <https://github.com/ethereum/solidity/releases/tag/v0.6.0>`_ を参照してください。
Expand Down Expand Up @@ -156,8 +164,17 @@ Solidity v0.6.0の破壊的変更点
* YulとInline Assemblyには、現在の関数を終了させる ``leave`` という新しい文があります。
* ``address`` から ``address payable`` への変換は ``payable(x)`` を介して可能になりました。

<<<<<<< HEAD
インターフェースの変更点
========================
=======
The compiler now appends the `IPFS <https://ipfs.io/>`_ hash of the metadata file to the end of the bytecode by default
(for details, see documentation on :doc:`contract metadata <metadata>`). Before 0.6.0, the compiler appended the
`Swarm <https://www.ethswarm.org/>`_ hash by default, and in order to still support this behavior,
the new command-line option ``--metadata-hash`` was introduced. It allows you to select the hash to be produced and
appended, by passing either ``ipfs`` or ``swarm`` as value to the ``--metadata-hash`` command-line option.
Passing the value ``none`` completely removes the hash.
>>>>>>> english/develop

.. This section lists changes that are unrelated to the language itself, but that have an effect on the interfaces of the compiler.
.. These may change the way how you use the compiler on the command-line, how you use its programmable interface, or how you analyze the output produced by it.
Expand Down
8 changes: 8 additions & 0 deletions docs/070-breaking-changes.rst
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,19 @@
Solidity v0.7.0の破壊的変更点
*****************************

<<<<<<< HEAD
.. This section highlights the main breaking changes introduced in Solidity version 0.7.0, along with the reasoning behind the changes and how to update affected code.
.. For the full list check `the release changelog <https://github.com/ethereum/solidity/releases/tag/v0.7.0>`_.

このセクションでは、Solidityバージョン0.7.0で導入された主な変更点と、変更の理由、影響を受けるコードの更新方法について説明します。
完全なリストは `リリースチェンジログ <https://github.com/ethereum/solidity/releases/tag/v0.7.0>`_ を参照してください。
=======
This section highlights the main breaking changes introduced in Solidity
version 0.7.0, along with the reasoning behind the changes and how to update
affected code.
For the full list check
`the release changelog <https://github.com/argotorg/solidity/releases/tag/v0.7.0>`_.
>>>>>>> english/develop


.. Silent Changes of the Semantics
Expand Down
7 changes: 7 additions & 0 deletions docs/080-breaking-changes.rst
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,15 @@
Solidity v0.8.0の破壊的変更点
*****************************

<<<<<<< HEAD
このセクションでは、Solidityのバージョン0.8.0で導入された主な変更点を紹介します。
完全なリストは `リリースチェンジログ <https://github.com/ethereum/solidity/releases/tag/v0.8.0>`_ を参照してください。
=======
This section highlights the main breaking changes introduced in Solidity
version 0.8.0.
For the full list check
`the release changelog <https://github.com/argotorg/solidity/releases/tag/v0.8.0>`_.
>>>>>>> english/develop

.. Silent Changes of the Semantics

Expand Down
2 changes: 1 addition & 1 deletion docs/_static/css/custom-dark.css
Original file line number Diff line number Diff line change
Expand Up @@ -590,6 +590,6 @@
stroke: white;
}

:root[style*=dark] .a4 .sig-name {
:root[style*=dark] .sig-name {
background-color: transparent !important;
}
12 changes: 6 additions & 6 deletions docs/_static/js/constants.js
Original file line number Diff line number Diff line change
Expand Up @@ -26,12 +26,12 @@ const CONTRIBUTE_PATH = `/en/latest/contributing.html`;
const ABOUT_PATH = `${SOLIDITY_HOME_URL}/about`;
const FORUM_URL = "https://forum.soliditylang.org/";
const NAV_LINKS = [
{ name: "Blog", href: BLOG_URL },
{ name: "Documentation", href: DOCS_URL },
{ name: "Use cases", href: USE_CASES_PATH },
{ name: "Contribute", href: CONTRIBUTE_PATH },
{ name: "About", href: ABOUT_PATH },
{ name: "Forum", href: FORUM_URL },
{ name: window.NAV_LINKS.blog, href: BLOG_URL },
{ name: window.NAV_LINKS.documentation, href: DOCS_URL },
{ name: window.NAV_LINKS.use_cases, href: USE_CASES_PATH },
{ name: window.NAV_LINKS.contribute, href: CONTRIBUTE_PATH },
{ name: window.NAV_LINKS.about, href: ABOUT_PATH },
{ name: window.NAV_LINKS.forum, href: FORUM_URL },
];

const MOBILE_MENU_TOGGLE_CLASS = "shift";
Expand Down
14 changes: 14 additions & 0 deletions docs/_templates/layout.html
Original file line number Diff line number Diff line change
@@ -1,5 +1,19 @@
{% extends "!layout.html" %}

{% block scripts %}
<script>
window.NAV_LINKS = {
blog: "{{ _('Blog') }}",
documentation: "{{ _('Documentation') }}",
use_cases: "{{ _('Use cases') }}",
contribute: "{{ _('Contribute') }}",
about: "{{ _('About') }}",
forum: "{{ _('Forum') }}"
};
</script>
{{ super() }}
{% endblock %}

{% block menu %}
{{ super() }}
<ul>
Expand Down
7 changes: 7 additions & 0 deletions docs/assembly.rst
Original file line number Diff line number Diff line change
Expand Up @@ -57,6 +57,7 @@ Solidityのインラインアセンブリに使用される言語は :ref:`Yul <
pragma solidity >=0.4.16 <0.9.0;

library GetCode {
// This will report a warning - `at` will be promoted to reserved keyword
function at(address addr) public view returns (bytes memory code) {
assembly {
// コードのサイズを取得します。これはアセンブリが必要です。
Expand Down Expand Up @@ -469,12 +470,18 @@ Solidityの複数のバージョンで互換性のあるライブラリを開発
...
}

<<<<<<< HEAD
.. Note that we will disallow the annotation via comment in a future breaking release; so, if you are not concerned with backward-compatibility with older compiler versions, prefer using the dialect string.

なお、コメントによるアノテーションは、将来のブレーキングリリースで禁止する予定です。
したがって、古いコンパイラのバージョンとの後方互換性にこだわらない場合は、方言文字列を使用することをお勧めします。

.. TODO:
=======
.. warning::
The ``memory-safe-assembly`` special comment is deprecated and scheduled for removal.
In new code targeting recent compilers, use the assembly block annotation.
>>>>>>> english/develop

Advanced Safe Use of Memory
---------------------------
Expand Down
24 changes: 24 additions & 0 deletions docs/bugs.json
Original file line number Diff line number Diff line change
@@ -1,4 +1,28 @@
[
{
"uid": "SOL-2026-1",
"name": "TransientStorageClearingHelperCollision",
"summary": "Clearing both storage and transient storage variables in the same contract may result in only one of these locations being cleared.",
"description": "The IR-based code generator provides a set of Yul helper functions for basic operations, such as clearing, copying, encoding or type conversions. Not all functions are used by every contract. The codegen appends them to the generated sources individually, only when an operation that would invoke one of them is encountered. Utility functions are often specialized for different types and locations. Since Yul does not support generic functions, specialization is done by generating multiple versions of the same function, with the information distinguishing the variants embedded in their names. However, if not all the necessary bits of distinguishing information are properly accounted for, two helpers may end up with the same name, causing a collision. In this situation the codegen includes only one of them, with calls to both variants invoking it. This happened with the ``set_to_zero`` helper used when an area of transient or persistent storage needs to be cleared. The helper name was missing the location information, which resulted in a collision between the persistent and transient storage variants for the same type. This meant that contracts clearing both locations would actually clear only one, leaving the other untouched. Which location ended up being cleared depended on the order in which the code generator processed the input. The necessary condition to trigger the bug was the use of ``delete`` operator on a transient storage variable. This was due to value types being the only types supported in transient storage and ``delete`` being the only operation invoking the helper allowed on such types. The other necessary condition was clearing of persistent storage and in this case the range of affected operations was wider: operator ``delete``, array ``pop()`` or assignment that resulted in a longer array being overwritten with a shorter one. The cleared variable itself also did not necessarily have to be of the same type. It was enough that a matching value type was nested in it. It also did not always have to be the exact same value type - clearing operations on reference types are usually performed at slot granularity, treating every slot as ``uint256`` rather than clearing every value packed into it individually. To trigger the bug both operations had to be present within the same piece of bytecode. Independent contracts, not related through inheritance, would not affect each other this way. The presence of one operation only in creation code and the other only in deployed code would not trigger the bug either.",
"link": "https://blog.soliditylang.org/2026/02/18/transient-storage-clearing-helper-collision-bug/",
"introduced": "0.8.28",
"fixed": "0.8.34",
"severity": "high",
"conditions": {
"viaIR": true,
"evmVersion": ">=cancun"
}
},
{
"uid": "SOL-2025-1",
"name": "LostStorageArrayWriteOnSlotOverflow",
"summary": "Operations that involve clearing or copying from arrays that straddle the end of storage could result in silent data retention.",
"description": "Solidity makes it possible to define variables that extend past the last (2**256-th) slot of storage, which results in wrap-around back to slot zero. Since EVM uses 256-bit integer arithmetic, most operations on such variables just work. The only situation which requires special attention is iteration against absolute slot addresses: the invariant that the last slot belonging to a variable has the highest address does not hold. When implemented incorrectly, a loop over an array will immediately terminate if the container spans the end of storage - due to the initial position already being greater than the end position. This affected storage array clearing loops generated by both evmasm and IR pipelines. Additionally, (only in the evmasm pipeline) copying operations whose source was an array straddling the end of storage were also affected. At the language level, the buggy code would be generated for array assignment, array initialization, delete operator, <array>.pop() and <array>.push(). Note that a clearing loop is inserted by the compiler not only for invocations of the delete operator, but also to zero storage when overwriting a longer array with a shorter one, popping an element or even pushing an empty element to a dynamic array. Since clearing is a separate loop, it is possible for the bug to only affect it and not the copy operation it follows (which is always the case in the IR pipeline). The bug is extremely unlikely to be triggered accidentally due to the probabilistic impossibility of a short dynamic array being allocated right at the storage boundary. On the other hand, scenarios in which a user may place a static array there intentionally do not seem realistic and are limited to unusual layouts, in which a contract does not place any storage variables at slot zero (otherwise they would overlap the array).",
"link": "https://blog.soliditylang.org/2025/12/18/lost-storage-array-write-on-slot-overflow-bug/",
"introduced": "0.1.0",
"fixed": "0.8.32",
"severity": "low"
},
{
"uid": "SOL-2023-3",
"name": "VerbatimInvalidDeduplication",
Expand Down
12 changes: 12 additions & 0 deletions docs/bugs.rst
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
既知のバグのリスト
##################

<<<<<<< HEAD
.. Below, you can find a JSON-formatted list of some of the known security-relevant bugs in the
.. Solidity compiler. The file itself is hosted in the `GitHub repository
.. <https://github.com/ethereum/solidity/blob/develop/docs/bugs.json>`_.
Expand All @@ -15,6 +16,17 @@
以下に、Solidityコンパイラのセキュリティ関連の既知のバグをJSON形式でリストアップしています。
このファイルは `GitHubリポジトリ <https://github.com/ethereum/solidity/blob/develop/docs/bugs.json>`_ にあります。
このリストはバージョン0.3.0までさかのぼりますが、それ以前のバージョンにしか存在しないことがわかっているバグはリストに含まれていません。
=======
Below, you can find a JSON-formatted list of some of the known security-relevant bugs in the
Solidity compiler. The file itself is hosted in the `GitHub repository
<https://github.com/argotorg/solidity/blob/develop/docs/bugs.json>`_.
The list stretches back as far as version 0.3.0, bugs known to be present only
in versions preceding that are not listed.

There is another file called `bugs_by_version.json
<https://github.com/argotorg/solidity/blob/develop/docs/bugs_by_version.json>`_,
which can be used to check which bugs affect a specific version of the compiler.
>>>>>>> english/develop

.. There is another file called `bugs_by_version.json
.. <https://github.com/ethereum/solidity/blob/develop/docs/bugs_by_version.json>`_,
Expand Down
Loading