search

avanhatt / wasmtime

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

Add `or_many`, `and_many` to annotation language #61

Closed avanhatt closed 11 months ago

avanhatt commented 1 year ago

Analogous to easy_smt's constructs, it's a pattern we do frequently and would clean up annotations.

avanhatt commented 11 months ago

Resolved with https://github.com/avanhatt/wasmtime/commit/6e0a601361ac92db65de1413afab97e036cbed98