Comment by malisper

5 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