git.libre-soc.org Git - yosys.git/commit

author	Clifford Wolf <clifford@clifford.at>
	Tue, 17 Jul 2018 10:43:30 +0000 (12:43 +0200)
committer	Clifford Wolf <clifford@clifford.at>
	Tue, 17 Jul 2018 10:43:30 +0000 (12:43 +0200)
commit	65234d4b24edd1ec8ec5d41df2d56d76fa41dcc5
tree	fedc4069139e5c8824c005b60e1988aff8e5ddef	tree
parent	5041ed2f7df1e932eed6bc4ad38fb0f0973700af	commit \| diff

Fix handling of eventually properties in verific importer

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