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
21 stars 1 forks source link

Make items not covered by the config private #35

Open franziskuskiefer opened 2 months ago

franziskuskiefer commented 2 months ago

It would be nice if all items that are not explicitly caught in the config become private such that they are eliminated by default when unused.

when there's a config, and you don't "catch" something with one of the bundles, it implicitly becomes private?