mirror of
https://github.com/YosysHQ/yosys
synced 2025-08-26 13:06:12 +00:00
Release version 0.21
This commit is contained in:
parent
0ff129c10b
commit
e6d2a900a9
2 changed files with 3 additions and 3 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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue