Avoid `#if` in `select` - Githubissues

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K

Other

74 stars 18 forks source link

Avoid `#if` in `select` #629

Closed bbyalcinkaya closed 2 weeks ago