Lofty fd6367405e Merge pull request #6077 from YosysHQ/lofty/abc-refactor-8 ...

abc_ops_reintegrate: xaiger2 compatibility

2026-08-10 13:14:40 +00:00

..

abc9-nonbox-loop-with-box.ys

abc9: preserve topological-loop asserts with targeted SCC fallback

2026-02-26 22:30:32 -08:00

abc9.ys

synth: fix after abc -fast removal

2026-03-18 17:59:58 +01:00

abc_new.ys

fix handling of multiple modules

2026-08-10 10:17:31 +01:00

abc_state.ys

…

abc_temp_dir_sanitization.ys

Sanitize ABC global and per-run temporary directory names in logs

2026-02-07 12:12:13 +13:00

adff2dff.ys

…

aigmap.ys

…

autopurge.ys

…

bmuxmap_pmux.ys

End of file fix

2026-06-23 07:23:41 +02:00

booth_map_script.ys_

…

booth.ys

…

buf.ys

…

bufnorm.ys

…

bug2183.ys

…

bug2321.ys

…

bug2332.ys

…

bug2759.ys

…

bug2972.ys

…

bug5495.abc

…

bug5495.sh

End of file fix

2026-06-23 07:23:41 +02:00

bug5495.v

…

bug5574.ys

…

cellmatch.ys

…

cellname.ys

…

clkbufmap.ys

…

clockgate_bad.il

End of file fix

2026-06-23 07:23:41 +02:00

clockgate_neg.lib

End of file fix

2026-06-23 07:23:41 +02:00

clockgate_pos.lib

End of file fix

2026-06-23 07:23:41 +02:00

clockgate_wide.v

End of file fix

2026-06-23 07:23:41 +02:00

clockgate.lib

End of file fix

2026-06-23 07:23:41 +02:00

clockgate.tcl

clockgate: test $sdffe rejected

2026-05-07 16:13:14 +02:00

clockgate.v

End of file fix

2026-06-23 07:23:41 +02:00

cmp2lcu.ys

…

constmap.ys

…

dff2ff.ys

…

dffinit.ys

…

dfflegalize_adff_init.ys

…

dfflegalize_adff.ys

…

dfflegalize_adlatch_init.ys

…

dfflegalize_adlatch.ys

…

dfflegalize_aldff_init.ys

…

dfflegalize_aldff.ys

…

dfflegalize_dff_init.ys

…

dfflegalize_dff.ys

…

dfflegalize_dffsr_init.ys

…

dfflegalize_dffsr.ys

…

dfflegalize_dlatch_const.ys

…

dfflegalize_dlatch_emu.ys

Add tests.

2026-06-15 15:46:13 +02:00

dfflegalize_dlatch_init.ys

…

dfflegalize_dlatch.ys

…

dfflegalize_dlatchsr_init.ys

…

dfflegalize_dlatchsr.ys

…

dfflegalize_inv.ys

…

dfflegalize_mince.ys

…

dfflegalize_minsrst.ys

…

dfflegalize_sr_init.ys

…

dfflegalize_sr.ys

…

dfflibmap_dff_not_next.lib

…

dfflibmap_dffn_dffe.lib

Remove trailing whitespaces

2026-06-23 07:24:59 +02:00

dfflibmap_dffsr_mixedpol.lib

…

dfflibmap_dffsr_not_next_l.lib

dfflibmap: fix formal $dffsr tests with sat, prove "no s&r" assumption only needed when appropriate

2026-03-03 10:35:03 +01:00

dfflibmap_dffsr_not_next.lib

End of file fix

2026-06-23 07:23:41 +02:00

dfflibmap_dffsr_r.lib

dfflibmap: test dffsr with either priority liberty file

2026-03-03 10:34:29 +01:00

dfflibmap_dffsr_s.lib

dfflibmap: test dffsr with either priority liberty file

2026-03-03 10:34:29 +01:00

dfflibmap_dffsr_x.lib

dfflibmap: fix formal $dffsr tests with sat, prove "no s&r" assumption only needed when appropriate

2026-03-03 10:35:03 +01:00

dfflibmap_formal.ys

End of file fix

2026-06-23 07:23:41 +02:00

dfflibmap_proc_formal.ys

dfflibmap: fix formal verilog test so that it actually maps all flops

2026-07-27 22:08:39 +02:00

dfflibmap_resetval_clobber.lib

dfflibmap: add regression test for resetval clobber

2026-07-14 18:02:02 +02:00

dfflibmap_resetval_clobber.ys

Code cleanup

2026-08-04 17:18:22 +02:00

dfflibmap_wide.ys

liberty: cleanup

2026-07-30 16:44:12 +02:00

dfflibmap-sim.v

…

dfflibmap.lib

…

dfflibmap.ys

dfflibmap: test dffsr with either priority liberty file

2026-03-03 10:34:29 +01:00

dffunmap.ys

…

extractinv.ys

…

generate_mk.py

Convert gen-tests shell script to python

2026-04-16 11:00:44 +02:00

han-carlson.tcl

…

iopadmap.ys

…

kogge-stone.tcl

…

lcu_refined.v

…

lut2bmux.ys

…

lut2mux.ys

…

mem_simple_4x1_cells.v

…

mem_simple_4x1_map.v

End of file fix

2026-06-23 07:23:41 +02:00

mem_simple_4x1_runtest.sh

Make out of tree build testing possible

2026-05-19 14:26:07 +02:00

mem_simple_4x1_tb.v

…

mem_simple_4x1_uut.v

…

module_not_derived.ys

Add test

2026-01-19 18:34:55 -08:00

mul2dsp_asymmetric.ys

mul2dsp: normalize operand order

2026-07-15 16:21:07 +02:00

pmux2mux.ys

…

recursive_map.v

…

recursive_runtest.sh

Make out of tree build testing possible

2026-05-19 14:26:07 +02:00

recursive.v

…

shiftx2mux.ys

…

sklansky.tcl

…

techmap_chtype.ys

…

techmap_replace.ys

…

wireinit.ys

…

xaiger2-5169.ys

cleanup

2026-08-03 13:28:33 +01:00

zinit.ys

…