Expand description
verificar has moved to aprender-verify-ml.
This crate re-exports aprender-verify-ml for backward compatibility.
New code should depend on aprender-verify-ml directly.
Modules§
- audit
- Verification Audit Trail
- data
- Data pipeline for storing verified test cases
- error
- Error types for Verificar
- generator
- Combinatorial program generation engine
- grammar
- Grammar definitions for source languages
- ml
- ML model training pipeline
- mutator
- AST mutation operators
- oracle
- Verification oracle for transpilation correctness
- prelude
- Prelude module for convenient imports
- transpiler
- Transpiler integration
Structs§
- Audit
Collector - Collector for verification audit trails.
- Audit
Stats - Statistics for audit trail.
- Audit
Trace - A single audit trace entry.
- Chain
Verification - Result of hash chain verification.
- Execution
Summary - Summary of an execution result for audit purposes.
- Hash
Chain Entry - Hash chain entry for tamper-evident audit.
- Verification
Path - Decision path for a verification execution.
- Verification
Timer - Timer for measuring verification duration.
Enums§
- Error
- Errors that can occur during Verificar operations
- Language
- Supported source languages for generation
Functions§
- new_
audit_ collector - Create a new audit collector with generated suite ID.
Type Aliases§
- Result
- Result type alias for Verificar operations