read_aiger: consistency between ascii and binary; also name latches
authorEddie Hung <eddie@fpgeh.com>
Tue, 7 Jan 2020 21:30:31 +0000 (13:30 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 7 Jan 2020 21:30:31 +0000 (13:30 -0800)
commit2ac36031d4da8d2e99d89f16cb69871c9e3c59aa
treeec566ad437952384a0b665b6d3d65b8fd3e57296
parent0d3f10d3cc55e83ae6a39881227feb843769d6b1
read_aiger: consistency between ascii and binary; also name latches
frontends/aiger/aigerparse.cc