Update CHANGES.md

formalsec · Sep 9, 2024 · a981f30 · a981f30
1 parent 79acd4d
commit a981f30
Showing 1 changed file with 6 additions and 1 deletion.
diff --git 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.