Fp16 constant weights - #3015

Open

mloubout wants to merge 12 commits into

mainfrom

fp16-constant-weights

Commits on Aug 28, 2026

dsl: Look a DimensionTuple up by the Dimension asked for
mloubout
committed
598061a
dsl: Differentiate a mixed-staggering sum term by term
mloubout
committed
8e805ab

Commits on Aug 31, 2026

compiler: Search a Definition for applied functions
mloubout
committed
254136a
compiler: Let an Array vouch for a reduction over its whole allocation
mloubout
committed
e9db68d

Commits on Sep 2, 2026

Commits on Sep 3, 2026

compiler: Let an Operator opt into arithmetic at its own precision
mloubout
committed
3bd8e0f
dsl: Tell two Weights of different precision apart
mloubout
committed
b9490c3
compiler: Make half arithmetic a symbolic option
mloubout
committed
75d6b31