diff options
| author | Jannis Harder <me@jix.one> | 2022-04-25 16:23:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-25 16:23:21 +0200 |
| commit | 6ae0b51c76cd9a79c10d6516ef14c54339551ff4 (patch) | |
| tree | d7e896512cc6e76217fe786063d9f110cb14e68c /frontends/verific/verific.cc | |
| parent | e0e31bfc5c4e40a64b96990f8875010202d3ca96 (diff) | |
| parent | c7ef0f2932b9857c26cd61d1c93bb477e4e1aa23 (diff) | |
| download | yosys-6ae0b51c76cd9a79c10d6516ef14c54339551ff4.tar.gz yosys-6ae0b51c76cd9a79c10d6516ef14c54339551ff4.tar.bz2 yosys-6ae0b51c76cd9a79c10d6516ef14c54339551ff4.zip | |
Merge pull request #3287 from jix/smt2-conditional-store
smt2: Make write port array stores conditional on nonzero write mask
Diffstat (limited to 'frontends/verific/verific.cc')
0 files changed, 0 insertions, 0 deletions