projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d905990) | patch
btor: Use is_mem_cell in one more place.
authorMarcelina Kościelnicka <mwk@0x04.net>
Sun, 23 May 2021 16:08:34 +0000 (18:08 +0200)
committerMarcelina Kościelnicka <mwk@0x04.net>
Sun, 23 May 2021 18:34:52 +0000 (20:34 +0200)
commit33513d923a398a955c1c7e5f534e3099f3940154
treefc7c96a36312778fde7eff9e10feaf4260c58f5atree
parentd905990d0194decb9f673ccf10aa488820816b87commit | diff
btor: Use is_mem_cell in one more place.
backends/btor/btor.cc diff | blob | history