yosys/frontends/verilog
Clifford Wolf 0bc95f1e04 Added "yosys -D" feature 2016-04-21 23:28:37 +02:00
..
.gitignore
Makefile.inc
const2ast.cc Fixed segfault on invalid verilog constant 1'b_ 2015-09-22 08:13:09 +02:00
preproc.cc SystemVerilog also has assume(), added implicit -D FORMAL 2015-10-13 14:21:20 +02:00
verilog_frontend.cc Added "yosys -D" feature 2016-04-21 23:28:37 +02:00
verilog_frontend.h
verilog_lexer.l SystemVerilog also has assume(), added implicit -D FORMAL 2015-10-13 14:21:20 +02:00
verilog_parser.y Fixed handling of parameters and const functions in casex/casez pattern 2016-04-21 15:31:54 +02:00