argotorg

Issues somebody may already be working on are listed last. List everything by date

• Forwarding calldata through MemBuffer costs 40-60 gas a call more than solc's inline assembly

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 32/100

  argotorg/fe#2002 · Opened Nov 14, 2026

  Maintainers usually reply within 1 day

• Support contracts assembled with geas

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 8/100

  argotorg/sourcify#3066 · Opened Nov 13, 2026

  Maintainers usually reply within 1 day

• `hevm test` exits 1 before printing results when stderr is not a terminal and the locale is not UTF-8

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 78/100

  argotorg/hevm#1252 · Opened Nov 13, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug :bug:

  Difficulty 3/5 1-2 days Newbie friendliness 58/100

  argotorg/solidity#17212 · Opened Nov 11, 2026

  Maintainers usually reply within 1 day

• Let test directives set the sender

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 55/100

  argotorg/solcore-rs#154 · Opened Nov 10, 2026

  Maintainers usually reply within 1 day

• Brownout openchain.xyz

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  argotorg/sourcify#3061 · 1 reaction · Opened Nov 10, 2026

  Maintainers usually reply within 1 day

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

  May be free again A pull request for this issue was closed without being merged. Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  smt

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  argotorg/solidity#17193 · 1 comment · Opened Nov 8, 2026

  Maintainers usually reply within 1 day

• Language server: allow turning off or excluding the "not part of an ingot" warning for standalone files

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 57/100

  argotorg/fe#1947 · Opened Nov 6, 2026

  Maintainers usually reply within 1 day

• Language server: requests about an opened file fail with "File not found" when the startup scan skipped it

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 72/100

  argotorg/fe#1946 · Opened Nov 6, 2026

  Maintainers usually reply within 1 day

• sol2stele: library calls resolve to same-named contract functions

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 76/100

  argotorg/EquiVM#42 · Opened Nov 6, 2026

• Add predicate expectations to ethdebugTests

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  feature

  Difficulty 4/5 3-5 days Newbie friendliness 50/100

  argotorg/solidity#17185 · 1 comment · Opened Nov 5, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 55/100

  argotorg/solidity#17174 · Opened Nov 2, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 55/100

  argotorg/solidity#17173 · Opened Nov 2, 2026

  Maintainers usually reply within 1 day

• Next.js 14 is past end-of-life: is contentlayer2 part of the blocker?

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  argotorg/argot.org#31 · Opened Oct 28, 2026

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  smt

  Difficulty 4/5 3-5 days Newbie friendliness 55/100

  argotorg/solidity#17164 · Opened Oct 27, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  smt

  Difficulty 4/5 3-5 days Newbie friendliness 38/100

  argotorg/solidity#17163 · Opened Oct 27, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  smt

  Difficulty 4/5 3-5 days Newbie friendliness 43/100

  argotorg/solidity#17162 · Opened Oct 27, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  smt

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  argotorg/solidity#17161 · Opened Oct 27, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  smt

  Difficulty 4/5 3-5 days Newbie friendliness 49/100

  argotorg/solidity#17160 · Opened Oct 27, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  smt

  Difficulty 4/5 3-5 days Newbie friendliness 45/100

  argotorg/solidity#17159 · Opened Oct 27, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  smt

  Difficulty 4/5 3-5 days Newbie friendliness 42/100

  argotorg/solidity#17158 · Opened Oct 27, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  smt

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  argotorg/solidity#17157 · Opened Oct 27, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  smt

  Difficulty 4/5 3-5 days Newbie friendliness 38/100

  argotorg/solidity#17156 · Opened Oct 27, 2026

  Maintainers usually reply within 1 day

• Captured-variable assignment produces invalid Hull when not constant-folded

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 57/100

  argotorg/solcore#626 · Opened Oct 23, 2026

• Proposal: declared storage locations for contract fields

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  argotorg/solcore-rs#122 · Opened Oct 23, 2026

  Maintainers usually reply within 1 day

• Feature request: Allow mapping fields in storage structs and storage references to structs

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 35/100

  argotorg/solcore-rs#121 · Opened Oct 23, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  documentation :book:

  Difficulty 5/5 Over a week Newbie friendliness 35/100

  argotorg/solidity#17139 · Opened Oct 22, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug :bug: low impact medium effort performance :racehorse: viair

  Difficulty 4/5 3-5 days Newbie friendliness 45/100

  argotorg/solidity#17134 · 2 comments · Opened Oct 21, 2026

  Maintainers usually reply within 1 day

