Daniel M'BOUYOU 25c7053114 arith_tree: add regression tests for truncating narrow chain links ...

#6130 fixed arith_tree so that a chain link narrower than its consumer
is left out of the tree, and added an equivalence regression for the
exact failing shape. Cover what that test does not: structural checks
that the narrow link survives as its own cell, on both the raw $add
path and the alumacc $alu path, and a mixed case where a wider chain
consuming the truncated link as a leaf still folds and stays
equivalent.

Signed-off-by: Daniel M'BOUYOU <[email protected]>

2026-08-21 10:38:58 +02:00

..

aiger

Move rename logic to abc_ops_reintegrate

2026-06-19 10:46:47 +01:00

alumacc

Code cleanup

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

arch

synth_gatemate: remove classic ABC mapping for LUTs

2026-08-20 09:33:47 +01:00

arith_tree

arith_tree: add regression tests for truncating narrow chain links

2026-08-21 10:38:58 +02:00

asicworld

Remove trailing whitespaces

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

bind

Use generic testing on few more places

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

blif

Cleanup

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

bram

Add initial codecov support

2026-07-10 12:19:59 +02:00

bugpoint

Remove trailing whitespaces

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

check_mem

tests/check_mem: Drop unused init check

2026-05-30 11:06:11 +12:00

cxxrtl

Remove trailing whitespaces

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

errors

End of file fix

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

fmt

Cleanup

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

fsm

Did share, opt_share and fsm

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

functional

Remove trailing whitespaces

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

hana

Remove trailing whitespaces

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

liberty

Move scl cache args to libcache, fix -disable.

2026-08-17 12:37:49 +02:00

lut

Adding test to demonstrate techmap failure with lut_cmp

2026-08-14 10:08:40 -06:00

memfile

Update CI scripts for CMake

2026-06-03 08:58:11 +00:00

memlib

Remove trailing whitespaces

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

memories

Fix OOB read.

2026-08-07 14:29:14 +02:00

opt

Add test.

2026-08-17 12:20:51 +02:00

opt_share

Did share, opt_share and fsm

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

peepopt

Converted some more

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

proc

Merge branch 'main' into nella/latch-toggle

2026-07-08 11:41:08 +02:00

pyosys

End of file fix

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

realmath

Cleanup

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

rpc

Make out of tree build testing possible

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

rtlil

Testcases for new truncation checks

2026-07-10 14:37:19 +02:00

sat

Remove trailing whitespaces

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

sdc

Remove trailing whitespaces

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

select

Converted some more

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

share

Did share, opt_share and fsm

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

sim

Remove trailing whitespaces

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

simple

End of file fix

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

simple_abc9

Convert autotest script wrapper

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

smv

End of file fix

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

sva

End of file fix

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

svinterfaces

Cleanup

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

svtypes

Remove trailing whitespaces

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

symfpu

Code cleanup

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

techmap

Merge pull request #6072 from YosysHQ/nella/dlatchlibmap-cleanup

2026-08-13 08:38:19 +00:00

tools

End of file fix

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

unit

Merge pull request #6007 from YosysHQ/nella/fix-shift-fold

2026-07-24 08:17:11 +00:00

various

smt2, btor: error on $check cells instead of dropping them

2026-08-14 00:15:34 +12:00

verific

Remove trailing whitespaces

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

verilog

Rm.

2026-07-07 04:03:17 +02:00

vloghtb

End of file fix

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

write_verilog

tests: Add mixed_upto write_verilog test

2026-06-19 11:20:01 +12:00

xprop

Update CI scripts for CMake

2026-06-03 08:58:11 +00:00

.gitignore

Save results, and create summary and report

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

common.mk

Add VERBOSE (and V) option to Makefiles

2026-06-15 14:48:11 +02:00

gen_tests_makefile.py

Fix OOB read.

2026-08-07 14:29:14 +02:00

Makefile

Adding test to demonstrate techmap failure with lut_cmp

2026-08-14 10:08:40 -06:00

pass-fuzzing.md

Remove trailing whitespaces

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