checkedint call removal

Tofu Ninja via Digitalmars-d digitalmars-d at puremagic.com
Wed Jul 30 08:45:38 PDT 2014


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


More information about the Digitalmars-d mailing list