Miodrag Milanovic d99c032c27 Require latest Verific build

2021-01-30 09:23:46 +01:00

..

aiger

Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug().

2020-06-19 15:48:58 +00:00

ast

ast: fix dump_vlog display of casex/casez

2021-01-29 16:28:15 +01:00

blif

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

json

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

liberty

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

rpc

Fix argument handling in connect_rpc

2020-10-19 13:40:57 +02:00

rtlil

rtlil: remove dotted identifiers.

2020-11-25 16:47:20 +00:00

verific

Require latest Verific build

2021-01-30 09:23:46 +01:00

verilog

verilog: strip leading and trailing spaces in macro args

2021-01-28 11:26:35 -05:00