Merge pull request #3287 from jix/smt2-conditional-store
authorJannis Harder <me@jix.one>
Mon, 25 Apr 2022 14:23:21 +0000 (16:23 +0200)
committerGitHub <noreply@github.com>
Mon, 25 Apr 2022 14:23:21 +0000 (16:23 +0200)
commit6ae0b51c76cd9a79c10d6516ef14c54339551ff4
treed7e896512cc6e76217fe786063d9f110cb14e68c
parente0e31bfc5c4e40a64b96990f8875010202d3ca96
parentc7ef0f2932b9857c26cd61d1c93bb477e4e1aa23
Merge pull request #3287 from jix/smt2-conditional-store

smt2: Make write port array stores conditional on nonzero write mask