read_aiger to create sane $lut names, and rename when renaming driving wire
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 19 Feb 2019 20:27:50 +0000 (12:27 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 19 Feb 2019 20:27:50 +0000 (12:27 -0800)
commite79df5e70e8f0a34c29c21e28a80413d01f4e1c9
tree37d367d0218af4f2f43374ee663ca5a172c17ff1
parent0b1fc46ae380302f8082f49d1517645008b041df
read_aiger to create sane $lut names, and rename when renaming driving wire
frontends/aiger/aigerparse.cc