enable no_shadow for extraction

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

21 stars 1 forks source link

Closed franziskuskiefer closed 8 months ago