projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3573363) | patch
handle state names of $anyconst and $anyseq
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 11 Mar 2022 13:04:02 +0000 (14:04 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 11 Mar 2022 13:04:02 +0000 (14:04 +0100)
commitebe2ee431eb452e24f833f3bf52a13a8a330a2c3
tree9a4b708bf06dcbfa50d1129de16161d3102de01btree
parent357336339a3d7f4100d44c508cd5fe5255b53218commit | diff
handle state names of $anyconst and $anyseq
backends/btor/btor.cc diff | blob | history