projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13a5c28) | patch
Added AIGER witness file co simulation
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 18 Feb 2022 14:04:02 +0000 (15:04 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 18 Feb 2022 14:04:02 +0000 (15:04 +0100)
commit41754b4207f9c695049757955d85c6bbadbe8ac3
treea2c4abf7311365eb353f882f8347b620dfd51181tree
parent13a5c28459ae676726611a7e08152235be1e3039commit | diff
Added AIGER witness file co simulation
passes/sat/sim.cc diff | blob | history