Issues

• SMTChecker: empty tuples are printed as the undeclared constant tuple_constructor in SMT-LIB queries (regression of #14929/#14989 since 0.8.29)

  bug 🐛
  argotorg/solidity#17192 · Filter by author desaperh opened on Nov 6, 2026

• Add predicate expectations to ethdebugTests

  feature
  argotorg/solidity#17185 · Filter by author djolertrk opened on Nov 5, 2026
  1

• ERC7201 builtin used in division or modulo with non-constant argument causes valid code to be rejected with spurious error

  bug 🐛
  argotorg/solidity#17177 · Filter by author matheusaaguiar opened on Nov 3, 2026
  1

  

• SMTChecker: Remove BMC engine

  medium effortsmt
  argotorg/solidity#17175 · Filter by author blishko opened on Nov 2, 2026
  

• Yul optimizer: popScope omits variableChanged() on KnowledgeBase — sibling of PR #17116 (and 865543a6)

  argotorg/solidity#17174 · Filter by author symposia-gi opened on Nov 2, 2026

• SMTChecker: writeStateVars retains function->annotation().contract at CHC.cpp:1149 — sibling of PR #17151

  argotorg/solidity#17173 · Filter by author symposia-gi opened on Nov 2, 2026

• Yul ConstantOptimiser rewrites the literal argument of memoryguard, causing an ICE in AsmAnalysis

  bug 🐛
  argotorg/solidity#17172 · Filter by author AYUSHSHARMA9817 opened on Oct 31, 2026
  1

• SMTChecker CHC, trusted external calls: after a view call the caller's state variables stay bound to the callee's storage

  smt
  argotorg/solidity#17164 · Filter by author JeroenRobben opened on Oct 27, 2026

• SMTChecker models send as always succeeding: the balance is decreased even when send returns false, so false assertions are proved safe

  smt
  argotorg/solidity#17163 · Filter by author JeroenRobben opened on Oct 27, 2026

• narrowing conversion of an out-of-range constant variable is not truncated, so failing assertions are proved safe

  smt
  argotorg/solidity#17162 · Filter by author JeroenRobben opened on Oct 27, 2026

• shift amount is reduced modulo 2^(width of left operand), so int8(5) >> 256 is proved equal to 5

  smt
  argotorg/solidity#17161 · Filter by author JeroenRobben opened on Oct 27, 2026

• unchecked type(intN).min / -1 does not wrap (divisor compared with size_t max instead of -1), so false assertions are proved safe

  smt
  argotorg/solidity#17160 · Filter by author JeroenRobben opened on Oct 27, 2026

• delete x on a state variable does not erase knowledge of storage pointers aliasing x (false "safe")

  smt
  argotorg/solidity#17159 · Filter by author JeroenRobben opened on Oct 27, 2026

• write through x.member[i] / a[i][j] / m[k] = ... does not erase aliases of the inner reference (false "safe" in CHC and BMC)

  smt
  argotorg/solidity#17158 · Filter by author JeroenRobben opened on Oct 27, 2026

• SMTChecker: implicit bytesN -> bytesM (M > N) conversion is modelled without right-padding, so failing assertions are proved safe

  smt
  argotorg/solidity#17157 · Filter by author JeroenRobben opened on Oct 27, 2026

• CHC proves a failing assertion safe when an internal function writes through a memory argument

  smt
  argotorg/solidity#17156 · Filter by author JeroenRobben opened on Oct 27, 2026

• SMTChecker CHC, --model-checker-ext-calls trusted: a call to an inherited function writes the callee's storage under the base contract, so the derived contract's reads miss it

  bug 🐛low impactmedium effortsmt
  argotorg/solidity#17155 · Filter by author JeroenRobben opened on Oct 27, 2026
  1

  

• Clarify optimizer condition in the bug list, rename to evmasmOptimizer

  documentation 📖
  argotorg/solidity#17139 · Filter by author clonker opened on Oct 22, 2026

• [via-IR][optimizer] Infinite hang in StackLayoutGenerator stack shuffler with unchecked narrow arithmetic + console.log + assert

  bug 🐛low impactmedium effortperformance 🐎viair
  argotorg/solidity#17134 · Filter by author ycy1316187042 opened on Oct 21, 2026
  2

• Logging for the solidity compiler

  feature
  argotorg/solidity#17130 · Filter by author msooseth opened on Oct 20, 2026
  9

• ethdebug: instruction source ranges always reference the contract's own source unit

  bug 🐛
  argotorg/solidity#17129 · Filter by author clonker opened on Oct 20, 2026

• [SMTChecker] CHC proves a failing assertion safe when an internal function is called via a function pointer

  bug 🐛low impactmedium effortsmt
  argotorg/solidity#17115 · Filter by author jungmin628 opened on Oct 13, 2026
  

• Solc issues found during fuzzing (mainly cosmetic)

  bug 🐛low effortlow impact
  argotorg/solidity#17114 · Filter by author MariusVanDerWijden opened on Oct 13, 2026
  1

• ICE when applying function call syntax to single element tuples containing comptime builtins, errors or events

  bug 🐛low effortlow impactmust have eventuallyshould compile without error
  Bug

  argotorg/solidity#17111 · Filter by author rodiazet opened on Oct 12, 2026
  6

• DataFlowAnalyzer-based optimizer steps need FunctionHoister, but only document Disambiguator and ForLoopInitRewriter

  bug 🐛
  argotorg/solidity#17103 · Filter by author msooseth opened on Oct 8, 2026