On Wednesday, 30 July 2014 at 15:24:57 UTC, Timon Gehr wrote:
I see. (Though I secretly still dare to hope for verified OpenGL drivers, or something analogous: it is not completely out of reach theoretically; the machine can be given a quite precise formal specification.)
There is literally no chance in hell for a verified opengl driver. The number of permutations on the state alone is astronomical and un-testable. Its made even worse by the fact that the hardware changes every year or so.
Sources: I am doing an internship at nvidia right now :P
