runtimeverification / wasm-semantics

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

Improve tokenisation support #662

Open gtrepta opened 1 week ago

gtrepta commented 1 week ago

https://github.com/WebAssembly/spec/commit/e0a6a312fa28c216d0b204e553e0c6d8c7cb440d makes tweaks to the lexical analysis and introduces conformance tests that break our parser. We will need to improve our own lexer/parser to support these tests.