Verus is a tool for verifying the correctness of code written in Rust
25 points by fanf2
by suobset
0 subcomment
I just attended a talk at Northeastern (Boston) on Verus, it's genuinely amazing. I have been using it on my own Rust codebases for a while, and it has made me think deeper about the structure and semantics of Rust code.
by isubasinghe
0 subcomment
Oh hey I worked on this :)
by himata4113
0 subcomment
Clippy with unstable features enabled catches most if not all of these cases automatically? This seems like it needs more work to do the same thing clippy does.
I do see a value in validating constraints, but the examples are either too simple or I'm too dumb.