tensorlogic-compiler 0.1.0-rc.1

Compiler for transforming logic expressions into tensor computation graphs
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

//! Compiler passes (validation, optimization, etc.).

pub mod advanced_analysis;
pub mod contraction_opt;
pub mod cse;
pub mod dataflow;
pub mod diagnostics;
pub mod einsum_opt;
pub mod graph_opt_integration;
pub mod loop_fusion;
pub mod metadata_propagation;
pub mod post_compilation;
pub mod reachability;
pub mod scope_analysis;
pub mod strategy_selection;
pub mod symbol_integration;
pub mod type_checking;
pub mod validation;

pub use advanced_analysis::{
    analyze_graph, print_report, quick_analyze, AnalysisReport, OptimizationRecommendation,
    ParallelOpportunity, RecommendationCategory,
};
pub use contraction_opt::{
    analyze_contraction_path, optimize_contractions, optimize_contractions_with_config,
    ContractionOptConfig, ContractionOptStats, ContractionPath, TensorShape,
};
pub use cse::{eliminate_common_subexpressions, CseResult};
pub use dataflow::{
    analyze_dataflow, analyze_dataflow_with_config, analyze_graph_dataflow, DataflowAnalysis,
    DataflowConfig, GraphDataflow,
};
pub use diagnostics::{
    diagnose_expression, enhance_error, Diagnostic, DiagnosticBuilder, DiagnosticLevel,
};
pub use einsum_opt::{optimize_einsum_graph, EinsumOptResult};
pub use graph_opt_integration::{
    apply_graph_optimizations, apply_pattern_optimizations, quick_optimize,
    recommend_optimizations, GraphOptConfig, GraphOptStats,
};
pub use loop_fusion::{
    estimate_fusion_benefit, fuse_loops, fuse_loops_with_config, LoopFusionConfig, LoopFusionStats,
};
pub use metadata_propagation::{
    attach_expr_metadata, propagate_metadata, MetadataBuilder, MetadataCompilationResult,
};
pub use post_compilation::{
    post_compilation_passes, quick_validate, PostCompilationOptions, PostCompilationResult,
};
pub use reachability::{
    analyze_dominance, analyze_reachability, DominanceAnalysis, ReachabilityAnalysis,
};
pub use scope_analysis::{
    analyze_scopes, suggest_quantifiers, validate_scopes, ScopeAnalysisResult,
};
pub use strategy_selection::{
    recommend_strategy, ExpressionProfile, OptimizationGoal, StrategyRecommendation,
};
pub use symbol_integration::{
    build_signature_registry, export_domains, import_domains, sync_context_with_symbol_table,
};
pub use type_checking::{infer_types, TypeChecker};
pub use validation::{
    validate_arity, validate_expression, validate_expression_with_types, ValidationResult,
};