Module fixed_point_graph 

Packed forward CSR graph buffers for fixed-point GPU wrappers.

Build a prepared graph for generic forward analysis:

use weir::fixed_point_graph::FixedPointForwardGraph;

let graph = FixedPointForwardGraph::new(
    "example", 2, &[0, 1, 1], &[1], &[0xFFFF_FFFF],
).unwrap();
assert_eq!(graph.node_count(), 2);
assert_eq!(graph.edge_count(), 1);

Reusable packed graph state for Weir fixed-point GPU wrappers.

Fixed-point analyses iterate over changing frontier buffers while the CSR graph stays invariant. This module owns that invariant byte packing so batch callers can prepare a graph once and reuse it across repeated executions.

Structs

FixedPointAnalysisPlan

Prepared fixed-point analysis plan: invariant graph buffers plus emitted IR.

FixedPointForwardGraph

Packed forward CSR graph buffers ready for Vyre dispatch.

Enums

FixedPointAnalysisKind

Fixed-point analysis family attached to a prepared plan.