Certificate-first superoptimizer for a curated x86-64 subset: SMT equivalence, optimality certificates, MCMC search, and a calibrated GCC comparison.
rust x86-64 program-synthesis z3 smt formal-verification compiler-optimization superoptimization stochastic-search optimality-certificates
-
Updated
Nov 8, 2026 - Rust