language-agnostic program reducer.
-
Updated
Oct 2, 2026 - Rust
language-agnostic program reducer.
Cargo and rust-analyzer will blocking when compile this code
Empirical Boundaries of Undecidability, Compiler Limit Archaeology & Hardware Memory Models — type-level Turing machines, differential soundness research across 11 compilers, and litmus science on Apple Silicon, Linux x86 & GPU
To associate your repository with the compiler-bugs topic, visit your repo's landing page and select "manage topics."