SMT-Verified Recursive Self-Evolving Superoptimizing Compiler & Repository Synthesizer (Z3 QF_BV, Alive2, Meta Infer, BLAKE3, mimalloc)
compiler formal-verification superoptimizer z3-solver alive2 darwinian-evolution polyhedral-compilation self-evolving-compiler smt-verification repository-compiler
-
Updated
Oct 26, 2026 - Python