Update CHANGES.md

OCamlPro · Jul 15, 2024 · 4054a37 · 4054a37
1 parent 127a202
commit 4054a37
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,7 @@
 ## unreleased
 
-- adds a `Mem` argument to external function to allow direct manipulation of the memory.
+- parameterize the `Thread` module on the symbolic memory and the `Choice_monad` module on a Thread
+- adds a `Mem` argument to external function to allow direct manipulation of the memory
 - support other solvers through the `--solver` option (Z3, Colibri2, Bitwuzla and CVC5)
 - support the extended constant expressions proposal
 - `owi opt` and `owi sym` can run on `.wasm` files directly