3 ms·
Very neat. Needs Rust compilation support!
by junon 3y ago
Very neat. Needs Rust compilation support!
- r9295 3y agoProbably never gonna happen due to how unstable rustc is and due to the fact that a lot of projects require nightly.
- junon 3y agoIt actually appears they have a rust backend, it just isn't listed in the readme. It's also a myth that you can't generate stable rust.
- _flux 3y agoSurely generating Rust is not a moving target, if you choose to target stable?
- r9295 3y agoIt depends on how feasible stable Rust is for popular projects. Many projects mandate nightly. Even if it is a fixed nightly version, the discrepancies across nightly versions add up since they don't just add APIs, they remove them too.
- junon 3y agoStable rust is inherently compatible with nightly. Especially if they're in their own crate.
- _flux 3y agoUnstable rustc can compile stable code. For code you'd write with Dafny I highly doubt it would be an issue. Perhaps you have a proof of the opposite? I've only ever needed nightly when doing something a bit off the beaten path, like targeting microcontrollers. The Linux kernel is another big project that needs unstable. It's much more rare a need than you make it out to be.
- syrak 3y agoFor verified Rust there is also https://github.com/creusot-rs/creusot https://github.com/creusot-rs/creusot
- junon 3y agoCool, thanks! Will have to look into this
- MikaelMayer 3y agoI'm working on it! Feel free to launch a discussion in the GitHub project if you are interested, with examples in mind, if have any questions.