8 Pull requests merged by 3 people

• Adds repeats to external benchmarks

  #15965 merged Mar 26, 2025

• ossfuzz and Yul interpreter use ast over block

  #15954 merged Mar 22, 2025

• AsmAnalysis: Stronger use of fmt, refactor function call analysis

  #15941 merged Mar 21, 2025

• Update metadata docs for "libraries" and "compilationSettings" fields

  #15895 merged Mar 21, 2025

• SMTChecker: Fix string literal to fixed bytes conversion with user-defined type

  #15963 merged Mar 21, 2025

• AssemblyItem gets an optional instruction

  #15934 merged Mar 21, 2025

• Make the peephole optimizer more optimizer-friendly

  #15957 merged Mar 21, 2025

• IRGeneratorForStatements: Remove outdated check against usr$ prefixing of builtins

  #15952 merged Mar 21, 2025

7 Pull requests opened by 6 people

• Introduce universal compilation host to execution framework

  #15960 opened Mar 20, 2025

• Better safeguard against incompatible builtin handles between dialects

  #15961 opened Mar 20, 2025

• Polishing up any minor spelling errors

  #15966 opened Mar 25, 2025

• fix: Remove unnecessary Expression temporary in CHCSmtLib2Interface

  #15967 opened Mar 25, 2025

• Add builtin erc7201

  #15968 opened Mar 25, 2025

• Integrate numerical label IDs to Yul

  #15969 opened Mar 26, 2025

• [docs] Update security-considerations.rst

  #15970 opened Mar 26, 2025

4 Issues closed by 3 people

• SMT logic error from incorrect handling of fixed bytes to user defined value type conversion

  #15888 closed Mar 21, 2025

• Cannot build solidity with gcc-15.0.1 -O3 but builds just fine with -O2

  #15933 closed Mar 21, 2025

• Dynamic array in a struct returned by a getter is not listed in the ABI output

  #15962 closed Mar 21, 2025

• Custom errors defined in libraries and referenced by contracts do not appear in ABI

  #15958 closed Mar 21, 2025

1 Issue opened by 1 person

• Function in a library is not listed in the ABI output

  #15964 opened Mar 21, 2025

16 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Fix inconsistent negative subassembly indices between different sizeof(size_t)

  #15955 commented on Mar 24, 2025 • 20 new comments

• Add support for enum values in NatSpec

  #15956 commented on Mar 21, 2025 • 11 new comments

• SMTChecker: Loop conditions should be analyzed as in loop context in BMC

  #15862 commented on Mar 21, 2025 • 7 new comments

• Enrich document with using getter function over state struct instance

  #15526 commented on Mar 21, 2025 • 5 new comments

• Switch from web3.js to ethers.js

  #15760 commented on Mar 20, 2025 • 2 new comments

• Support constants in custom storage layout expression

  #15944 commented on Mar 27, 2025 • 1 new comment

• Fix Ubuntu 2025-04 "Plucky" builds

  #15936 commented on Mar 21, 2025 • 0 new comments

• Allow specifying storage locations

  #597 commented on Mar 23, 2025 • 0 new comments

• Lift restrictions against allocating the last storage slot

  #15911 commented on Mar 25, 2025 • 0 new comments

• Fix `outputSelection` affecting compilation order

  #15173 commented on Mar 21, 2025 • 0 new comments

• Make messages mandatory in errors

  #15671 commented on Mar 26, 2025 • 0 new comments

• Initial ethdebug tool.

  #15789 commented on Mar 26, 2025 • 0 new comments

• Add id dispenser for numerical yul node ids

  #15838 commented on Mar 25, 2025 • 0 new comments

• [DO NOT MERGE; EOF] Draft of some experiments with libevmasm optimizer for EOF

  #15921 commented on Mar 26, 2025 • 0 new comments

• Remove Z3 from ppa scripts and add ubuntu plucky.

  #15932 commented on Mar 21, 2025 • 0 new comments

• Mask generator optimizations

  #15935 commented on Mar 25, 2025 • 0 new comments