projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c7122c) | patch
Drive-by modernization in sat.cc
authorClaire Wolf <claire@symbioticeda.com>
Tue, 9 Jun 2020 19:49:43 +0000 (21:49 +0200)
committerClaire Wolf <claire@symbioticeda.com>
Tue, 9 Jun 2020 20:48:26 +0000 (22:48 +0200)
commit0bd70e8222c9a95352dd880df1099e3185793004
tree7a75ff5e3c045a26c1675d9ccecf2e30e01acfedtree
parent3c7122c3788a05d90423f22ec03f97c39da2da0bcommit | diff
Drive-by modernization in sat.cc

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
passes/sat/sat.cc diff | blob | history