Skip to content

fix: --prove reads a constant array cast whole or element by element alike - #154

Merged
jasdeepkhalsa merged 1 commit into
mainfrom
fix/prove-array-casts
Oct 21, 2026
Merged

jasdeepkhalsa merged 1 commit into
mainfrom
fix/prove-array-casts

Commits

  1. Commits on Oct 21, 2026