From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 9 Mar 2019 19:14:57 +0000 (-0800)
Subject: Merge pull request #858 from YosysHQ/clifford/svalabels
X-Git-Tag: yosys-0.9~253
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cebd21aa9642e51acacbcbe62dee56074e8ed4d8;p=yosys.git

Merge pull request #858 from YosysHQ/clifford/svalabels

Add support for using SVA labels in yosys-smtbmc console output
---

cebd21aa9642e51acacbcbe62dee56074e8ed4d8