From 245fa57af25977a589403aa9f9bbb583e07c0f03 Mon Sep 17 00:00:00 2001
From: Pierre Chambart <pierre.chambart@ocamlpro.com>
Date: Sat, 27 Apr 2024 02:25:52 +0200
Subject: [PATCH] Changelog entry

---
 CHANGES.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGES.md b/CHANGES.md
index 1defcca37..098577d53 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -2,6 +2,7 @@
 
 ## 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