Add ability to override verilog mode for verific -f command
[yosys.git] / tests / opt / opt_mem_priority.ys
2021-08-13 Marcelina Kościelnickamemory_share: Add -nosat and -nowiden options.
2021-08-13 Marcelina KościelnickaAdd new opt_mem_priority pass.