1 files changed, 3 insertions, 0 deletions
diff --git a/CHANGELOG b/CHANGELOG
index ff7ce49a2..d64d592d2 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -4,6 +4,9 @@ List of major changes and improvements between releases
 
 Yosys 0.17 .. Yosys 0.17-dev
 --------------------------
+ * Formal Verification
+    - Fixed the signedness of $past's return value to be the same as the
+      argument's instead of always unsigned.
 
  * Verilog
     - Fixed an issue where simplifying case statements by removing unreachable