Verify udiv - Githubissues

avanhatt / wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

https://wasmtime.dev/

Apache License 2.0

0 stars 1 forks source link

Verify udiv #37

Closed mpardesh closed 1 year ago

mpardesh commented 1 year ago

Verify udiv. Currently:

ignores inputs that would trap (see #31)
slow for 16 and 32 bits (see #36)