• Design: Named events and emit

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  argotorg/solcore-rs#94 · Opened Oct 20, 2026

  Maintainers usually reply within 1 day

• Design: Custom errors encoded on revert

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  argotorg/solcore-rs#93 · Opened Oct 20, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug :bug:

  Difficulty 3/5 1-2 days Newbie friendliness 57/100

  argotorg/solidity#17129 · Opened Oct 20, 2026

  Maintainers usually reply within 1 day

• Design for global constants

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 5/5 Over a week Newbie friendliness 35/100

  argotorg/solcore-rs#91 · 1 comment · Opened Oct 20, 2026

  Maintainers usually reply within 1 day

• `--sig` forces the upper 96 bits of `address` arguments to zero but leaves `uint160`/`uint8`/`bool` unconstrained: QED for reachable calldata

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  wont-fix

  Difficulty 3/5 1-2 days Newbie friendliness 62/100

  argotorg/hevm#1175 · 1 comment · Opened Oct 19, 2026

  Maintainers usually reply within 1 day

• `--sig` rejects canonical ABI signatures that contain `bytes`, `string`, arrays or tuples

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  enhancement

  Difficulty 3/5 1-2 days Newbie friendliness 63/100

  argotorg/hevm#1172 · 1 comment · Opened Oct 19, 2026

  Maintainers usually reply within 1 day

• hevm equivalence reports programs that fail with different exceptional halts as not equivalent

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 1-2 days Newbie friendliness 45/100

  argotorg/hevm#1165 · 1 comment · Opened Oct 19, 2026

  Maintainers usually reply within 1 day

• Exponential time and memory for a storage counter incremented next to symbolic-key writes

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  enhancement

  Difficulty 4/5 3-5 days Newbie friendliness 42/100

  argotorg/hevm#1162 · Opened Oct 18, 2026

  Maintainers usually reply within 1 day

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

  May be free again @blishko claimed this 32 days ago, and no pull request is open. Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug :bug: low impact medium effort smt

  argotorg/solidity#17115 · 1 assignee · Opened Oct 13, 2026

  Maintainers usually reply within 1 day

• Solc issues found during fuzzing (mainly cosmetic)

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug :bug: low effort low impact

  Difficulty 4/5 3-5 days Newbie friendliness 30/100

  argotorg/solidity#17114 · 1 comment · Opened Oct 13, 2026

  Maintainers usually reply within 1 day

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

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel
  bug :bug: low effort low impact must have eventually should compile without error

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  argotorg/solidity#17111 · 6 comments · Opened Oct 12, 2026

  Maintainers usually reply within 1 day

• Discuss warnings for accidental self-calls after function shadowing

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 57/100

  argotorg/solcore#617 · Opened Oct 12, 2026

• Inlining discards side effects in unused arguments

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  argotorg/solcore#616 · Opened Oct 12, 2026

• Runtime memory writes do not invalidate compile-time heap values

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 43/100

  argotorg/solcore#615 · Opened Oct 12, 2026

• Yul constant substitution loses lexical scope

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 52/100

  argotorg/solcore#614 · Opened Oct 12, 2026

• Type witnesses ignore renamed Proxy imports

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 72/100

  argotorg/solcore#613 · Opened Oct 12, 2026

• User-defined t_closure types trigger generated-closure handling

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 72/100

  argotorg/solcore#612 · Opened Oct 12, 2026

• Function types lose the arity of a single tuple parameter

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 3/5 1-2 days Newbie friendliness 62/100

  argotorg/solcore#611 · Opened Oct 12, 2026

• Tabled solver rejects a storage assignment accepted by the legacy solver

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  argotorg/solcore#610 · Opened Oct 12, 2026

• ABI validation misses parameterized types and selector collisions

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 42/100

  argotorg/solcore#609 · Opened Oct 12, 2026

• Primitive word is advertised as uint256 but lacks external ABI evidence

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 4/5 3-5 days Newbie friendliness 42/100

  argotorg/solcore#608 · Opened Oct 12, 2026

• Runtime main accepts parameters without an argument source

  Open

  ⋯Report a problem with this issue

  • Is something wrong?

  • Already taken
  • Not beginner-friendly
  • Stale or invalid
  • Something else…
  • Send Cancel

  Difficulty 2/5 1-3 hours Newbie friendliness 72/100

  argotorg/solcore#607 · Opened Oct 12, 2026