Merge pull request #1419 from YosysHQ/eddie/lazy_derive
authorClifford Wolf <clifford@clifford.at>
Thu, 3 Oct 2019 10:06:12 +0000 (12:06 +0200)
committerGitHub <noreply@github.com>
Thu, 3 Oct 2019 10:06:12 +0000 (12:06 +0200)
commit468b8a5178043da08fad3ea21c18eb0de6a7baf4
treea193a629f470a979913e06c150eb3e4923771341
parent0e05424885f569f34dd68b70a50a4488ce21c99e
parent0a1af434e8acfaa692d7990bce68fd23daed9519
Merge pull request #1419 from YosysHQ/eddie/lazy_derive

module->derive() to be lazy and not touch ast if already derived