Skip to content

Fix DeepCompile+Z3 on PyTorch v2.9/2.10#7951

Merged
tohtana merged 6 commits intodeepspeedai:masterfrom
tohtana:tohtana/fix-deepcompile-z3-pt29
Apr 11, 2026
Merged

Fix DeepCompile+Z3 on PyTorch v2.9/2.10#7951
tohtana merged 6 commits intodeepspeedai:masterfrom
tohtana:tohtana/fix-deepcompile-z3-pt29

Commits

Commits on Apr 11, 2026