From: Claire Xen Date: Wed, 10 Nov 2021 19:24:00 +0000 (+0100) Subject: Merge pull request #3075 from YosysHQ/micko/verific_mem_size X-Git-Tag: yosys-0.12~36 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a6c90c9772c2377ad56999e0d57a2514a8fd33dc;p=yosys.git Merge pull request #3075 from YosysHQ/micko/verific_mem_size No need to allocate more memory than used --- a6c90c9772c2377ad56999e0d57a2514a8fd33dc