Adjust changelogs

chrjabs · Jan 11, 2024 · 207b2a1 · 207b2a1
1 parent 2af9db9
commit 207b2a1
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 4 deletions.
diff --git a/glucose/CHANGELOG.md b/glucose/CHANGELOG.md
@@ -7,7 +7,6 @@ All notable changes to this project will be documented in this file.
 ### Bug Fixes
 
 - Build on non-linux
-- Test with minisat by default
 - Avoid pthread.h import
 
 ### Documentation

diff --git a/minisat/CHANGELOG.md b/minisat/CHANGELOG.md
@@ -7,7 +7,6 @@ All notable changes to this project will be documented in this file.
 ### Bug Fixes
 
 - Build on non-linux
-- Test with minisat by default
 
 ### Documentation
 

diff --git a/tools/CHANGELOG.md b/tools/CHANGELOG.md
@@ -4,9 +4,10 @@ All notable changes to this project will be documented in this file.
 
 ## [0.2.2] - 2024-01-11
 
-### Bug Fixes
+### Features
 
-- Test with minisat by default
+- Select minisat/cadical via a cargo feature
+- Moved integration tests to main crate
 
 ### Documentation