Skip to content

fix(semantics): correct i256 error type, rem_euclid domain and 256-bit object tags - #128

Closed
mihaieremia wants to merge 1 commit into
runtimeverification:masterfrom
mihaieremia:feat/i256-host-support
Closed

fix(semantics): correct i256 error type, rem_euclid domain and 256-bit object tags#128
mihaieremia wants to merge 1 commit into
runtimeverification:masterfrom
mihaieremia:feat/i256-host-support

Commits

  1. Commits on Sep 15, 2026