diff --git a/CHANGES.md b/CHANGES.md index 6faa93a02..de67afd8e 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -3,10 +3,10 @@ - `owi opt` and `owi sym` can run on `.wasm` files directly - remove dependency on `wabt` - better API for `Parse`, `Compile` and `Simplified` (renamed to `Binary`), added a `Binary_to_tex` module +- add `owi conc` subcommands and `owi c --concolic`: concolic mode ## 0.2 - 2024-04-24 -- add `owi conc` subcommands and `owi c --concolic`: concolic mode - use a subcommand system for the `owi` binary - add `owi c`, `owi fmt`, `owi opt`, `owi sym`, `owi validate` and `owi wasm2wat` subcommands - add a fuzzer