projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 36b5caf 57bc29c)
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)
verific: allow memories to be inferred in loops


Trivial merge