search

avanhatt / wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift
https://wasmtime.dev/
Apache License 2.0
0 stars 1 forks source link

veri: implies spec op #99

Closed mmcloughlin closed 7 months ago

mmcloughlin commented 7 months ago

This PR implements the implies => spec operator.

Note this operator already exists in the annotation IR and veri IR levels, so this PR just does the plumbing to connect up to the parser.