projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a2a8cd) | patch
Mangle names with square brackets in VCD files to work around issues in gtkwave
authorClifford Wolf <clifford@clifford.at>
Thu, 1 Mar 2018 13:15:27 +0000 (14:15 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 1 Mar 2018 13:15:27 +0000 (14:15 +0100)
commit90ae42607850a51da55fd5c6fba20ebb02ef6226
tree1c4ae35d183cb4254efb49cd4bedec4471b307ebtree
parent9a2a8cd97b8ff155c137045ee3654dcdc046c401commit | diff
Mangle names with square brackets in VCD files to work around issues in gtkwave

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/smt2/smtio.py diff | blob | history