Issues

• EVMYulLean fork conformance probe failed

  lfglabs-dev/verity#2650 · Filter by author github-actions opened on Oct 26, 2026

• [Compiler Enhancement] solidity_import: <address>.codehash (EXTCODEHASH), like <address>.code.length

  lfglabs-dev/verity#2627 · Filter by author rdubois-crypto opened on Oct 21, 2026

• [Compiler Enhancement] solidity_import: inline array literals ([uint256(c0), c1, …]) as memory arrays

  lfglabs-dev/verity#2626 · Filter by author rdubois-crypto opened on Oct 21, 2026

• [Compiler Enhancement] solidity_import: fixed-size memory arrays uint256[N] as parameters, locals and helper results

  lfglabs-dev/verity#2625 · Filter by author rdubois-crypto opened on Oct 21, 2026

• [Compiler Enhancement] solidity_import: signed int256 arithmetic (%, /, comparisons, casts) in roots and helpers

  lfglabs-dev/verity#2624 · Filter by author rdubois-crypto opened on Oct 21, 2026

• [Compiler Enhancement] solidity_import: named bytes memory returns, memory structs with bytes members, and calldata slices as helper arguments

  lfglabs-dev/verity#2623 · Filter by author rdubois-crypto opened on Oct 21, 2026

• [Compiler Enhancement] solidity_import: dynamic memory arrays (uint256[], uint256[][]) as helper results, parameters and struct members

  lfglabs-dev/verity#2622 · Filter by author rdubois-crypto opened on Oct 21, 2026

• [Compiler Enhancement] solidity_import: report every unsupported construct of a root instead of stopping at the first

  lfglabs-dev/verity#2621 · Filter by author rdubois-crypto opened on Oct 21, 2026

• [Compiler Enhancement] solidity_import: general inline assembly blocks (Yul loops, memory and calldata access at computed offsets, staticcall to a fixed helper) through a Yul denotation rather than idiom shims

  lfglabs-dev/verity#2620 · Filter by author rdubois-crypto opened on Oct 21, 2026