Search results

Replace equality with less than in <code>SafeTargetsCompare</code> operator for proper <code>std::set</code> ordering

external contribution ⭐

smt

Status: Open (in progress).

ethereum/soliditynumber 16147

#16147 In ethereum/solidity;

· radik878 opened on Aug 5, 2025

docs, scripts: Fix inheritance explanation and help text typo

documentation 📖

external contribution ⭐

Status: Open (in progress).

ethereum/soliditynumber 16145

#16145 In ethereum/solidity;

· vipocenka opened on Aug 4, 2025

docs: improved documentation of evaluation order differences

documentation 📖

external contribution ⭐

Status: Open (in progress).

ethereum/soliditynumber 16143

#16143 In ethereum/solidity;

· avorylli opened on Aug 4, 2025

ci: add github actions for checking docs, antlr grammar, and proofs when files are changed

external contribution ⭐

Status: Open (in progress).

ethereum/soliditynumber 16135

#16135 In ethereum/solidity;

· sbillig opened on Jul 25, 2025

testing circleci/ccache usage across prs, plz ignore

external contribution ⭐

Status: Open (in progress).

ethereum/soliditynumber 16126

#16126 In ethereum/solidity;

· sbillig opened on Jul 19, 2025

CircleCI slimming [WIP]

external contribution ⭐

Status: Open (in progress).

ethereum/soliditynumber 16125

#16125 In ethereum/solidity;

· sbillig opened on Jul 18, 2025

EIP-7939 CLZ for Osaka

external contribution ⭐

Status: Open (in progress).

ethereum/soliditynumber 16122

#16122 In ethereum/solidity;

· Saw-mon-and-Natalie opened on Jul 16, 2025

Fix input file name display in benchmark_contract function

external contribution ⭐

Status: Open (in progress).

ethereum/soliditynumber 16111

#16111 In ethereum/solidity;

· Galoretka opened on Jul 10, 2025

Update GitHub Actions Stale Workflow

external contribution ⭐

Status: Open (in progress).

ethereum/soliditynumber 16099

#16099 In ethereum/solidity;

· PixelPil0t1 opened on Jun 28, 2025

Add Cyfrin's glossary to Resources in the docs

documentation 📖

external contribution ⭐

Status: Open (in progress).

ethereum/soliditynumber 16081

#16081 In ethereum/solidity;

· PatrickAlphaC opened on Jun 9, 2025

[DRAFT] No more isabelle ABI checking ossfuzz binary

external contribution ⭐

Status: Open (in progress).

ethereum/soliditynumber 16070

#16070 In ethereum/solidity;

· msooseth opened on May 30, 2025

feat: Convert verbatim into a single builtin with literal arguments

external contribution ⭐

Status: Open (in progress).

ethereum/soliditynumber 16024

#16024 In ethereum/solidity;

· DeVikingMark opened on Apr 26, 2025