Add symbols to AIGER test inputs for ABC
authorEddie Hung <eddie@fpgeh.com>
Fri, 7 Jun 2019 18:05:25 +0000 (11:05 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 7 Jun 2019 18:05:25 +0000 (11:05 -0700)
commit1b113a05742377f5b18d52bc5bf50b1991e88c19
treeb3be2504023518f88e049d9c95ffa9ec065bb5e6
parent6d49145497e48bb063ebbed5164b45569e91b5ca
Add symbols to AIGER test inputs for ABC
24 files changed:
tests/aiger/and.aag [deleted file]
tests/aiger/and.aig [deleted file]
tests/aiger/and_.aag [new file with mode: 0644]
tests/aiger/and_.aig [new file with mode: 0644]
tests/aiger/buffer.aag
tests/aiger/buffer.aig
tests/aiger/cnt1.aag
tests/aiger/cnt1.aig
tests/aiger/cnt1e.aag
tests/aiger/cnt1e.aig
tests/aiger/false.aag
tests/aiger/false.aig
tests/aiger/inverter.aag
tests/aiger/inverter.aig
tests/aiger/notcnt1e.aag
tests/aiger/notcnt1e.aig
tests/aiger/or.aag [deleted file]
tests/aiger/or.aig [deleted file]
tests/aiger/or_.aag [new file with mode: 0644]
tests/aiger/or_.aig [new file with mode: 0644]
tests/aiger/toggle.aag
tests/aiger/toggle.aig
tests/aiger/true.aag
tests/aiger/true.aig