projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b7ec698 6e629d2)
Merge pull request #998 from mdaiter/get_bool_attribute_opts
authorClifford Wolf <clifford@clifford.at>
Wed, 8 May 2019 06:34:35 +0000 (08:34 +0200)
committerGitHub <noreply@github.com>
Wed, 8 May 2019 06:34:35 +0000 (08:34 +0200)
Minor optimization to get_attribute_bool


Trivial merge