read_aiger: uniquify wires with $aiger<autoidx> prefix
authorEddie Hung <eddie@fpgeh.com>
Tue, 14 Jan 2020 05:28:27 +0000 (21:28 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 14 Jan 2020 05:28:27 +0000 (21:28 -0800)
commitee95fa959acc3a796836c9df970d6739d6cf0ade
treedbc2a351308419cda045be718acb37e626a7a5a0
parent565d349dc9963c9cde887c0632e8451f01997b1c
read_aiger: uniquify wires with $aiger<autoidx> prefix
frontends/aiger/aigerparse.cc
frontends/aiger/aigerparse.h