From: Jannis Harder <me@jix.one>
Date: Mon, 28 Mar 2022 14:59:26 +0000 (+0200)
Subject: Merge pull request #3253 from jix/smtbmc-nodeepcopy
X-Git-Tag: yosys-0.16~19
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8cc8c5efde627e904eb58049d38218e70be3f046;p=yosys.git

Merge pull request #3253 from jix/smtbmc-nodeepcopy

smtbmc: Avoid unnecessary deep copies during unrolling
---

8cc8c5efde627e904eb58049d38218e70be3f046