From 54e107635f587a5a231b9810282e31ece227d6f4 Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Mon, 15 Jul 2024 16:36:28 +0200 Subject: [PATCH] Update CHANGES.md --- CHANGES.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index af9304922..a30bc03a4 100644 --- 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