search

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K
Other
74 stars 18 forks source link

Add `prec` to `WasmStringToken` #614

Closed tothtamas28 closed 3 months ago

tothtamas28 commented 3 months ago

Closes runtimeverification/k#4264

To avoid collision with the built-in String token.