Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Rust is rolling off the Volvo assembly line. Parent comment
Just a heads up, Rust does have further tooling. I wish they were more widely used
Here are three of them
https://github.com/creusot-rs/creusot
https://viperproject.github.io/prusti-dev/user-guide/
https://model-checking.github.io/kani/
There are no comments on this comment yet.
Just a heads up, Rust does have further tooling. I wish they were more widely used
Here are three of them
https://github.com/creusot-rs/creusot
https://viperproject.github.io/prusti-dev/user-guide/
https://model-checking.github.io/kani/