2 ms·
> The CompCert C reference interpreter aborts execution on undefined behavior. A C interpreter is not exactly the sort of thing that the embedded software indu
by the_why_of_y 5y ago
> The CompCert C reference interpreter aborts execution on undefined behavior.
A C interpreter is not exactly the sort of thing that the embedded software industry has been waiting to deploy in production.