verilog_backend: add `-sv` option, make `-o <filename>.sv` work.
authorwhitequark <whitequark@whitequark.org>
Thu, 16 Jul 2020 10:34:21 +0000 (10:34 +0000)
committerwhitequark <whitequark@whitequark.org>
Thu, 16 Jul 2020 10:44:08 +0000 (10:44 +0000)
commitd9f680b2363aded426465fd189910e0072228fee
tree19e3e20d5cbb20a508a2b6c7c4e3a63f894f038a
parent3209c0762a560d68ce7aef00942a8b3e440d5a61
verilog_backend: add `-sv` option, make `-o <filename>.sv` work.

See #2271.
backends/verilog/verilog_backend.cc
kernel/yosys.cc