Update CHANGES.md

formalsec · Oct 25, 2024 · 6130281 · 6130281
1 parent 358ca09
commit 6130281
Showing 1 changed file with 7 additions and 3 deletions.
diff --git 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