Add ability to override verilog mode for verific -f command
[yosys.git] / tests / opt / memory_dff_trans.ys
2021-08-13 Marcelina Kościelnickamemory_share: Add -nosat and -nowiden options.
2021-08-13 Marcelina Kościelnickamemory_dff: Recognize soft transparency logic.