Improvements in cellaigs.cc and "json -aig"
authorClifford Wolf <clifford@clifford.at>
Thu, 11 Jun 2015 08:48:16 +0000 (10:48 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 11 Jun 2015 08:48:16 +0000 (10:48 +0200)
commit3a6abc9bf6a37f1f098522d80483c836c78ff85b
treeb5d48fda2d944a4e18bff3cd34d794193cbd0d1c
parent1ae360cf725db65c54c69042bcef66f1728b4df6
Improvements in cellaigs.cc and "json -aig"
backends/json/json.cc
kernel/cellaigs.cc