From 54f4facbd0013b536af9910206d1c91ec1625e95 Mon Sep 17 00:00:00 2001
From: "Celina G. Val" <celinval@amazon.com>
Date: Mon, 6 Mar 2023 09:08:48 -0800
Subject: [PATCH 1/3] Update and rename CHANGELOG to CHANGELOG.md

Added build cache to a Major Changes section. I also edited the Breaking Changes to conform to our usual format.
---
 CHANGELOG => CHANGELOG.md | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)
 rename CHANGELOG => CHANGELOG.md (61%)

diff --git a/CHANGELOG b/CHANGELOG.md
similarity index 61%
rename from CHANGELOG
rename to CHANGELOG.md
index 8380b5f24fdd..f828c6398606 100644
--- a/CHANGELOG
+++ b/CHANGELOG.md
@@ -6,9 +6,10 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
 
 ## [0.23.0]
 
-### **Breaking Changes**
+### Breaking Changes
 
-- The second parameter in the `kani::any_where` function (`_msg: &'static str`) was removed to make the function more ergonomic to use.
+- Remove the second parameter in the `kani::any_where` function by @zhassan-aws in #2257  
+We removed the second parameter in the `kani::any_where` function (`_msg: &'static str`) to make the function more ergonomic to use.
 We suggest moving the explanation for why the assumption is introduced into a comment.
 For example, the following code:
 ```rust
@@ -19,3 +20,7 @@ should be replaced by:
     // Restrict the length to a value less than 5
     let len: usize = kani::any_where(|x| *x < 5);
 ```
+
+### Major Changes
+
+- Enable the build cache by default and introduce `--force-build` to build from scratch by @celinval in #2232. 

From 90ce38e17f46f7ce1a4b6fe05b1c2bbae5ed6d2c Mon Sep 17 00:00:00 2001
From: "Celina G. Val" <celinval@amazon.com>
Date: Mon, 6 Mar 2023 13:30:20 -0800
Subject: [PATCH 2/3] Update Cargo.toml

Fix regression after renaming the changelog file
---
 Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index 7a97b0bb791e..669ea2790766 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -14,7 +14,7 @@ repository = "https://github.com/model-checking/kani"
 documentation = "https://model-checking.github.io/kani/"
 homepage = "https://github.com/model-checking/kani"
 # N.B. Cargo.* is included automatically:
-include = ["/src", "/build.rs", "/rust-toolchain.toml", "/LICENSE-*", "/README.md", "/CHANGELOG"]
+include = ["/src", "/build.rs", "/rust-toolchain.toml", "/LICENSE-*", "/README.md", "/CHANGELOG.md"]
 
 [dependencies]
 anyhow = "1"

From a0ad7cc5d3e751d9dbc0082b807b1960c323ba8b Mon Sep 17 00:00:00 2001
From: "Celina G. Val" <celinval@amazon.com>
Date: Mon, 6 Mar 2023 13:31:59 -0800
Subject: [PATCH 3/3] Update CHANGELOG.md

---
 CHANGELOG.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index f828c6398606..ed16c5f372e5 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -23,4 +23,4 @@ should be replaced by:
 
 ### Major Changes
 
-- Enable the build cache by default and introduce `--force-build` to build from scratch by @celinval in #2232. 
+- Enable the build cache to avoid recompiling crates that haven't changed, and introduce `--force-build` option to compile all crates from scratch by @celinval in #2232.