2 ms·
"Beware of bugs in the above code; I have only proved it correct, not tried it." (Donald Knuth)
by virgulino 10y ago
"Beware of bugs in the above code; I have only proved it correct, not tried it." (Donald Knuth)
- AstralStorm 10y agoStatement hopefully obviated by seL4 Isabelle to/from C compiler.