Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
577 commits
Select commit Hold shift + click to select a range
4687eec
Add compileViaSSAYul option to semantic test suite
clonker Mar 3, 2026
99a57b2
Enable compileViaSSAYul for deposit and snark contract
clonker Mar 3, 2026
08051cf
Add ssa yul ir parsing capabilities to gas_diff_stats.py
clonker Mar 3, 2026
436ccd5
Make SSA CFG Codegen an experimental feature
clonker Mar 5, 2026
61baed5
Merge pull request #16498 from argotorg/ssa_cfg_codegen
clonker Mar 5, 2026
d153bfe
Stack shuffler: use mark-on-enqueue for bring up target slot stack tr…
clonker Mar 4, 2026
6313134
Merge pull request #16499 from argotorg/mark-on-enqueue-for-bring-up-…
clonker Mar 9, 2026
de054d1
docs: fix reentrancy vulnerability in micropayment close() example (#…
masshash Mar 10, 2026
64e221f
ssa cfg codegen: make function return label slot handling explicit
clonker Mar 4, 2026
47875c8
Merge pull request #16501 from argotorg/ssa_cfg_codegen_with_explicit…
clonker Mar 10, 2026
fab9d5c
Fix invalid reference use
msooseth Mar 10, 2026
109dae5
Merge pull request #16511 from argotorg/fix-invalid-ref-use
msooseth Mar 10, 2026
f47fa8d
Add and update tests
matheusaaguiar Mar 18, 2025
64893d8
Introduce new builtin function erc7201
matheusaaguiar Mar 18, 2025
fcd94ee
Update docs
matheusaaguiar Mar 3, 2026
8c18069
Add experimental --via-ssa-cfg to CLI
clonker Mar 5, 2026
5d9ba67
Add experimental settings.viaSSACFG to Standard JSON Interface
clonker Mar 5, 2026
92673f6
Add viaSSACFG to compilation metadata
clonker Mar 9, 2026
11beecc
Update wording of --via-ir help message.
clonker Mar 10, 2026
9f4d0b8
Merge pull request #16503 from argotorg/via_ssa_cfg_cli
clonker Mar 11, 2026
a99b6d8
Merge pull request #15968 from argotorg/builtinERC7201
matheusaaguiar Mar 11, 2026
781aeb1
SSA: Tighten condition in shuffler
blishko Mar 11, 2026
8ad8550
Merge pull request #16512 from argotorg/ssa-cfg-shuffler-updates
blishko Mar 11, 2026
c18c5a4
docs: move nav links to Jinja template for i18n (#16471)
hwhsu1231 Mar 12, 2026
f72c159
Pin @uniswap/v3-sdk
rodiazet Mar 13, 2026
fa16df6
Fix yield-liquidator
rodiazet Mar 13, 2026
7b85eba
Merge pull request #16523 from argotorg/pin-uniswap-dep
nikola-matic Mar 13, 2026
d50fcad
Test invalid import asm json input mode combinations with other cli o…
clonker Mar 12, 2026
bb64ae4
cli parser: expose set of experimental cli options
clonker Mar 12, 2026
7e38b81
Merge pull request #16518 from argotorg/test_import_asm_mode_command_…
clonker Mar 13, 2026
d5f9e38
repair changelog: move performance optimization from 0.8.34 to 0.8.35…
clonker Mar 16, 2026
57d3d68
Merge pull request #16525 from argotorg/move_optimizer_perf_changelog…
clonker Mar 16, 2026
6e209e6
.gitignore: add .claude
d-xo Mar 16, 2026
224649b
Merge pull request #16527 from argotorg/ignore-claude
cameel Mar 16, 2026
0c2a84f
cmake: generate compile_commands.json
d-xo Mar 16, 2026
995580c
Merge pull request #16526 from argotorg/clangd-support
d-xo Mar 17, 2026
1a65349
remove `solidity::yul::Language::Assembly`
clonker Mar 10, 2026
ff18b98
deactivate --assemble CLI option
clonker Mar 12, 2026
ab0c571
Remove `yul::Language`
clonker Mar 13, 2026
1f5822f
Hide `--yul` and `--assemble` from `solc --help`
clonker Mar 13, 2026
2aad0a7
Merge pull request #16521 from argotorg/remove_cli_assemble
clonker Mar 18, 2026
4e281a7
Escape object/data names in Yul serializer (#16517)
msooseth Mar 18, 2026
b5e2e78
SSA: Refactor shuffling helper `dupDeepSlotIfRequired`
blishko Mar 12, 2026
8a66e9f
SSA: Prefer swapping instead of shrinking followed by dupping
blishko Mar 12, 2026
bbbb423
Merge pull request #16515 from argotorg/ssa-cfg-shuffler-updates
clonker Mar 19, 2026
90eb849
Refactor hardcoded reachable stack depth
frangio Feb 12, 2026
81013e6
Merge pull request #16467 from frangio/refactor-stack-limit
clonker Mar 19, 2026
6990192
Fix Foundry installation for external contributors
r0qs Feb 17, 2026
64bba94
Merge pull request #16473 from argotorg/fix-gh-api-limit-foundry-circ…
r0qs Mar 19, 2026
0b72013
fix shoulde be dup instuction not swap instruction
cuiweixie Mar 20, 2026
c397b16
Merge pull request #16534 from cuiweixie/bugfix/gas-meter-dup
cameel Mar 20, 2026
6e3ad1a
SSA: Add shuffler test
blishko Mar 22, 2026
675df1e
Merge pull request #16536 from argotorg/ssa-shuffler-test
clonker Mar 23, 2026
16381d3
SSA: Fix reachability check in stack shuffler
blishko Mar 23, 2026
995499a
Give operations in SSA CFGs stable IDs
clonker Mar 19, 2026
6479b63
Extract SSA CFG ID types into SSACFGTypes.h
clonker Mar 19, 2026
082a192
Extract debug data from SSA CFG nodes into a separate side structure
clonker Mar 19, 2026
74c2100
Merge pull request #16533 from argotorg/ssacfg_separate_dbg_structure
clonker Mar 23, 2026
9d864e1
Merge pull request #16538 from argotorg/ssa-fix-inefficiency-in-stack…
blishko Mar 23, 2026
fbae9e2
SSA: Rename method to determine if slot is a valid swap target
blishko Mar 23, 2026
2f7307b
SSA: Introduce and use new stack helper
blishko Mar 23, 2026
b8cb7c3
Merge pull request #16541 from argotorg/ssa-stack-refactor
blishko Mar 23, 2026
aaa8c50
Build SSA CFG in phi-upsilon form
clonker Mar 23, 2026
a42ec83
Merge pull request #16542 from argotorg/phi-upsilon
clonker Mar 24, 2026
a99633a
Introduce experimental EVM version
nikola-matic Mar 9, 2026
15b26e6
Add a soltest run for experimental EVM versions
nikola-matic Mar 10, 2026
c2d2bc6
Changelog
nikola-matic Mar 18, 2026
59ebbe7
Move test/libyul/SSAControlFlowGraphTest to test/libyul/ssa/ControlFl…
clonker Mar 24, 2026
514eb37
Merge pull request #16545 from argotorg/move-ssa-cfg-tests-into-ssa-s…
clonker Mar 24, 2026
67d60c0
SSA: Add shuffler test
blishko Mar 25, 2026
ea83177
Merge pull request #16505 from argotorg/introduce-experimental-evm-ve…
nikola-matic Mar 25, 2026
401b69c
Merge pull request #16546 from argotorg/ssa-shuffler-test
blishko Mar 25, 2026
c68928c
Optimize SSA CFG Builder's trivial phi removal
clonker Mar 24, 2026
3f38cc8
Extract trivial phi elimination from ssa cfg builder
clonker Mar 24, 2026
566bbe0
Merge pull request #16544 from argotorg/phi-upsilon-opt
clonker Mar 25, 2026
adfeac8
Move TrivialPhiEliminator into ssa::transform namespace
clonker Mar 25, 2026
764ee9c
Extract unreachable block cleaning into its own transform pass
clonker Mar 25, 2026
21b8382
Optimize unreachable block cleaner
clonker Mar 25, 2026
24593bb
Unreachable block cleaner resets the block instead of only emptying u…
clonker Mar 25, 2026
5e0a446
Use concept for `SSACFG::forEachExit`
clonker Mar 25, 2026
d831103
Merge pull request #16550 from argotorg/ssa-separate-trivial-phi-and-…
clonker Mar 25, 2026
9f67495
SSA: Add shuffler test
blishko Mar 26, 2026
055fa14
Merge pull request #16554 from argotorg/ssa-yet-another-shuffler-test
blishko Mar 26, 2026
41a57e7
SSA: Simplify shuffler helper
blishko Mar 26, 2026
7f07efc
Merge pull request #16556 from argotorg/ssa-small-refactor
blishko Mar 27, 2026
2be29a9
relax conditions for a valid ssa stackShuffler test definition
clonker Mar 27, 2026
2bbe127
simplify ssa stackShuffler test definitions
clonker Mar 27, 2026
047b337
Merge pull request #16557 from argotorg/improve-shuffler-test-interface
clonker Mar 27, 2026
8ff9565
Tests: Run SSA-CFG on external contracts in semantic tests
blishko Mar 27, 2026
e4a5b77
Merge pull request #16558 from argotorg/enable-ssa-cfg-on-all-externa…
blishko Mar 27, 2026
5be42bf
CI: Add explicit boost-libs to Arch Linux build dependencies
clonker Mar 30, 2026
821d9e0
Merge pull request #16564 from argotorg/ci-fix-arch-linux-boost-dep
clonker Mar 30, 2026
d50cdda
SSA: Shrink stack preemptively in shuffler
blishko Mar 27, 2026
6421f0e
Merge pull request #16559 from argotorg/ssa-shuffler-shrink-preemptively
blishko Mar 30, 2026
70c495e
SSA: Do not dup prematurely in shuffler
blishko Mar 25, 2026
3c6aad3
Merge pull request #16551 from argotorg/ssa-update-shuffler-algorithm
blishko Mar 31, 2026
abe1561
Optimize solThrow
clonker Mar 26, 2026
71cee36
Work around maybe-uninitialized FP in ConditionalSimplifier
clonker Mar 26, 2026
8d3267a
Merge pull request #16553 from argotorg/optimize-solthrow
clonker Mar 31, 2026
e8b15fe
SSA: Prefer smaller stacks when searching for best stack size
blishko Mar 31, 2026
15ee820
Merge pull request #16567 from argotorg/ssa-stack-layout-prefer-small…
blishko Mar 31, 2026
1f9577a
Remove unused include from SSACFG
clonker Mar 30, 2026
dab4347
Store EVMDialect in SSACFG
clonker Mar 30, 2026
2e274f8
SSACFG: use op counts to decide for a target stack size and gas for m…
clonker Mar 30, 2026
4daa7ab
Merge pull request #16566 from argotorg/ssa-use-gas-to-find-stack-size
clonker Mar 31, 2026
a05041a
Fix SSACFG stack layout generator stack-in inefficiency
clonker Apr 1, 2026
0164881
Merge pull request #16568 from argotorg/ssa-fix-stack-layout-gen-inef…
clonker Apr 1, 2026
0cbd39c
Only use gas accumulating callbacks in stack layout generator where n…
clonker Apr 1, 2026
a431a66
Change SSA stack layout to have exitIn instead of stackOut and save b…
clonker Apr 1, 2026
c9f62ba
Add "exitIn" to codespell whitelist
clonker Apr 1, 2026
cecb78e
Merge pull request #16569 from argotorg/ssa-stack-layout-has-exit-in
clonker Apr 2, 2026
d211fb2
handle conditional jump exits uniformly
clonker Apr 1, 2026
449363e
Merge pull request #16571 from argotorg/ssa-unify-jumpi-handling
clonker Apr 2, 2026
ca7d54c
Move coding-style check to GitHub actions
r0qs Oct 15, 2025
c3466bb
ssa stack shuffler returns status
clonker Apr 2, 2026
f180112
ssa shuffler tests report final shuffler status
clonker Apr 3, 2026
2bc5e30
allow broader columns in the ssa shuffler test output table
clonker Apr 7, 2026
8b505c3
add tests with cycles to ssa shuffler tests
clonker Apr 7, 2026
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
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
ddb5c4a
English documentation updates up to v0.8.35-42-g6fd1c6ca6 (2026-05-11)
soldocsbot May 11, 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