diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-20 00:01:14 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-05-14 20:06:54 +0000 |
| commit | dfcb936cd565411eb488152213945c7896a980db (patch) | |
| tree | 349ad024a8054b3bd6c1c46ad21ea346c93354ed /examples/smtbmc | |
| parent | a4755c50c37636db1f39097e607592487d4eed29 (diff) | |
| download | yosys-dfcb936cd565411eb488152213945c7896a980db.tar.gz yosys-dfcb936cd565411eb488152213945c7896a980db.tar.bz2 yosys-dfcb936cd565411eb488152213945c7896a980db.zip | |
Clean up pseudo-private member usage and ensure range iteration uses references where possible to avoid unnecessary copies.
Diffstat (limited to 'examples/smtbmc')
0 files changed, 0 insertions, 0 deletions