diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-05-08 08:34:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-08 08:34:35 +0200 |
| commit | c582a25bdbd657c9d3a91cc627520fd25188fdcc (patch) | |
| tree | d539849a0811d5e946f49a6d1c3f442b1482270d /backends/smt2 | |
| parent | b7ec698d4063f0e0ae021050782004c523302b0c (diff) | |
| parent | 6e629d289515e2792fa644fca105998bd9e366de (diff) | |
| download | yosys-c582a25bdbd657c9d3a91cc627520fd25188fdcc.tar.gz yosys-c582a25bdbd657c9d3a91cc627520fd25188fdcc.tar.bz2 yosys-c582a25bdbd657c9d3a91cc627520fd25188fdcc.zip | |
Merge pull request #998 from mdaiter/get_bool_attribute_opts
Minor optimization to get_attribute_bool
Diffstat (limited to 'backends/smt2')
0 files changed, 0 insertions, 0 deletions