diff options
author | Clifford Wolf <clifford@clifford.at> | 2018-04-06 14:19:55 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2018-04-06 14:19:55 +0200 |
commit | 278685b08469a94c133acff92ddf8fb32c4368f9 (patch) | |
tree | 6853cabce92b0466d91bf84c08ef0e41513169d5 /passes | |
parent | ab8db2c168ed2177146ec744f6397a3a9951d7cc (diff) | |
download | yosys-278685b08469a94c133acff92ddf8fb32c4368f9.tar.gz yosys-278685b08469a94c133acff92ddf8fb32c4368f9.tar.bz2 yosys-278685b08469a94c133acff92ddf8fb32c4368f9.zip |
Add Verific anyseq/anyconst/allseq/allconst attribute support
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'passes')
0 files changed, 0 insertions, 0 deletions