Tadd and softmax dynamic examples#3

Open

MirkoDeVita98 wants to merge 31 commits into

Zhendong404:pto-dsl-implfrom

MirkoDeVita98:based-on-pr-388

Commits on May 26, 2026

quick install script on top of MLIR docker image

learning-chip
authored and
Zhendong404
committed
add reference result for top->vop expansion

learning-chip
authored and
Zhendong404
committed
low-level python binding example to generate vpto IR

learning-chip
authored and
Zhendong404
committed
initial prototype of high-level dsl builder api

learning-chip
authored and
Zhendong404
committed
initial prototype of softmax IR builder

learning-chip
authored and
Zhendong404
committed
script to check IR equal

learning-chip
authored and
Zhendong404
committed
avoid raw MLIR `Type.parse`

learning-chip
authored and
Zhendong404
committed
more Pythonic builder style suggestions

learning-chip
authored and
Zhendong404
committed
major refactor of dsl syntax and impl

learning-chip
authored and
Zhendong404
committed
[vpto] Add ptodsl tracing POC
Zhendong404
committed
[vpto] Allow structured loops without vecscope
Zhendong404
committed
Add user guides
Zhendong404
committed
Add a flash attention demo
Zhendong404
committed
Completed the first version of PTODSL user guide
Zhendong404
committed
Complete the mlir text emission of the FA demo
Zhendong404
committed
pip install ptoas

castigli
authored and
Zhendong404
committed
use pip install in CI (#385)

castigli
authored and
Zhendong404
committed
feature(ptodsl): align ptodsl implementation with user guide
Zhendong404
committed
chore(ptodsl): normalize docs test headers
Zhendong404
committed
python builder to reproduce tilelang_st/tadd.pto

learning-chip
authored and
Zhendong404
committed
Switch to new kernel surface
Zhendong404
committed
Clean up the pending docs-as-test in the user guide
Zhendong404
committed
Clarify the pto.jit kernel signature
Zhendong404
committed
Refine the online softmax demo
Zhendong404
committed
working tadd dynamic
mirkodevita
committed
softmax dynamic example
mirkodevita
committed
removed rank2 from tadd example
mirkodevita
committed

Commits on May 27, 2026

static matmul example
mirkodevita
committed
dyanmic size matmul example
mirkodevita
committed
decreased tolerance for tmatmul example
mirkodevita
committed
batched matmul dynamic example
mirkodevita
committed