diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2021-07-12 17:10:40 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-07-12 18:28:20 +0200 |
| commit | 0565c642a0c5a1b1f7b98ab681bc24226b739f9a (patch) | |
| tree | 1d9fabe1465e1bf87a87212f27e09c44faa690d2 /backends/smt2 | |
| parent | 6d7d9ab077a7eac125ed6eb0170437216e64efcf (diff) | |
| download | yosys-0565c642a0c5a1b1f7b98ab681bc24226b739f9a.tar.gz yosys-0565c642a0c5a1b1f7b98ab681bc24226b739f9a.tar.bz2 yosys-0565c642a0c5a1b1f7b98ab681bc24226b739f9a.zip | |
kernel/mem: Use delayed removal for inits as well.
Diffstat (limited to 'backends/smt2')
0 files changed, 0 insertions, 0 deletions