2026-01-30

Eurydiceはレガシー検証環境においてRustとCをつなぐ

Eurydiceコンパイラは、プログラムの構造を保ちながらRustコードを読みやすいCコードに変換し、検証のためにCが必要な環境やRustツールチェーンが利用できない環境でもRustプログラムを使用できるようにします。