decy-llm 2.0.0

LLM context builder for Decy C-to-Rust transpiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

//! 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.

#![warn(missing_docs)]
#![warn(clippy::all)]
#![deny(unsafe_code)]

pub mod context_builder;
pub mod llm_codegen;
pub mod verifier;

pub use context_builder::{AnalysisContext, ContextBuilder, FunctionContext};
pub use llm_codegen::{CodegenPrompt, GeneratedCode, LlmCodegen, LlmError};
pub use verifier::{
    CodeVerifier, CompilationMetrics, IterationContext, VerificationLoop, VerificationResult,
};

#[cfg(test)]
mod verifier_tests;