Add missing items in CHANGELOG

diff --git a/CHANGELOG b/CHANGELOG
index b980c5a1ad525355caf0838fa7864a58d6856890..6feea416251676239699a3fecad0dcf3ead1a9d4 100644 (file)
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -16,6 +16,12 @@ Yosys 0.10 .. Yosys 0.10-dev
     - Fixed an issue where connecting a slice covering the entirety of a signed
       signal to a cell input would cause a failed assertion
 
+ * Verific support
+    - Importer support for {PRIM,WIDE_OPER}_DFF
+    - Importer support for PRIM_BUFIF1
+    - Option to use Verific without VHDL support
+    - Importer support for {PRIM,WIDE_OPER}_DLATCH{,RS}
+
 Yosys 0.9 .. Yosys 0.10
 --------------------------