warp-types 0.3.2

Type-safe GPU warp programming via linear typestate: compile-time prevention of shuffle-from-inactive-lane bugs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

//! Research explorations — compiled but not part of the public API.
//!
//! These modules contain prototypes, proofs-of-concept, and explorations
//! from the development of the warp type system. They are preserved for
//! reference but are not re-exported from the crate root.
//!
//! Note: Many research modules define their own local `Warp<S>`, `ActiveSet`,
//! etc. rather than importing the core types. These local definitions may have
//! different semantics (e.g., `Copy` vs affine). The research demos illustrate
//! concepts but do not prove properties of the core type system — the Lean
//! formalization in `lean/` does that.

pub mod arbitrary_predicates;
pub mod inactive_lanes;
pub mod lane;
pub mod nested_diverge;
pub mod shared;
pub mod shuffle_duality;
pub mod static_verify;
pub mod varying_loops;
// soundness.rs removed — canonical proof lives in src/proof.rs (gated behind formal-proof feature)
pub mod borrowing;
pub mod coalescing;
pub mod cpu_gpu_session;
pub mod crossbar_protocol;
pub mod divergent_values;
pub mod early_exit;
pub mod implicit_merge;
pub mod inter_block;
pub mod predicate_expressiveness;
pub mod protocol_inference;
pub mod recursive_protocols;
pub mod register_pressure;
pub mod scalability;
pub mod uniformity_inference;
pub mod warp_size;
pub mod work_stealing;