2 ms·
Yes, AutoCorres works, but it is somewhat user hostile, even for these tools, or compared to CompCert. CompCert looks and feels like a compiler, AutoCorres isn'
by sanxiyn 8y ago
Yes, AutoCorres works, but it is somewhat user hostile, even for these tools, or compared to CompCert. CompCert looks and feels like a compiler, AutoCorres isn't.
https://github.com/seL4/l4v/tree/master/tools/autocorres https://github.com/seL4/l4v/tree/master/tools/autocorres