13 Jun
2016
13 Jun
'16
2:44 a.m.
In the long term, I wish to guarantee the absence of bugs in the security/safety-critical parts of Genode but I cannot predict the means to get there yet (Formal verification? Use of higher-level languages?).
...Cogent?
The added Rust support gives us the chance to wet our toes with one possible direction.