diff options
Diffstat (limited to 'CHANGELOG')
-rw-r--r-- | CHANGELOG | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ List of major changes and improvements between releases ======================================================= -Yosys 0.20 .. Yosys 0.20-dev +Yosys 0.20 .. Yosys 0.21 -------------------------- * New commands and options - Added "formalff" pass - transforms FFs for formal verification |