Issues

• FileReader: Duplicate search paths cause false ambiguous imports

  bug 🐛
  argotorg/solidity#17213 · Filter by author zjuncal opened on Nov 12, 2026

• Standard JSON: "Unknown data object" error with a non-UTF-8 name replaces all output with "Error writing output JSON"

  bug 🐛
  argotorg/solidity#17212 · Filter by author d-xo opened on Nov 11, 2026

• Yul parser accepts function definitions in the body of a loop that is inside a for-loop init block

  bug 🐛
  argotorg/solidity#17211 · Filter by author d-xo opened on Nov 11, 2026
  1

• SSA-CFG: Yul assertion in a recursive function when spilling is disabled

  bug 🐛low effortlow impact
  argotorg/solidity#17202 · Filter by author jungmin628 opened on Nov 10, 2026
  1

• SMTChecker: gasleft() monotonicity assumption is unsound for the Amsterdam target and proves failing assertions safe

  smt
  argotorg/solidity#17193 · Filter by author ustas-eth opened on Nov 8, 2026
  1

• 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