diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-03-26 14:51:35 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-03-26 14:52:48 +0100 |
| commit | d0b9b1bece9866fd7b0e153c991fc7e9b57a1efc (patch) | |
| tree | df8908d5062a5152a829d5a9c0b12a27923d5b4e /passes/sat | |
| parent | c863796e9ff91c76f0f8679b6871b8ffcb75edb6 (diff) | |
| download | yosys-d0b9b1bece9866fd7b0e153c991fc7e9b57a1efc.tar.gz yosys-d0b9b1bece9866fd7b0e153c991fc7e9b57a1efc.tar.bz2 yosys-d0b9b1bece9866fd7b0e153c991fc7e9b57a1efc.zip | |
Add "hdlname" attribute
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions