Merge pull request #858 from YosysHQ/clifford/svalabels
authorClifford Wolf <clifford@clifford.at>
Sat, 9 Mar 2019 19:14:57 +0000 (11:14 -0800)
committerGitHub <noreply@github.com>
Sat, 9 Mar 2019 19:14:57 +0000 (11:14 -0800)
commitcebd21aa9642e51acacbcbe62dee56074e8ed4d8
treedd5c8b0c5c9d678e7fb83061021a35a293915c8d
parent7504d4d3452096b56f127634837de43c7be2d8dc
parente7a34d342ed1dd01074acdafca4f8f5557f8150f
Merge pull request #858 from YosysHQ/clifford/svalabels

Add support for using SVA labels in yosys-smtbmc console output
frontends/ast/simplify.cc