Persistent array updates with block generators

README.md

@@ -71,7 +71,7 @@ Then, run:
 ```bash
 make run_wast
 ```
-The interpreter is expected to pass all the other core tests (last tested on 17th Aug 2025):
+The interpreter is expected to pass all the other core tests (last tested on 11th Dec 2025):
 ```bash
 Total passed: 54004/54004 (100.00%)
 ```

changelogs/v2.2.1.md

@@ -0,0 +1,10 @@
+# Release 2.2.1
+
+## New Features
+- Extended the persistent array interfaces to allow bulk update by byte generators. This avoids creating redundant historic versions of memories and should result in a slight speedup in memory update operations.
+
+## Refactorings
+- Removed dependency on the Uint63 module. The persistent array module now uses OCaml's `int` instead, which is 63-bit on 64-bit OCaml.
+
+## Bugfixes
+- Corrected an errorneous type alias used in simd vector operations.

coq-wasm.opam

@@ -22,6 +22,7 @@ depends: [
   "linenoise" {>= "1.4.0"}
   "mdx" {>= "1.9.0"}
   "wasm" {>= "2.0.2" & <= "2.0.2"}
+  "zarith" {>= "1.11"}
   "odoc" {with-doc}
 ]
 build: [

dune-project

@@ -24,6 +24,7 @@
     (linenoise (>= 1.4.0))
     (mdx (>= 1.9.0))
     (wasm (and (>= 2.0.2) (<= 2.0.2)))
+    (zarith (>= 1.11))
   )
   (maintainers
     "Xiaojia Rao"