Added read_verilog -norestrict -assume-asserts
authorClifford Wolf <clifford@clifford.at>
Fri, 26 Aug 2016 21:35:27 +0000 (23:35 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 26 Aug 2016 21:35:27 +0000 (23:35 +0200)
commit1276c87a56f6f6d1a134877f024d2af785354570
treee8b79ee0f55ff94d276b649b055bd2f4e731ba98
parent17233b11e185d2c863ccd06830e8cd0d2be38e83
Added read_verilog -norestrict -assume-asserts
frontends/verilog/verilog_frontend.cc
frontends/verilog/verilog_frontend.h
frontends/verilog/verilog_lexer.l
frontends/verilog/verilog_parser.y