From: Clifford Wolf Date: Wed, 8 May 2019 06:34:35 +0000 (+0200) Subject: Merge pull request #998 from mdaiter/get_bool_attribute_opts X-Git-Tag: yosys-0.9~135 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c582a25bdbd657c9d3a91cc627520fd25188fdcc;p=yosys.git Merge pull request #998 from mdaiter/get_bool_attribute_opts Minor optimization to get_attribute_bool --- c582a25bdbd657c9d3a91cc627520fd25188fdcc