George Rennie 4e6deb53b6 read_aiger: Fix incorrect read of binary Aiger without outputs ... * Also makes all ascii parsing finish reading lines and adds a small test		2024-04-29 14:06:58 +01:00
..
.gitignore
and_.aag
and_.aig
and_to_bad_out.aag	read_aiger: Fix incorrect read of binary Aiger without outputs	2024-04-29 14:06:58 +01:00
and_to_bad_out.aig	read_aiger: Fix incorrect read of binary Aiger without outputs	2024-04-29 14:06:58 +01:00
buffer.aag
buffer.aig
cnt1.aag
cnt1.aig
cnt1e.aag
cnt1e.aig
empty.aag
empty.aig
false.aag
false.aig
halfadder.aag
halfadder.aig
inverter.aag
inverter.aig
neg.ys
notcnt1.aag
notcnt1.aig
notcnt1e.aag
notcnt1e.aig
or_.aag
or_.aig
run-test.sh
symbols.aag
symbols.aig
toggle-re.aag
toggle-re.aig
toggle.aag
toggle.aig
true.aag
true.aig