3 Pull requests merged by 3 people

• SSA-CFG: Tiny code simplifications

  #16159 merged Aug 11, 2025

• [SMTChecker] Fix comparison of CHCVerificationTarget for proper std::set ordering

  #16147 merged Aug 11, 2025

• chore: improve code readability and style in regressions.py and splitSources.py

  #15959 merged Aug 7, 2025

6 Pull requests opened by 6 people

• Docs: Quickstart test run + --via-ir optimizer example

  #16156 opened Aug 8, 2025

• Update GitHub Actions in CI Workflow

  #16160 opened Aug 11, 2025

• Yul expression simplifier: Don't substitute out of scope variables

  #16161 opened Aug 12, 2025

• build: update checkout action to v5

  #16162 opened Aug 12, 2025

• Fix build with Boost 1.89.0

  #16163 opened Aug 12, 2025

• fix(formal): implement EncodingContext::clear and const-qualify solverStackHeight()

  #16164 opened Aug 13, 2025

3 Issues opened by 2 people

• [Yul] Expression simplifier can produce invalid Yul code

  #16155 opened Aug 7, 2025

• Metadata improvements and extra output for source verification

  #16154 opened Aug 7, 2025

• Metadata `.car` output

  #16153 opened Aug 6, 2025

22 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.

• Constant evaluator support for member constants

  #16056 commented on Aug 10, 2025 • 3 new comments

• Removed SHR (>>>) operator

  #15848 commented on Aug 7, 2025 • 2 new comments

• Introduce subassembly offset output artifact

  #15710 commented on Aug 7, 2025 • 1 new comment

• Refactor Dockerfile: Add Optimizations for Building Dependencies in Dockerfile

  #16149 commented on Aug 6, 2025 • 0 new comments

• Add Cyfrin's glossary to Resources in the docs

  #16081 commented on Aug 13, 2025 • 0 new comments

• Fix crash when declaring function selector of parent class as public constant

  #16053 commented on Aug 11, 2025 • 0 new comments

• Improve ethdebug resources output

  #16043 commented on Aug 11, 2025 • 0 new comments

• Soltest error handling refactor

  #16014 commented on Aug 12, 2025 • 0 new comments

• Import/namespace and test extension handling cleanup in soltest

  #16013 commented on Aug 12, 2025 • 0 new comments

• Fix array assignment and deletion at storage slot overflow boundary

  #15984 commented on Aug 11, 2025 • 0 new comments

• Integrate numerical label IDs to Yul

  #15969 commented on Aug 9, 2025 • 0 new comments

• Add builtin erc7201

  #15968 commented on Aug 7, 2025 • 0 new comments

• Support constants in custom storage layout expression

  #15944 commented on Aug 7, 2025 • 0 new comments

• chore(build): prefer system deps for fmt/nlohmann_json/range-v3

  #15414 commented on Aug 7, 2025 • 0 new comments

• Reserve keywords and remove identifier exceptions for 0.9.0

  #14770 commented on Aug 13, 2025 • 0 new comments

• Compile-time evaluation of member constants

  #16055 commented on Aug 10, 2025 • 0 new comments

• Canonical serialization format for JSON metadata v2+

  #16150 commented on Aug 7, 2025 • 0 new comments

• IPFS hash feature use non-specified algorithm which is not widely compatible in the ecosystem

  #14389 commented on Aug 7, 2025 • 0 new comments

• Metadata v2

  #16152 commented on Aug 7, 2025 • 0 new comments

• Cannot link unqualified library names via Standard JSON

  #12145 commented on Aug 7, 2025 • 0 new comments

• Expose sub-structure of bytecode

  #9332 commented on Aug 7, 2025 • 0 new comments

• Outputting the CBOR Metadata positions in the bytecode

  #14827 commented on Aug 7, 2025 • 0 new comments