✨ 📝 Generate WASM Theorems#181

Merged

0xGeorgii merged 3 commits into

mainfrom

yoshihiro503@wasm_theorem_generator

May 12, 2026

Commits on Apr 30, 2026

feat: :sparkles: :memo: Generate the Theorems for the Verification of Target WASM code
Yoshihiro Imai
committed
Update core/wasm-to-v/src/translator.rs

authored and
Yoshihiro Imai
committed

Commits on May 11, 2026

feat: introduce a section
Yoshihiro Imai
committed