diff options
| author | Jannis Harder <me@jix.one> | 2022-09-05 14:34:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-05 14:34:13 +0200 |
| commit | 1bc6ea2366f33deba50ac73536f6143109991561 (patch) | |
| tree | 918f1f051b85a03ac9ba00e2740e2a331fbc5d9d /techlibs/sf2 | |
| parent | 6e907acf86d9ff0edd9a1c10274e62690e19e939 (diff) | |
| parent | 1d40f5e8fa0175f215664f03942c444deb22762b (diff) | |
| download | yosys-1bc6ea2366f33deba50ac73536f6143109991561.tar.gz yosys-1bc6ea2366f33deba50ac73536f6143109991561.tar.bz2 yosys-1bc6ea2366f33deba50ac73536f6143109991561.zip | |
Merge pull request #3470 from jix/smtbmc-faster-parse
smtbmc: Avoid unnecessary string copies when parsing solver output
Diffstat (limited to 'techlibs/sf2')
0 files changed, 0 insertions, 0 deletions