Added "json -aig"
authorClifford Wolf <clifford@clifford.at>
Wed, 10 Jun 2015 06:13:56 +0000 (08:13 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 10 Jun 2015 06:13:56 +0000 (08:13 +0200)
commite5348817947be85cb69f42c7e0ec0706d0511f0f
tree0a3aff9dd4f85d9d62e681c1e17aed93370b1b3b
parent56d48227195139f9b85c9f868a192c116266dac4
Added "json -aig"
backends/json/json.cc
kernel/cellaigs.cc
kernel/cellaigs.h