projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7a4a8e6 5dc7fc9)
Merge pull request #142 from nakengelhardt/fix_backslash_smt2
authorN. Engelhardt <nak@yosyshq.com>
Mon, 28 Mar 2022 14:32:10 +0000 (16:32 +0200)
committerGitHub <noreply@github.com>
Mon, 28 Mar 2022 14:32:10 +0000 (16:32 +0200)
translate backslashes in cell names the same way as smt2 backend does


Trivial merge