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

author	Clifford Wolf <clifford@clifford.at>
	Mon, 15 Jul 2019 10:12:21 +0000 (12:12 +0200)
committer	Clifford Wolf <clifford@clifford.at>
	Mon, 15 Jul 2019 10:12:21 +0000 (12:12 +0200)
commit	0e6c83027f24cdf7082606a5631468ad28f41574
tree	be5de035b899f7cef5f196355de18f67011346c0	tree
parent	1122a2e0671ed00b7c03658f5012e34df12f26de	commit \| diff

Add log_checkpoint function and use it in opt_muxtree

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