diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-03-07 11:31:46 -0800 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-03-07 11:31:46 -0800 |
| commit | 5dfc7becca1f1faf6e77fb3b5d07d97171613d90 (patch) | |
| tree | 90a5961eeaeff1d3fdc3aefefa4399730692ad55 /frontends | |
| parent | 22ff60850e68b5e98d4693a9a06ec688dac6d5ee (diff) | |
| download | yosys-5dfc7becca1f1faf6e77fb3b5d07d97171613d90.tar.gz yosys-5dfc7becca1f1faf6e77fb3b5d07d97171613d90.tar.bz2 yosys-5dfc7becca1f1faf6e77fb3b5d07d97171613d90.zip | |
Use SVA label in smt export if available
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions