News for hackers. Stuff that matters.

A comment on GCC-Rust: Rust frontend for GCC. Parent comment

Re:GCC-Rust: Rust frontend for GCC by clarus on Sunday December 08, 2019 @08:58AM (#21735888)
There are some people studying Rust with formal verification. For example in this paper https://plv.mpi-sws.org/rustbelt/rbrlx/paper.pdf However I do not know if the whole language is covered or only a core.
[ Parent | on HN ]
Re:GCC-Rust: Rust frontend for GCC by sanxiyn on Sunday December 08, 2019 @09:27AM (#21736020)
The big gap with RustBelt is that it does not cover traits. This actually does matter: some bugs were missed because they interact with traits.
[ Parent | on HN ]