Robert O'Callahan a871415abf Limit YOSYS_MAX_THREADS to 4 when running seed-tests

2025-12-04 12:09:48 +01:00

..

foundry_data

…

.gitignore

…

busdef.lib

…

busdef.lib.filtered.ok

…

busdef.lib.verilogsim.ok

…

dff.lib

libparse: fix up tests since liberty expression parsing now normalizes the form of these expressions

2025-11-05 13:06:12 +01:00

dff.lib.filtered.ok

libparse: fix up tests since liberty expression parsing now normalizes the form of these expressions

2025-11-05 13:06:12 +01:00

dff.lib.verilogsim.ok

filterlib, read_liberty: add loopy retention cell formal equivalence test

2025-11-21 00:57:54 +01:00

dff.log.ok

…

idranges.lib

…

idranges.lib.filtered.ok

…

idranges.lib.verilogsim.ok

…

issue3498_bad.lib

…

issue3498_bad.lib.filtered.ok

…

issue3498_bad.lib.verilogsim.ok

…

libcache.ys

libcache: support liberty filename globbing

2025-09-24 11:41:51 +02:00

non-ascii.lib

…

non-ascii.lib.filtered.ok

…

non-ascii.lib.verilogsim.ok

…

normal.lib

…

normal.lib.filtered.ok

…

normal.lib.verilogsim.ok

filterlib, read_liberty: add loopy retention cell formal equivalence test

2025-11-21 00:57:54 +01:00

normal.verilogsim.ok

…

options_test.ys

…

processdefs.lib

…

processdefs.lib.filtered.ok

…

processdefs.lib.verilogsim.ok

…

read_liberty.ys

filterlib, read_liberty: add loopy retention cell formal equivalence test

2025-11-21 00:57:54 +01:00

retention.lib

filterlib, read_liberty: add loopy retention cell formal equivalence test

2025-11-21 00:57:54 +01:00

retention.lib.filtered.ok

filterlib, read_liberty: add loopy retention cell formal equivalence test

2025-11-21 00:57:54 +01:00

retention.lib.verilogsim.ok

filterlib, read_liberty: add loopy retention cell formal equivalence test

2025-11-21 00:57:54 +01:00

run-test.sh

Limit YOSYS_MAX_THREADS to 4 when running seed-tests

2025-12-04 12:09:48 +01:00

semicolextra.lib

…

semicolextra.lib.filtered.ok

…

semicolextra.lib.verilogsim.ok

filterlib, read_liberty: add loopy retention cell formal equivalence test

2025-11-21 00:57:54 +01:00

semicolmissing.lib

…

semicolmissing.lib.filtered.ok

…

semicolmissing.lib.verilogsim.ok

…

small.v

…

unquoted.lib

libparse: fix up tests since liberty expression parsing now normalizes the form of these expressions

2025-11-05 13:06:12 +01:00

unquoted.lib.filtered.ok

libparse: fix up tests since liberty expression parsing now normalizes the form of these expressions

2025-11-05 13:06:12 +01:00

unquoted.lib.verilogsim.ok

filterlib, read_liberty: add loopy retention cell formal equivalence test

2025-11-21 00:57:54 +01:00

XNOR2X1.lib

…

XNOR2X1.lib.filtered.ok

…

XNOR2X1.lib.verilogsim.ok

libparse: fix up tests since liberty expression parsing now normalizes the form of these expressions

2025-11-05 13:06:12 +01:00