Replace usages of `priorities`, `require`, and `import` - Githubissues

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K

Other

74 stars 18 forks source link

Replace usages of `priorities`, `require`, and `import` #582

Closed Scott-Guest closed 4 months ago

Scott-Guest commented 4 months ago

Part of runtimeverification/k#4009

Replace usages of deprecated tokens:

syntax priorities with syntax priority
require with requires
import with imports