Skip to main content

decy_llm/
lib.rs

1//! LLM context builder for C-to-Rust transpilation.
2//!
3//! Formats static analysis results as structured JSON context for LLM prompts.
4//! This enables LLM-guided code generation with ownership, lifetime, and
5//! concurrency analysis information.
6
7#![warn(missing_docs)]
8#![warn(clippy::all)]
9#![deny(unsafe_code)]
10
11#[macro_use]
12#[allow(unused_macros)]
13mod generated_contracts;
14
15pub mod context_builder;
16pub mod llm_codegen;
17pub mod verifier;
18
19pub use context_builder::{AnalysisContext, ContextBuilder, FunctionContext};
20pub use llm_codegen::{CodegenPrompt, GeneratedCode, LlmCodegen, LlmError};
21pub use verifier::{
22    CodeVerifier, CompilationMetrics, IterationContext, VerificationLoop, VerificationResult,
23};
24
25#[cfg(test)]
26mod verifier_tests;