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

Drop builtins when unused #45

Closed franziskuskiefer closed 1 month ago

franziskuskiefer commented 1 month ago

Unused builtin functions create compiler warnings declared ‘static’ but never defined.

https://github.com/AeneasVerif/eurydice/blob/f415f299462ee62cdddcb42ae16b10bb6a7e4f0a/lib/Builtin.ml#L361-L395