Proto commits in ethereum/solidity

These 98 commits are when the Protocol Buffers files have changed:

2026-07-07

Introduce EVM version Amsterdam

2026-04-02

This was wrong, fixing. we NEED memoryguard

Fix memorygurad related issues

2026-03-30

MORE stuff

2026-03-23

Add more features

2026-03-19

More ● All four phases are implemented and building successfully. Here's a summary of what was done: Phase 1 - Event/Log Comparison: solProtoFuzzer2.cpp now captures recorded_logs from the EVMHost after each run and compares them between optimized/unoptimized and viaIR/legacy runs. Phase 2 - Storage Comparison: Same file captures all account storage state and compares current values between runs (skipping access_status which legitimately differs). Phase 3 - Expanded Parameter Types: Added ParamType enum (PARAM_UINT256, PARAM_BOOL, PARAM_ADDRESS, PARAM_BYTES32) to sol2Proto.proto. Functions declare params with actual types but convert them to uint256 shadow variables at the start of the body, keeping the expression system uniform. The test contract uses properly typed ABI signatures and casts calldata values. Phase 4 - Try/Catch Constructors: generateTestContract() now wraps each new ContractName() in try ... returns (ContractName inst) { ... } catch {}, so a reverting constructor skips that contract but continues testing others. CREATE2 salt is supported in the try syntax.

More

Add transient storage usage

More calldata fuzzing

Add calldata

2026-03-18

More built-in command

Fixes

Update

More

Update

2026-03-17

More fuzzing

Update

2026-03-02

Fixing up thanks to @r0qs

2026-02-25

Let's hope for this one None of this Less noise Update Compile now Less noise

2025-08-28

docs: update links to argotorg and ipsilon where appropriate

The documentation is generated from this commit.

2025-08-27

docs: update links to argotorg and ipsilon where appropriate

The documentation is generated from this commit.

2025-02-06

Introduces EVM version Osaka

2024-05-28

Introduce evm version prague

2024-02-06

Yul fuzzer: Support blobhash(uint) global function

2024-01-26

Merge pull request #14807 from ethereum/fuzz-transient-storage Yul fuzzer: Support transient storage.

Yul fuzzer: Support transient storage.

Yul proto fuzzer: Add mcopy builtin to generator.

2024-01-20

Yul fuzzer: Introduce basefee() and blobbasefee() builtins

2024-01-12

Yul fuzzer: Add Shanghai EVM version

2023-12-04

Introduce very simple verbatim construct in yul protobuf spec and converter.

Enable fuzzing of yul optimizer steps in optimiser setting.

2022-11-21

Add basic support for the EVM version Paris This mostly means testing with evmone, but instruction renaming of difficulty->prevrandao is omitted.

2022-08-12

Permit multiple indirections in coding calldata to and from memory/calldata.

2021-04-15

Add upto 32 function I/O parameters.

Add upto 32 function I/O parameters.

2021-04-14

Remove output parameters from function call since they are generated on the fly in the converter.

Changes to how function calls are generated.

2021-04-06

yul fuzzer: Permit upto 7 I/O function parameters (previously 4).

Changes to how function calls are generated.

2021-01-19

Enable fine grained yul optimizer fuzzing

2020-12-15

Abiv2 fuzzer: Enable differential fuzzing and remove support for string coding co-authored-by: Leonardo <leo@ethereum.org>

2020-12-10

Abiv2 fuzzer: Retrieve values to be encoded from the fuzzer

2020-12-03

Fuzzer: Enable fine-grained yul optimizer fuzzing

Add fuzzing steps for stacklimitevader, fakestacklimitevader, reasoningbasedsimplifier, and unusedfunctionparameterpruner

2020-07-27

Add proto fuzzer to test imports

2020-07-23

Merge pull request #9469 from ethereum/fix-9468 Yul fuzzer: Enable nested object references

2020-07-22

Yul fuzzer: Enable nested object references Co-authored-by: Đorđe Mijović <djordje.mijovic@gmail.com>

2020-07-21

Merge remote-tracking branch 'origin/develop' into breaking

2020-07-17

Add SPDX license identifier if not present already in source file Fixes: #9220

2020-05-28

ossfuzz: Remove PC from yul proto specification

2020-05-11

ossfuzz: Add sol proto fuzzer skeleton Co-Authored-By: Leonardo <leo@ethereum.org>

Fuzzer: Add test harness for solidity inheritance protobuf fuzzer Co-Authored-By: Leonardo <leo@ethereum.org>

ossfuzz: Add sol proto fuzzer skeleton

Review suggestions Co-Authored-By: Leonardo <leo@ethereum.org>

2020-05-09

Add fuzzer for testing clean up of dirty bits via inline assembly

2020-05-04

Add inline assembly

Add exception for stack too deep error and binop stmt

2020-05-01

Arithmetic fuzzer in a day

2020-04-27

Yul proto spec: Add multiple variable declaration statement

2020-04-15

Add solidity protobuf based inheritance fuzzer

Made proto spec a bit leaner and started work on contracts

Add adaptor and support library and interface inheritance

2020-02-11

yul proto fuzzer: Refactor dataoffset/size specification

2020-02-10

yul proto fuzzer: Support boolean literal generation

2020-01-24

yul proto fuzzer: Make function call generation optional

yul proto fuzzer: Add EVM version field

2020-01-13

Add multi variable decl statement; use dummy expressions instead of dictionary tokens alone; dont visit blocks unless they contain at least one statement

2020-01-07

yul proto fuzzer: Make function call generation optional

yul proto fuzzer: Add EVM version field

Adapt tests directory to C++ namespace changes.

2019-11-19

Merge pull request #7745 from ethereum/develop Merge develop into develop_060

2019-11-18

Add chainid and selfbalance opcodes to yul proto converter and enable it in the yul proto differential fuzzer.

2019-11-11

Merge pull request #7681 from ethereum/develop Merge develop into develop_060

2019-11-06

abiv2 proto fuzzer: Fuzz return data coding

2019-11-04

Merge remote-tracking branch 'origin/develop' into develop_060

Abiv2 proto fuzzer: Refactor and add support for structs

2019-11-01

yul proto: Add leave statement

2019-09-11

Pseudo-randomly choose object/data identifier that is in scope

Add object access builtin functions

2019-09-04

Yul proto fuzzer: Additional blockchain opcodes

Yul proto fuzzer: Add create and call opcodes

Yul proto fuzzer: Make function definition a statement

2019-08-06

Test low level calls with correct and incorrect encodings

2019-07-17

Add bool type and array of bool and dynamic byte types

2019-07-09

ABIv2 proto fuzzer implementation for a limited set of value and non-value types (arrays included).

2019-06-14

For loop with custom init and post blocks and potentially unbounded conditional expression

2019-05-09

[Proto fuzzer] Add function calls, and multi variable declaration/assignment statements

2019-05-02

[Proto fuzzer]: Add terminating opcodes

Support generation of calldata, code, extcode and returndata opcodes

2019-04-30

Proto fuzzer: Add missing memory and log opcodes and fix visitation bug for ternary ops

2019-04-18

ossfuzz: Generate addmod and mulmod builtin functions

2019-04-17

Generate break and continue statements inside for loop body.

2019-04-04

Reference only those variables that are in scope.

2019-03-21

yul proto: Add support for generating string and hex literals.

2019-03-20

yul proto: Add support for generating for and switch statements.

2019-03-14

Add more binary operations to the yul proto spec.

Proto spec and translator bug fixes.

2019-03-05

LibProtobuf Mutator (LPM) based fuzzer for yul subset