Comment by malisper

4 hours ago

From what I can tell Aeneas only supports safe Rust. I need something that works with both C and unsafe Rust.

0 comments