diff options
| author | clairexen <claire@symbioticeda.com> | 2020-07-28 12:56:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-28 12:56:22 +0200 |
| commit | 66afed6f55be9c32eb2a1eef921633b302efa9c4 (patch) | |
| tree | 3bd90b24e40dd45430bb2e67b99130c8c5fe11b5 /frontends/ast | |
| parent | a2fb84fd0c5f57b601b6a3c4cee0b409d74b5d21 (diff) | |
| parent | a1a0abf52afe397e11b63bfc67e82aaf7bf9f498 (diff) | |
| download | yosys-66afed6f55be9c32eb2a1eef921633b302efa9c4.tar.gz yosys-66afed6f55be9c32eb2a1eef921633b302efa9c4.tar.bz2 yosys-66afed6f55be9c32eb2a1eef921633b302efa9c4.zip | |
Merge pull request #2306 from YosysHQ/mwk/equiv_induct-undef
equiv_induct: Fix up assumption for $equiv cells in -undef mode.
Diffstat (limited to 'frontends/ast')
0 files changed, 0 insertions, 0 deletions