added prover changes

Certora · Jan 8, 2025 · a44894d · a44894d
1 parent f4a1af0
commit a44894d
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/docs/prover/changelog/prover_changelog.md b/docs/prover/changelog/prover_changelog.md
@@ -5,6 +5,16 @@ Prover Release Notes
 ```{contents}
 ```
 
+7.22.2 (Jan 9, 2025)
+----------------------
+### Rule Report
+- [feat] Support for displaying numeric values in string, decimal, or hexadecimal formats in Call Trace and Variables tabs, with a dropdown to switch formats.
+- [feat] Added call traces and TAC dumps for sanity rules in Rule Report.
+
+## Dashboard
+- [feat] Persist column configuration (display selection and width) across browser sessions on the Prover Dashboard, including between tabs and logins.
+
+
 7.21.1 (December 12, 2024)
 ----------------------
 Various bug fixes and performance improvements.