Comment by weinzierl
2 hours ago
Have you heard of Aeneas? In case you did, what are your opinions on it? Specifically, why you didn't choose it for your project.
2 hours ago
Have you heard of Aeneas? In case you did, what are your opinions on it? Specifically, why you didn't choose it for your project.
From what I can tell Aeneas only supports safe Rust. I need something that works with both C and unsafe Rust.