search

AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification
Apache License 2.0
75 stars 15 forks source link

Turn charon into a subcommand #65

Open sonmarcho opened 8 months ago

sonmarcho commented 8 months ago

We want to be able to run cargo charon

Nadrieril commented 3 months ago

It's pretty easy: if there is cargo-charon in the PATH, cargo charon will call it. The difficulty is how to get our users to install the binary in the right spot. Maybe cargo install does what we want.