From 92ad9e31c383a7df4d65ef4385294d06aa1fa500 Mon Sep 17 00:00:00 2001 From: Christoph Jabs <98587286+chrjabs@users.noreply.github.com> Date: Mon, 18 Dec 2023 11:56:38 +0200 Subject: [PATCH] Update CHANGELOG.md --- CHANGELOG.md | 19 ++++++------------- 1 file changed, 6 insertions(+), 13 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 7d58b4ee..6496c6ab 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,6 +8,12 @@ All notable changes to this project will be documented in this file. - Set var manager in SatInstance::from_iter - Set vm correctly in SatInstance::from(Cnf) +- Coarse convergence bounds +- Link capi tests to archive libs +- Typo in capi +- Parse empty instances correctly +- Limited connections in node db +- Next value in db-referencing gtes ### Documentation @@ -26,19 +32,6 @@ All notable changes to this project will be documented in this file. - Constant method for objective - Allow cloning totalizer db -### Miscellaneous Tasks - -- Next value in db-referencing gtes - -### Bugfix - -- Coarse convergence bounds -- Link capi tests to archive libs -- Typo in capi -- Parse empty instances correctly -- Limited connections in node db - - ## [0.3.0] ### Refactor