Encode "if not previous rules" for overlapping rules, including priority semantics - Githubissues

avanhatt / wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

https://wasmtime.dev/

Apache License 2.0

0 stars 1 forks source link

Encode "if not previous rules" for overlapping rules, including priority semantics #32

Open avanhatt opened 1 year ago

avanhatt commented 1 year ago

Right now we are handling this via adding assumptions explicitly.