raven
forked from raven-ml/raven
Star 0
Fork 0
Watch

Version history of dev/nx2/lib/exec.mli

October 2026

Thibaut Mattio
fix(nx2): Make creations on a set without kernels on the host
committed
Thibaut Mattio
refactor(nx2): Read operands where they lie, without Exec.placer
committed
Thibaut Mattio
docs(nx2): Name the kind of each reference a type or field shadows
committed
Thibaut Mattio
docs(nx2): State the contracts of Exec, Check and Eval once
committed
Thibaut Mattio
feat(nx2): Give every value a placement
committed
Thibaut Mattio
feat(nx2): Read every operand where it lies
committed
Thibaut Mattio
refactor(nx2): Call the engine's layers one way
committed
Thibaut Mattio
perf(nx2): Compute operations of live arrays without routing
committed
Thibaut Mattio
perf(nx2): Compute a built map over arrays on one device directly
committed
Thibaut Mattio
refactor(nx2): Keep the one-node program cache in nx
committed
Thibaut Mattio
refactor(nx2): Remove engine machinery its callers do not need
committed
Thibaut Mattio
refactor(nx2): Bound contractions over devices, not their bits
committed
Thibaut Mattio
refactor(nx2): Combine float partials by tile within stated bounds
committed
Thibaut Mattio
refactor(nx2): Evaluate constants by one walker, keeping nothing
committed
Thibaut Mattio
docs(nx2): State when a one-node map reuses its operand's layout
committed
Thibaut Mattio
refactor(nx2): Map one-node programs through one fast path
committed
Thibaut Mattio
perf(nx2): Keep one fast path for one-node maps of live arrays
committed
Thibaut Mattio
fix(nx2): Name what a declined reduction or scan computes
committed
Thibaut Mattio
refactor(nx2): Raise when a kernel library declines
committed
Thibaut Mattio
feat(nx2): Expand the matrix routines but eig
committed
Thibaut Mattio
refactor(nx2): Compute a contraction's shape where it is allocated
committed
Thibaut Mattio
refactor(nx2): Split donation out of Exec as Donate
committed
Thibaut Mattio
feat(nx2): Read a one-flag check where it lies
committed
Thibaut Mattio
feat(nx2): Add hidden Prim.consume and Prim.donated
committed
Thibaut Mattio
fix(nx2): Read a composite's donated operands once
committed
Thibaut Mattio
fix(nx2): Settle checks on the devices' reported values
committed
Thibaut Mattio
fix(nx2): Settle a set's checks before issuing a check there
committed
Thibaut Mattio
fix(nx2): Settle a set's computed checks when a check is issued
committed
Thibaut Mattio
fix(nx2): Release a drained check's hold on its data
committed
Thibaut Mattio
feat(nx2): Add Nx.sync and raise checks off the host at waits
committed
Thibaut Mattio
feat(nx2): Write set, scatter and init into donated memory
committed
Thibaut Mattio
fix(nx2): Make an operation's arrays immutable
committed
Thibaut Mattio
refactor(nx2): Record in a route whether it computes by partials
committed
Thibaut Mattio
feat(nx2): Scan along cut axes from the terms before
committed
Thibaut Mattio
feat(nx2): Reduce over cut axes by partial results
committed
Thibaut Mattio
fix(nx2): Kill a donor when an interpretation receives its consumer
committed
Thibaut Mattio
feat(nx2): Add nx2 with its CPU backend
committed