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

Do a Eurydice-specific pass that marks every monomorphized function (and possibly type) as private #17

Open msprotz opened 3 months ago

msprotz commented 3 months ago

Since there are API files whose functions are neither type- nor const-generic, we should be able to add a custom phase to Eurydice that, by default, makes the monomorphized instances of functions as private, which should give cleaner headers and possibly reduce the size of c.yaml