3 ms·GCC Translation Validation 2: Verifying GCC optimizations using an SMT solver2 points by matt_d 4y ago