3 ms·
Unfortunately you end up selling your stuff to people building missiles and bombs that way—witness CompCert and Frama-C.
by mananaysiempre 2y ago
Unfortunately you end up selling your stuff to people building missiles and bombs that way—witness CompCert and Frama-C.
- anonzzzies 2y agoNot us, but yes, you have a point.