From 6130281f8c1af02bcdfac3b7fce7dd225210a1da Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Fri, 25 Oct 2024 12:44:11 +0100
Subject: [PATCH] Update CHANGES.md

---
 CHANGES.md | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index fdf99277..4bfc11ec 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,15 +1,19 @@
 ## Unreleased
 
+### Added
+### Fixed
+### Changed
+
+## v0.3.0
+
 ### Added
 
+- Add Dockerfile to built smtml using docker
 - Add `Alt-Ergo` mappings
 - Use `Dolmen` to parse smt2 benchmarks
 - Add `Binder` expression to model: `Forall`, `Exists`, and `Let_in`
 - Provide hashconsed sets of expressions in `Expr.Set`
 
-### Fixed
-### Changed
-
 ## v0.2.5
 
 ### Fixed