Add model-checking#2399 as major change to CHANGELOG.md

adpaco-aws · May 1, 2023 · 0329391 · 0329391
1 parent 225dc40
commit 0329391
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,12 @@ This file contains notable changes (e.g. breaking changes, major changes, etc.)
 
 This file was introduced starting Kani 0.23.0, so it only contains changes from version 0.23.0 onwards.
 
+## [0.27.0]
+
+### Major changes
+
+* Added a `--exclude` option (requires `--workspace`) that allows excluding packages from verification by @adpaco-aws in #2399
+
 ## [0.26.0]
 
 ### What's Changed