diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-03-11 11:58:07 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-11 11:58:07 -0700 |
| commit | ef48b62cb1206a3b72c00735fe817683ccf0f005 (patch) | |
| tree | 64b7063bb4b556a8ceab58bdb8d147d361794723 /backends/smt2/Makefile.inc | |
| parent | d9bb5f3637634ea214194b612aee4bb0c62d7a5c (diff) | |
| parent | b02d9c2634de0898b2c483c438ba56540e0f3f69 (diff) | |
| download | yosys-ef48b62cb1206a3b72c00735fe817683ccf0f005.tar.gz yosys-ef48b62cb1206a3b72c00735fe817683ccf0f005.tar.bz2 yosys-ef48b62cb1206a3b72c00735fe817683ccf0f005.zip | |
Merge pull request #864 from YosysHQ/svalabelfix
Fix handling of cases that look like sva labels, fixes #862
Diffstat (limited to 'backends/smt2/Makefile.inc')
0 files changed, 0 insertions, 0 deletions