verific: allow memories to be inferred in loops
authorN. Engelhardt <nak@yosyshq.com>
Fri, 15 Apr 2022 13:10:48 +0000 (15:10 +0200)
committerN. Engelhardt <nak@yosyshq.com>
Fri, 15 Apr 2022 13:10:48 +0000 (15:10 +0200)
commit57bc29c64a546fc1dc9a14f0d19a1e30fb5948f0
tree25899c24a1326155d69859ff152929b7d63ca783
parentc1646a00ac5a7b6ab53af64d5f2f70c5848cdf12
verific: allow memories to be inferred in loops
frontends/verific/verific.cc