search

AeneasVerif / eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Apache License 2.0
22 stars 1 forks source link

Update charon #26

Closed Nadrieril closed 4 months ago

Nadrieril commented 4 months ago

Companion PR to https://github.com/AeneasVerif/charon/pull/264. That was a lot easier than expected :D