Merge branch 'master' into _update-deps/runtimeverification/k

runtimeverification · Dec 11, 2024 · 66ebf3b · 66ebf3b
2 parents 2ccf739 + 5150987
commit 66ebf3b
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -6,8 +6,9 @@ KWasm: Semantics of WebAssembly in K
 
 ---
 
-This repository presents a prototype formal semantics of [WebAssembly].
-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.
+
 For examples of current capabilities, see the unit tests under the `tests/simple` directory.
 
 Repository Structure