projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f91880) | patch
Fix cycle 0 in aiger witness co-simulation
authorClaire Xenia Wolf <claire@clairexen.net>
Fri, 18 Feb 2022 15:27:41 +0000 (16:27 +0100)
committerClaire Xenia Wolf <claire@clairexen.net>
Fri, 18 Feb 2022 15:27:41 +0000 (16:27 +0100)
commit1aa9ad25d0c062e2202b81de4193b161984e83fb
tree05be968ec0420692f513b1d639bc88fe928c1079tree
parent5f918803de539a2ef6fbfe80de4acb379c20f472commit | diff
Fix cycle 0 in aiger witness co-simulation

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
passes/sat/sim.cc diff | blob | history