Core transpilation pipeline for C-to-Rust conversion.
This crate orchestrates the entire transpilation process:
- Parse C code (via decy-parser)
- Convert to HIR (via decy-hir)
- Analyze and infer types (via decy-analyzer)
- Infer ownership and lifetimes (via decy-ownership)
- Verify safety properties (via decy-verify)
- Generate Rust code (via decy-codegen)