Add "sim" support for memories
authorClifford Wolf <clifford@clifford.at>
Fri, 18 Aug 2017 09:44:50 +0000 (11:44 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 18 Aug 2017 09:44:50 +0000 (11:44 +0200)
commitd30cc60ba9148346173a1ed26f0ce833de522003
treee13bef6ed28f4ac4efa764b58c9454a54c3e702e
parent4ba5bd12c612cbe27422cf86fe317d0723b11f30
Add "sim" support for memories
passes/sat/sim.cc