2026-01-30

Eurydice 在遗留验证环境中连接 Rust 和 C

Eurydice 编译器将 Rust 代码翻译为可读的 C 代码，同时保持程序结构，使得 Rust 程序可以在需要 C 进行验证或缺少 Rust 工具链的环境中使用。