From: Miodrag Milanović <mmicko@gmail.com>
Date: Mon, 18 Apr 2022 07:09:36 +0000 (+0200)
Subject: Merge pull request #3282 from nakengelhardt/verific_loop_rams
X-Git-Tag: yosys-0.17~27
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d23260d381a1b58ff7f0a0ce65e1884e2ceaa05d;p=yosys.git

Merge pull request #3282 from nakengelhardt/verific_loop_rams

verific: allow memories to be inferred in loops
---

d23260d381a1b58ff7f0a0ce65e1884e2ceaa05d