3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-11 21:50:54 +00:00
yosys/tests/aiger
2025-07-22 10:38:38 +00:00
..
.gitignore Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files. 2025-07-22 10:38:38 +00:00
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
io.ys aiger: add regression test for sliced output segfault 2025-05-09 16:01:47 +02:00
neg.ys tests: aiger test for wire->start_offset != 0 2020-05-02 10:00:32 -07:00
notcnt1.aag
notcnt1.aig
notcnt1e.aag
notcnt1e.aig
or_.aag
or_.aig
run-test.sh tests: use /usr/bin/env for bash. 2023-08-12 11:59:39 +10:00
symbols.aag
symbols.aig
toggle-re.aag
toggle-re.aig
toggle.aag
toggle.aig
true.aag
true.aig