Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
21
stars
1
forks
source link
Mark builtins as private by default, so as not to generate superfluous definitions and/or prototypes #46
Closed
msprotz closed 1 month ago
This fixes #45