Merge pull request #22 from formalsec/stub-side-rc

Stub-side reference counting
formalsec · Jul 8, 2024 · 3becf5d · 3becf5d
2 parents 08d8942 + f5bb405
commit 3becf5d
Show file tree

Hide file tree

Showing 2 changed files with 157 additions and 101 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,14 @@
-## 1.1.3 (2024-06-08)
+## Unreleased
+
+### Added
+
+Stub-side reference counting to deal with GC collection order
+
+### Changed
+
+### Fixed
+
+## 1.1.3
 
 Initial release.
 
@@ -20,6 +30,4 @@ Stubs with support for the following cvc5 API classes:
 
 ### Changed
 
-### Deprecated
-
 ### Fixed