decy-oracle 2.1.0

CITL (Compiler-in-the-Loop) oracle for C-to-Rust transpilation pattern mining
Documentation

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

┌─────────────────────┐     ┌──────────────────┐
│  C Source Files     │────►│  CorpusCITL      │
│  (transpilation)    │     │  Pattern Mining  │
└─────────────────────┘     └──────────────────┘
                                     │
                                     ▼
                             ┌──────────────────┐
                             │  DecisionCITL    │
                             │  (Tarantula)     │
                             └──────────────────┘
                                     │
                                     ▼
                             ┌──────────────────┐
                             │  DecyOracle      │
                             │  (Fix Suggestions)│
                             └──────────────────┘

Features

  • citl: Enable entrenar CITL integration for pattern mining