Crate decy_llm 

LLM context builder for C-to-Rust transpilation.

Formats static analysis results as structured JSON context for LLM prompts. This enables LLM-guided code generation with ownership, lifetime, and concurrency analysis information.

Re-exports

pub use context_builder::AnalysisContext;

pub use context_builder::ContextBuilder;

pub use context_builder::FunctionContext;

pub use llm_codegen::CodegenPrompt;

pub use llm_codegen::GeneratedCode;

pub use llm_codegen::LlmCodegen;

pub use llm_codegen::LlmError;

pub use verifier::CodeVerifier;

pub use verifier::CompilationMetrics;

pub use verifier::IterationContext;

pub use verifier::VerificationLoop;

pub use verifier::VerificationResult;

Modules

context_builder

Context builder for LLM prompts.

llm_codegen

LLM-guided Rust code generation (DECY-099).

verifier

Verification and iteration framework for LLM-generated code (DECY-100).