Docs.rs

Cargo subcommand for reconverge: static reconvergence analysis for Rust GPU kernels

Warp-accurate MIR interpreter that replays counterexample witnesses

Compiler driver that runs reconverge analyses and emits versioned artifacts

Typed bindings for reconverge's versioned artifact schemas

SIMT dialect definition for kernels written using cuda-oxide

Solana precompiled programs.

Dialect-agnostic divergence analysis engine for SIMT kernels (MIR dataflow)

Concrete implementation of a Solana `Signer`.

Solana fee structures.

Rialo Types

Build script helpers for Venus workflow projects

Type for instruction introspection during execution of Solana programs.

The Solana program entrypoint.

Solana Cross-program Invocation

Solana Clock and Time Definitions