diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-06-29 19:21:04 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-06-29 19:21:04 +0200 |
| commit | 0404cf61d5f230de70bc6e6e6bf907bf7b112e0d (patch) | |
| tree | 0b126f66c9bc92a9d71e60ef88c0fdcff5a3191d /tests | |
| parent | ebf0f003d3e8d219b396d4c6a3943e1ce54d2879 (diff) | |
| download | yosys-0404cf61d5f230de70bc6e6e6bf907bf7b112e0d.tar.gz yosys-0404cf61d5f230de70bc6e6e6bf907bf7b112e0d.tar.bz2 yosys-0404cf61d5f230de70bc6e6e6bf907bf7b112e0d.zip | |
Add verific support for eventually properties
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions