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_ir: delete some dead code #89

Closed mmcloughlin closed 8 months ago

mmcloughlin commented 8 months ago

This PR deletes some types in veri_ir that appear to be unused.

All tests in cargo test in veri_engine still pass.