From: Jannis Harder Date: Mon, 25 Apr 2022 14:23:21 +0000 (+0200) Subject: Merge pull request #3287 from jix/smt2-conditional-store X-Git-Tag: yosys-0.17~20 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6ae0b51c76cd9a79c10d6516ef14c54339551ff4;p=yosys.git Merge pull request #3287 from jix/smt2-conditional-store smt2: Make write port array stores conditional on nonzero write mask --- 6ae0b51c76cd9a79c10d6516ef14c54339551ff4