Automatically prune init attributes in verific front-end, fixes #1237
authorClifford Wolf <clifford@clifford.at>
Wed, 7 Aug 2019 13:31:49 +0000 (15:31 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 7 Aug 2019 13:31:49 +0000 (15:31 +0200)
commit9260e97aa28b245ee88d81d162bb6b83cbc5eab0
tree8d3f9f90a01a1961fa9ef3671bc4f2aac42152e6
parente9a756aa7a8831e644b36cfb6731e5629adc3dc6
Automatically prune init attributes in verific front-end, fixes #1237

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc
frontends/verific/verific.h
kernel/celltypes.h