← Back to context Comment by malisper 7 hours ago AFAICT, Aeneas only supports a safe subset of Rust. I needed something that could support all of Rust 1 comment malisper Reply homarp 5 minutes ago https://github.com/AeneasVerif/aeneas says"Aeneas currently functionalizes a subset of safe Rust, and we are in the process of extending the functional model with reasoning based on separation logic to support unsafe code and concurrent code."
homarp 5 minutes ago https://github.com/AeneasVerif/aeneas says"Aeneas currently functionalizes a subset of safe Rust, and we are in the process of extending the functional model with reasoning based on separation logic to support unsafe code and concurrent code."
https://github.com/AeneasVerif/aeneas says
"Aeneas currently functionalizes a subset of safe Rust, and we are in the process of extending the functional model with reasoning based on separation logic to support unsafe code and concurrent code."