Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Tuple indexing unsupported for writes
Generic Global Variables
Vec extraction is not working due to `TryReserveError`
Functions from dependency not specified in config.yaml lead to invalid C extraction
eurydice_glue requires C++20
Signed operations in the glue on unsigned integers generate warnings
Eurydice does not match Rust's panic behavior
Correctness issues in the AI-generated fallback implementation of uint128
Memory leak on edge condition in reallocation -- general behavior of allocation functions?
Fix allocation functions to catch allocation overflow