3 ms·
they in fact do have bugs, yes, inescapably so (no one provides formal proofs for production level compilers)
by ChrisGreenHeur 8mo ago
they in fact do have bugs, yes, inescapably so (no one provides formal proofs for production level compilers)
- whoisthemachine 8mo agoOk, but we treat them as bugs that we can reproduce and assume that they are solvable? We don't just assume that it's intrinsic to the compiler that it must have bugs, and that they will occur in random, non-deterministic ways?