4 ms·
The previous post states that the goal is to use the SMT solver offline to identify opportunities for improving the compiler: https://blog.regehr.org/archives/1
by hyperpape 7y ago
The previous post states that the goal is to use the SMT solver offline to identify opportunities for improving the compiler: https://blog.regehr.org/archives/1709 https://blog.regehr.org/archives/1709. Using the solver online isn't the goal.