From a981f30a131b933e83375ffb5b3ed3fa6f293887 Mon Sep 17 00:00:00 2001
From: joaomhmpereira <joaompereira07@gmail.com>
Date: Mon, 9 Sep 2024 14:41:59 +0100
Subject: [PATCH] Update CHANGES.md

---
 CHANGES.md | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/CHANGES.md b/CHANGES.md
index 0268d44..f07a5a2 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,14 +1,19 @@
-## Unreleased
+## 1.2.0
 
 ### Added
 
 - Stub-side reference counting to deal with GC collection order
 - Refactor stubs to include `CAMLparam`, `CAMLlocal`, and `CAMLreturn` directives to safeguard GC interactions
+- Documentation for module interfaces
 
 ### Changed
 
+- Updated the version of cvc5 supported to v1.2.0
+
 ### Fixed
 
+- Changed number of Opam jobs used during compilation to avoid excessive memory use 
+
 ## 1.1.3
 
 Initial release.