Clifford Wolf 8fde05dfa5 Add "read_verilog -noassert -noassume -assert-assumes" ... Signed-off-by: Clifford Wolf <clifford@clifford.at>		2018-09-24 20:51:16 +02:00
..
ast	Added -no_dump_ptr flag for AST dump options in 'read_verilog'	2018-08-23 15:26:02 +03:00
blif	Merge pull request #591 from hzeller/virtual-override	2018-08-15 14:05:38 +02:00
ilang	Add "make coverage"	2018-08-27 14:22:21 +02:00
json	Consistent use of 'override' for virtual methods in derived classes.	2018-07-20 23:51:06 -07:00
liberty	Consistent use of 'override' for virtual methods in derived classes.	2018-07-20 23:51:06 -07:00
verific	Add "verific -L <int>" option	2018-09-04 20:06:10 +02:00
verilog	Add "read_verilog -noassert -noassume -assert-assumes"	2018-09-24 20:51:16 +02:00