[dyn-seq P1.4] Static-vs-dynamic TXN equivalence harness#3289

Draft

hunhoffe wants to merge 25 commits into

mainfrom

dyn-seq-p4-equivalence-harness

Commits on Jul 9, 2026

[dyn-seq] Convert aie.dma_bd sizes/strides to SSA operands (DynamicIndexList)

hunhoffe
and
claude
committed
[dyn-seq] Migrate aie.dma_bd tests to new sizes/strides syntax

hunhoffe
and
claude
committed
[dyn-seq] Add MixedValues Python wrapper for aie.dma_bd

hunhoffe
and
claude
committed
[dyn-seq] Audit follow-ups: fix 8 code-review findings

hunhoffe
and
claude
committed
Apply black and clang-format to PR-touched files

hunhoffe
and
claude
committed
Delete utils/migrate_dma_bd.py
hunhoffe
committed
Delete utils/migrate_dma_bd_full.py
hunhoffe
committed
Delete utils/migrate_run.py
hunhoffe
committed
Delete utils/migrate_validate.sh
hunhoffe
committed
Revert clang-format of .td files (breaks tablegen)

hunhoffe
and
claude
committed
[dyn-seq] Make dma_bd static sizes/strides optional; elide empty ND layout

hunhoffe
and
claude
committed
[dyn-seq] Migrate dma_bd tests to elided sizes/strides for linear transfers

hunhoffe
and
claude
committed
[dyn-seq] Restore arith.constant lines stripped by dma_bd test migration

hunhoffe
and
claude
committed
Merge branch 'main' into dma-bd-ssa-operands
hunhoffe
authored
[dyn-seq] Fix pyright: annotate TileDma bd_kwargs as dict[str, Any]

hunhoffe
and
claude
committed

Commits on Jul 10, 2026

Commits on Jul 11, 2026