diff options
author | Claire Xenia Wolf <claire@clairexen.net> | 2021-04-28 16:52:04 +0200 |
---|---|---|
committer | Jannis Harder <me@jix.one> | 2022-10-07 16:04:51 +0200 |
commit | 381ce66f5870291fe950c276c492b303f714738f (patch) | |
tree | 489b08fe48e4c7ef8205af3a7e2b391b52e43a0f /kernel | |
parent | 925f92918af783af71d5c9f1f358f79de5c20f04 (diff) | |
download | yosys-381ce66f5870291fe950c276c492b303f714738f.tar.gz yosys-381ce66f5870291fe950c276c492b303f714738f.tar.bz2 yosys-381ce66f5870291fe950c276c492b303f714738f.zip |
Revert "Merge pull request #641 from tklam/master"
This reverts commit 08be796cb8b1890923e459cda92211fda763f0c1, reversing
changes made to 38dbb44fa0815b1fe80e68e17798aaa341d998cd.
This fixes #2728. PR #641 did not actually "fix" #639.
The actual issue in #639 is not equiv_make, but assumptions in equiv_simple
that are not true for the test case provided in #639.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions