projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22035c2) | patch
support repeat loops with constant repeat counts outside of constant functions
authorZachary Snow <zach@zachjs.com>
Tue, 9 Apr 2019 16:28:32 +0000 (12:28 -0400)
committerZachary Snow <zach@zachjs.com>
Tue, 9 Apr 2019 16:28:32 +0000 (12:28 -0400)
commit5855024cccfbcb1919e3225f519bc9f0421c4056
tree2664bb00c67f6308683557878f141f9c3b9b6bb6tree
parent22035c20ff071ec5c30990258850ecf97de5d5b3commit | diff
support repeat loops with constant repeat counts outside of constant functions
frontends/ast/simplify.cc diff | blob | history
tests/sat/counters-repeat.v [new file with mode: 0644] blob
tests/sat/counters-repeat.ys [new file with mode: 0644] blob