search

viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
http://prusti.org
Other
1.52k stars 102 forks source link

rustc removed plugins #1473

Closed safinaskar closed 8 months ago

safinaskar commented 8 months ago

rustc just removed plugins ( https://github.com/rust-lang/rust/pull/116412 ). It is possible you are affected

bjorn3 commented 8 months ago

Prusti uses the driver interface which isn't removed. Only #![plugin(foo)] is.

fpoli commented 8 months ago

Thank you for the heads up! We briefly experimented using the plugins interface years ago, but we no longer use it.