Decouple the actions

Posted Aug 20, 2024 11:00 UTC (Tue) by khim (subscriber, #9252)
In reply to: Decouple the actions by moltonel
Parent article: FreeBSD considers Rust in the base system

> Writing a "is this Rust code equivalent to that C code" verifier remains a challenge, but perhaps a bit more approachable.

We couldn't even answer much simpler answer “is this machine code equivalent to that C code” question because of all these “we code for the hardware” guys!

But then, if we are not aiming for 100% correctness but for 99% correctness and assume human would cleanup the final version… that task may actually be feasible. Still skeptical, but we would see how well it'll go.