3 ms·
Wouldn't it be better to skip writing the unsafe code, & have the proof generate proven-safe unsafe rust code?
by __s 10y ago
Wouldn't it be better to skip writing the unsafe code, & have the proof generate proven-safe unsafe rust code?
- foota 10y agoAw, see, this is me showing what I don't know :) I was thinking it would be something similar to this: https://en.wikipedia.org/wiki/Proof-carrying_code https://en.wikipedia.org/wiki/Proof-carrying_code except at compile time.