projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a0cdc3) | patch
Further clean up `passes/sat/freduce.cc`.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Mon, 30 Mar 2020 16:25:30 +0000 (16:25 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Mon, 30 Mar 2020 16:25:30 +0000 (16:25 +0000)
commit9f265dfd3f9ae087fa22ffd809c00625fc6e2c65
tree0b45caf4f02bfddece86674fd74218f4d1293961tree
parent9a0cdc38356500de386bc274034195c54c3c91e2commit | diff
Further clean up `passes/sat/freduce.cc`.

Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
passes/sat/freduce.cc diff | blob | history