»Prusti is an automated program verifier for Rust, based on the Viper infrastructure. It leverages Rust's strong type guarantees to simplify the specification and verification of Rust programs.«
Do any of you know this and use it or are there "better" or even integrated tools for this, if such a thing is needed at all?
Last Friday we had our 4th virtual @bevy meetup, let's say thank you to the amazing speakers: François, Lorenz and Jos - in case you want to (re)watch it here is the recording: https://youtube.com/live/rnE_nINEs2M - #rustlang#gamedev 🦀🎮
#C compiler on error: Line 45: segfault 0x00000634634 #Rust compiler on error: There is an issue with your code in the line 45, see here: [you code]. To fix it you simply have to do this and this, like that [fixed code]. Please have a nice day! #rustlang#programming#software
@jgayfer I wonder if this is possible in nightly, but yeah. I sympathize. I have regularly copied and pasted backtick fenced code blocks out of my docstring just to get the formatting applied, then copy it back.
Wow, I'm blown away - thank you so much for the warm response! Advanced Hands-on Rust is atop the publisher's best sellers list already!
I've started work on the next beta release - fixing bugs, improving code, updating the Bevy version and tuning the next chapter. (Beta readers get every update including the final release)
Some may wonder why people would block CI on #rustlang nightly.
My answer is simple: either I block in CI, or I will completely ignore it. if we all stopped blocking on nightly, then a problem wouldn't be noticed until it reached beta, which is a much bigger deal to fix.
@seanmonstar this is valid and completely reasonable.
Personally, I choose a slightly different approach for cargo-semver-checks: I run nightly in CI but don't block it. This is because new rustdoc JSON versions come out often, and explaining to contributors that their PR failed CI due to reasons that are not their fault proved to be a harder support burden for me.
Also, the new rustdoc JSON version doesn't immediately come with a rustdoc-types release, so I might not be able to fix it yet.