tokitai-operator 0.1.0

Verified DL kernel compiler: formally-checked GEMM, p-adic, sheaf, contract-carrying ops. Paper-artifact grade.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
//! Schedule actions: tile, fuse, etc.
//!
//! `ScheduleAction` is the abstract scheduling directive the
//! planner emits. The default action set is `{ Tile, Fuse, ... }`;
//! the executor consumes them in plan-step order.
//!
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum ScheduleAction {
    Tile { axis: usize, factor: usize },
    Fuse { producer: usize, consumer: usize },
    Reorder { order: Vec<usize> },
    Vectorize { axis: usize },
    Parallelize { axis: usize },
    PrecisionRefine { from_digits: u32, to_digits: u32 },
}