Merge pull request #3282 from nakengelhardt/verific_loop_rams
authorMiodrag Milanović <mmicko@gmail.com>
Mon, 18 Apr 2022 07:09:36 +0000 (09:09 +0200)
committerGitHub <noreply@github.com>
Mon, 18 Apr 2022 07:09:36 +0000 (09:09 +0200)
commitd23260d381a1b58ff7f0a0ce65e1884e2ceaa05d
tree1eb6aa16dbd750800dd4a10f68336d105da0644c
parent36b5caf8217d4ca57b2c53cd76da5f1ace74a20f
parent57bc29c64a546fc1dc9a14f0d19a1e30fb5948f0
Merge pull request #3282 from nakengelhardt/verific_loop_rams

verific: allow memories to be inferred in loops