issues
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
#28
Closed
Nadrieril
closed
3 months ago
Nadrieril
commented
3 months ago
Companion PR to
https://github.com/AeneasVerif/charon/pull/266
Companion PR to https://github.com/AeneasVerif/charon/pull/266