Make `numberCvtOp` total

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K

Other

74 stars 18 forks source link

Closed bbyalcinkaya closed 1 month ago

bbyalcinkaya commented 1 month ago

This PR aims to prevent Booster's fallback on conversion operations, includes the following changes:

Define IWidth to represent integer widths and avoid using Int whenever possible.
Remove #signedWidth function.
Make numberCvtOp total.