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
//! Analysis for Calyx programs.
//!
//! The analyses construct data-structures that make answering certain queries
//! about Calyx programs easier.

mod compute_static;
mod control_id;
mod control_order;
mod control_ports;
mod dataflow_order;
mod domination_analysis;
mod graph;
mod graph_coloring;
mod live_range_analysis;
mod port_interface;
pub mod reaching_defns;
mod read_write_set;
mod schedule_conflicts;
mod share_set;
mod static_par_timing;
mod variable_detection;

pub use compute_static::IntoStatic;
pub use compute_static::WithStatic;
pub use control_id::ControlId;
pub use control_order::ControlOrder;
pub use control_ports::ControlPorts;
pub use dataflow_order::DataflowOrder;
pub use domination_analysis::DominatorMap;
pub use graph::GraphAnalysis;
pub use graph_coloring::GraphColoring;
pub use live_range_analysis::LiveRangeAnalysis;
pub use port_interface::PortInterface;
pub use read_write_set::ReadWriteSet;
pub use schedule_conflicts::ScheduleConflicts;
pub use share_set::ShareSet;
pub use static_par_timing::StaticParTiming;
pub use variable_detection::VariableDetection;