Fp16 constant weights - #3015

Open

mloubout wants to merge 7 commits into

mainfrom

fp16-constant-weights

Commits on Sep 3, 2026

dsl: Type the FD weights after the expression they differentiate
mloubout
committed
52f5fe5
compiler: Print an Array initializer at the Array's own precision
mloubout
committed
9c30eb4
compiler: Keep a real literal at a half-precision Operator's precision
mloubout
committed
764e7fe
compiler: Check stability with an accumulator wider than the field
mloubout
committed
81ff00e
compiler: Let an Operator opt into arithmetic at its own precision
mloubout
committed
6181932
dsl: Tell two Weights of different precision apart
mloubout
committed
7912a7f
compiler: Make half arithmetic a symbolic option
mloubout
committed
9759188