aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verilog/verilog_frontend.h
Commit message (Collapse)AuthorAgeFilesLines
* Add specify parserClifford Wolf2019-04-231-5/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* New behavior for front-end handling of whiteboxesClifford Wolf2019-04-201-2/+5
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "whitebox" attribute, add "read_verilog -wb"Clifford Wolf2019-04-181-0/+3
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "read_verilog -noassert -noassume -assert-assumes"Clifford Wolf2018-09-241-0/+9
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Remember global declarations and defines accross read_verilog callsClifford Wolf2016-11-151-1/+2
|
* Added read_verilog -norestrict -assume-assertsClifford Wolf2016-08-261-0/+6
|
* No tristate warning message for "read_verilog -lib"Clifford Wolf2016-07-231-0/+3
|
* Fixed trailing whitespacesClifford Wolf2015-07-021-2/+2
|
* Added non-std verilog assume() statementClifford Wolf2015-02-261-0/+3
|
* Added warning for use of 'z' constants in HDLClifford Wolf2014-11-141-1/+1
|
* Changed frontend-api from FILE to std::istreamClifford Wolf2014-08-231-1/+4
|
* Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespaceClifford Wolf2014-07-311-1/+5
|
* Added read_verilog -sv options, added support for bit, logic,Clifford Wolf2014-06-121-0/+3
| | | | allways_ff, always_comb, and always_latch
* Added Verilog support for "`default_nettype none"Clifford Wolf2014-02-171-0/+3
|
* Enable {* .. *} feature per default (removes dependency to REJECT feature in ↵Clifford Wolf2013-11-221-3/+0
| | | | flex)
* Added support for include directories with the new '-I' argument of theJohann Glaser2013-08-201-1/+2
| | | | 'read_verilog' command
* added option '-Dname[=definition]' to command 'read_verilog'Johann Glaser2013-05-191-1/+1
|
* initial importClifford Wolf2013-01-051-0/+62