aiger frontend to user shorter, $-prefixed, names
authorEddie Hung <eddie@fpgeh.com>
Tue, 17 Dec 2019 23:50:01 +0000 (15:50 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 17 Dec 2019 23:50:01 +0000 (15:50 -0800)
commita6fdb9f5c1262e57d4aa292778c947773d9fe04d
tree263cd5f4809f2ba4d3959b4118d1b61dac67974f
parent5f50e4f1121d139c3c9b842514c86cfc7712b32e
aiger frontend to user shorter, $-prefixed, names
frontends/aiger/aigerparse.cc