Last released Sep 3, 2026
A verified C++ optimizer — proposes optimizations and applies them only after proving each is byte-identical in behavior AND measurably faster.