Merge pull request #2272 from whitequark/write-verilog-sv
authorclairexen <claire@symbioticeda.com>
Thu, 16 Jul 2020 16:28:24 +0000 (18:28 +0200)
committerGitHub <noreply@github.com>
Thu, 16 Jul 2020 16:28:24 +0000 (18:28 +0200)
verilog_backend: add `-sv` option, make `-o <filename>.sv` work


Trivial merge