We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent bc88604 commit 5150987Copy full SHA for 5150987
README.md
@@ -6,8 +6,9 @@ KWasm: Semantics of WebAssembly in K
6
7
---
8
9
-This repository presents a prototype formal semantics of [WebAssembly].
10
-It is currently under construction.
+This repository presents the formal semantics of [WebAssembly].
+KWasm is a mature and production-ready semantics for WebAssembly, actively developed and maintained since 2019.
11
+
12
For examples of current capabilities, see the unit tests under the `tests/simple` directory.
13
14
Repository Structure
0 commit comments