Joined 15 years ago
They're using LLMs. The economics of this sort of retrofit has changed considerably with LLMs.
https://en.wikipedia.org/wiki/CompCert