Lei Wang 0fa16b4c41 [Enhancement] Improve equality checks in layout nodes and fragment validation (#1573) ...

* [Enhancement] Improve equality checks in layout nodes and fragment validation

* Enhanced the IsEqual method in LayoutNode and FragmentNode to include detailed comparisons of forward mappings, ensuring accurate equality checks.
* Introduced a new parameter in ProveFragmentContains to validate physical indices when checking fragment containment, improving correctness in layout validation.
* Removed obsolete test file related to layout inference.

This update aims to strengthen the integrity of layout comparisons and fragment validations in the system.

* lint fix

2025-12-31 00:36:29 +08:00

..

amd

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00

analysis

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00

arith

[Analyzer] Fix floordiv & floormod bug in z3 prover (#1458)

2025-12-17 18:29:52 +08:00

autotune

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00

cache

[Feat] Adapt gemm v2 for cutedsl backend (#1544)

2025-12-27 13:07:16 +08:00

carver

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00

components

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00

cpu

[Refactor] Phaseout execution_backend ctypes (#1510)

2025-12-23 19:52:16 +08:00

debug

[Enhancement] Refactor CUDA vectorized cast generation and remove unsupported FP8 type (#1474)

2025-12-22 22:44:03 +08:00

fastmath

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00

ir

[Refactor] Phaseout LLVM Dependency by Making it Optional (#247)

2025-03-20 20:08:20 +08:00

issue

[Enhancement] Improve equality checks in layout nodes and fragment validation (#1573)

2025-12-31 00:36:29 +08:00

jit

[Feat] Adapt gemm v2 for cutedsl backend (#1544)

2025-12-27 13:07:16 +08:00

kernel

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00

language

[LazyJIT] Move Type Annotations to Function Body (#1480)

2025-12-29 17:46:45 +08:00

layout

[Enhancement] Improve equality checks in layout nodes and fragment validation (#1573)

2025-12-31 00:36:29 +08:00

math

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00

metal

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00

profiler

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00

runtime

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00

tilelibrary

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00

transform

[Host] Provide post process to customize host code and enhance nullable check (#1562)

2025-12-29 16:36:40 +08:00

utils

[Lint] Phaseout Yapf format and embrace ruff format (#1417)

2025-12-12 17:22:18 +08:00

webgpu

[Enhancement] Update examples and tests for improved type handling functionality (#1448)

2025-12-17 14:41:25 +08:00