git.libre-soc.org Git - yosys.git/commit - frontends/verific/verific.h

author	Clifford Wolf <clifford@clifford.at>
	Wed, 20 Jun 2018 21:45:01 +0000 (23:45 +0200)
committer	Clifford Wolf <clifford@clifford.at>
	Wed, 20 Jun 2018 21:45:01 +0000 (23:45 +0200)
commit	5f2bc1ce7672324370ce5570f41ebd74f670b26e
tree	64aaf4f7a9c42da2be1354da2265a25692dc29b0	tree
parent	626b555244f2156e5bc277195938ef5e24a525cf	commit \| diff

Add automatic verific import in hierarchy command

Signed-off-by: Clifford Wolf <clifford@clifford.at>

frontends/verific/verific.cc		diff \| blob \| history
frontends/verific/verific.h		diff \| blob \| history
passes/hierarchy/hierarchy.cc		diff \| blob \| history