decy-oracle 2.1.0

CITL (Compiler-in-the-Loop) oracle for C-to-Rust transpilation pattern mining
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97

//! Decy Oracle: CITL pattern mining and fix suggestions for C-to-Rust transpilation
//!
//! This crate provides Tarantula fault localization to identify C language features
//! most correlated with transpilation failures, and suggest fixes.
//!
//! # Architecture
//!
//! ```text
//! ┌─────────────────────┐     ┌──────────────────┐
//! │  C Source Files     │────►│  CorpusCITL      │
//! │  (transpilation)    │     │  Pattern Mining  │
//! └─────────────────────┘     └──────────────────┘
//!                                      │
//!                                      ▼
//!                              ┌──────────────────┐
//!                              │  DecisionCITL    │
//!                              │  (Tarantula)     │
//!                              └──────────────────┘
//!                                      │
//!                                      ▼
//!                              ┌──────────────────┐
//!                              │  DecyOracle      │
//!                              │  (Fix Suggestions)│
//!                              └──────────────────┘
//! ```
//!
//! # Features
//!
//! - `citl`: Enable entrenar CITL integration for pattern mining

#![allow(missing_docs)]
#![deny(unsafe_code)]

// Core modules
pub mod baseline;
pub mod config;
pub mod context;
pub mod decisions;
pub mod error;
pub mod metrics;
pub mod oracle;

// Golden trace system
pub mod golden_trace;
pub mod trace_verifier;

// Dataset and import
pub mod bootstrap;
pub mod dataset;
pub mod diversity;
pub mod import;
pub mod retirement;
pub mod verification;

// CITL pattern mining (DECY-136)
#[cfg(feature = "citl")]
pub mod corpus_citl;

// Re-exports
pub use baseline::{aggregate_measurements, BaselineMetrics, FileMeasurement};
pub use config::OracleConfig;
pub use context::{CConstruct, CDecisionContext};
pub use decisions::CDecisionCategory;
pub use error::OracleError;
pub use golden_trace::{GoldenTrace, TraceTier};
pub use import::SmartImportConfig;
pub use metrics::{CIReport, CIThresholds, OracleMetrics};
pub use oracle::{DecyOracle, RustcError};
pub use retirement::PatternRetirementPolicy;
pub use trace_verifier::{TraceVerifier, VerificationLevel, VerifierConfig};

#[cfg(feature = "citl")]
pub use corpus_citl::{CFeature, CorpusCITL, IngestionStats};

#[cfg(test)]
#[path = "bootstrap_coverage_tests.rs"]
mod bootstrap_coverage_tests;

#[cfg(test)]
#[path = "config_coverage_tests.rs"]
mod config_coverage_tests;

#[cfg(test)]
#[path = "verification_coverage_tests.rs"]
mod verification_coverage_tests;

#[cfg(test)]
#[path = "dataset_coverage_tests.rs"]
mod dataset_coverage_tests;

#[cfg(test)]
#[path = "import_coverage_tests.rs"]
mod import_coverage_tests;

#[cfg(test)]
#[path = "bootstrap_deep_tests.rs"]
mod bootstrap_deep_tests;