projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9571acc) | patch
Hotfix in AIGER witness reader state machine
authorClaire Xenia Wolf <claire@clairexen.net>
Mon, 28 Feb 2022 09:41:44 +0000 (10:41 +0100)
committerClaire Xenia Wolf <claire@clairexen.net>
Mon, 28 Feb 2022 09:41:44 +0000 (10:41 +0100)
commit1fd3a642c94b642624f05efecff282c195f984d1
tree3bc994cb12365319e031b1312e83eeef3db79a95tree
parent9571acc0bf04a42d3df54c9a844cccd1ab3401facommit | diff
Hotfix in AIGER witness reader state machine

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