weirflow 0.1.0

GPU-first dataflow analysis primitives for Vyre and Santh compiler pipelines.
Documentation
1
2
3
4
5
6
use crate::fixed_point_batch::FixedPointBatch;
use std::cell::Cell;

mod prepared_solve_contracts;
mod direct_solve_contracts;
mod empty_seed_contracts;