abc9 to use AIGER symbol table, as opposed to map file
authorEddie Hung <eddieh@ece.ubc.ca>
Fri, 22 Feb 2019 01:03:40 +0000 (17:03 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Fri, 22 Feb 2019 01:03:40 +0000 (17:03 -0800)
commitd56f02d1fc1d0482aa57b07f24213f5e0c16faea
tree6ef6e50a6167b3044b8679ad564cb41d7f43ee2a
parent5180338e8085bdf0bc653e2321559c7504c169f8
abc9 to use AIGER symbol table, as opposed to map file
passes/techmap/abc9.cc