3 ms·
quoting pcwalton up above: "I don't care if the software is verified via libraries or compilers. The problem is that C++ verifiers don't work."
by leshow 10y ago
quoting pcwalton up above:
"I don't care if the software is verified via libraries or compilers. The problem is that C++ verifiers don't work."
- braveo 10y agoright, I too can make assertions with no evidence to back them up. If that's really your bar, then we don't have much more to discuss.