projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 279298c) | patch
Use dict lookup instead of many ifs.
authorKaj Tuomi <kaj.tuomi@siru.fi>
Fri, 2 Sep 2016 09:50:23 +0000 (12:50 +0300)
committerKaj Tuomi <kaj.tuomi@siru.fi>
Fri, 2 Sep 2016 09:50:23 +0000 (12:50 +0300)
commit2343dda946e5ff335573c6b047d299bb90c98b1e
tree2851c7e2c90e50bd1cb891a88e1468faaff30cb9tree
parent279298c0b85250fd0c4e3637d10f9cf24e832259commit | diff
Use dict lookup instead of many ifs.
backends/smt2/smtio.py diff | blob | history