projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebe2ee4) | patch
Fix handling of some formal cells in btor back-end
authorClaire Xenia Wolf <claire@clairexen.net>
Fri, 11 Mar 2022 13:21:12 +0000 (14:21 +0100)
committerClaire Xenia Wolf <claire@clairexen.net>
Fri, 11 Mar 2022 13:21:12 +0000 (14:21 +0100)
commitd340f302f6255b6aedcf8351a6374b34889edbbc
treea5a3f1a89b17dc71e877d95f3f50ed6df95b45adtree
parentebe2ee431eb452e24f833f3bf52a13a8a330a2c3commit | diff
Fix handling of some formal cells in btor back-end

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
backends/btor/btor.cc diff | blob | history