Colin S. Gordon

Three URLs failed to validate (one I added, two that seemed to work before), but when I access them with a web-browser they resolve just fine.

I just came here to file the same issue. I have the same failure on Rust nightly, stable 1.75, and stable 1.77 on macos 14.1.1. My latest build finished with...

I just reproduced the issue with 1.75 on Linux as well (an up-to-date Ubuntu 22.04 LTS)

Okay, so I've got a workaround for those of us trying to install the tool for comand line use: - Clone the source - edit ```Cargo.toml``` to add the ```rhai_codegen```...

I'm just dropping in here to say I have seen what seems to be the same issue with my new esp32c6. With a fresh minimal esp-template project: ``` $ cargo...

Part of me was wondering if this might be a tooling configuration issue (until today I had not gotten any Rust to run on an esp32c6), and wondered if there...

Things get a little weirder; compiling what I thought was the intended fix ```rust use prusti_contracts::*; struct Blah { _x: std::marker::PhantomData, } #[model] struct Blah

This second error persists even if I additionally add the ```'a``` parameter to the original model as well, and even if I mark it ```#[generic]```.

Yes, I tried 510 by itself; the attached screenshot uses doas, but I did it yesterday as root  Here's what happens for 61:...

The GENERIC kernel already includes all of the virtio drivers (it's in the config, and kldload confirms that it's already built-in to the kernel in question). (Though I hand't seen...