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

fix(semantics): correct i256 error type, rem_euclid domain and 256-bi…

80e07f1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Version Bump
succeeded Sep 16, 2026 in 3s