aprender-gpu 0.32.0

Pure Rust PTX generation for NVIDIA CUDA - no LLVM, no nvcc
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//! ArgMax Kernel Falsification Tests (F114)
//!
//! CUDA-TDG 100-Point Popper Falsification Protocol
//! Category A: Falsifiability & Testability (25 points)
//!
//! Tests apply Karl Popper's falsificationist methodology to verify:
//! - PARITY-114: Barrier safety (all threads reach bar.sync)
//! - PAR-002: Bounds checking (no illegal memory access)
//! - PAR-062: GPU argmax correctness
//!
//! Reference: Popper, K. R. (1959). The Logic of Scientific Discovery.

#[cfg(feature = "cuda")]
mod barrier_bounds;
#[cfg(feature = "cuda")]
mod gpu_correctness;
#[cfg(feature = "cuda")]
mod ptx_analysis;