weirflow-0.1.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

weirflow 0.1.0

GPU-first dataflow analysis primitives for Vyre and Santh compiler pipelines.

Crate
Source
Builds
Feature flags

..
.proptest-regressions
adversarial_stress_suite
backends
contracts
corpus
df_micro
df_parity_inventory_sweep
fixed_point_scratch_contract
fixtures
ifds_gpu_solve_gpu_parity
oracle_boundary
parameterized_analysis_matrix
properties
reaching_closure_gpu_parity
regression
adversarial_stress_suite.rs
api_surface_snapshot.json
api_surface_stability.rs
bitset_and_query_gpu_parity.rs
callgraph_gpu_parity.rs
campaign_wave2_flowgraph.rs
check_reverse.rs
cross_language_matrix.rs
df_adversarial_cfg_dominators.rs
df_adversarial_csr_validate.rs
df_adversarial_oracles.rs
df_anchor_bit_codegen.rs
df_cross_analysis_oracle_laws.rs
df_cross_arm_raw_atomic.rs
df_cross_language.rs
df_cross_primitive_composition.rs
df_def_use.rs
df_dominators_construction.rs
df_escape_callgraph_range.rs
df_fuzz_bitset_oracles.rs
df_gap_bitset_oracle_edges.rs
df_ifds_construction.rs
df_live_at_escapes.rs
df_live_construction.rs
df_may_alias_construction.rs
df_must_init_scc_query.rs
df_parity_dominators.rs
df_parity_exact_primitives.rs
df_parity_inventory_sweep.rs
df_parity_may_alias.rs
df_perf_oracle_throughput.rs
df_property_bitset_oracles.rs
df_property_bitset_oracles_extended.proptest-regressions
df_property_bitset_oracles_extended.rs
df_property_control_dependence.rs
df_property_cross_language.rs
df_property_def_use.rs
df_property_dominator_tree_laws.proptest-regressions
df_property_dominator_tree_laws.rs
df_property_dominators.rs
df_property_graph_layout.rs
df_property_ifds.rs
df_property_may_alias.rs
df_property_points_to.rs
df_property_range_check.rs
df_property_range_escape.rs
df_property_reachability_witness.rs
df_property_reaching_def_escapes.rs
df_property_reaching_def_summary.rs
df_property_slice_construction.rs
df_property_ssa_dominators.rs
df_property_ssa_rename.proptest-regressions
df_property_ssa_rename.rs
df_property_summary_callgraph.rs
df_property_value_set.rs
df_range_check_construction.rs
df_reachability_witness.rs
df_reaching_construction.rs
df_resolve_family_node39.rs
df_scale_oracle_no_oom.rs
df_slice_reaching_def_control_dep.rs
df_soundness_tags.rs
df_ssa_dominators.rs
df_summary_loop_points.rs
df_three_arm_fusion.rs
df_value_set_post_dominates.rs
dfm_pt_struct_field.rs
dfm_pt_union_aliasing.rs
dfm_range_add_bounded.rs
dfm_range_clamp_to_cap.rs
dispatch_decode_modularity.rs
dominators_gpu_parity.rs
examples_build.rs
feature_gate_contract.rs
fixed_point_scratch_contract.rs
gpu_abi_chokepoint_contract.rs
ifds_direct_resident_benchmark_contract.disabled
ifds_direct_resident_speedup.disabled
ifds_direct_resident_structure.rs
ifds_gpu_solve_gpu_parity.rs
ifds_reach_closure_gpu_parity.rs
ifds_resident_download_scratch_contract.rs
ifds_resident_wgpu_parity.disabled
legoblock_composition.rs
live_closure_gpu_parity.rs
loop_summarize_gpu_parity.rs
non_bitset_and_query_gpu_parity.rs
oracle_boundary.rs
output_scratch_contract.rs
parameterized_analysis_matrix.rs
points_to_gpu_parity.rs
proptest_graph_layout_normalize.rs
proptest_graph_layout_stable_hash.rs
proptest_oracle_bitset_laws.proptest-regressions
proptest_oracle_bitset_laws.rs
proptest_oracle_graph_reaching_closure.proptest-regressions
proptest_oracle_graph_reaching_closure.rs
proptest_oracle_summary_may_alias.rs
proptest_reaching_def_summary.proptest-regressions
proptest_reaching_def_summary.rs
proptest_regression_manifest.rs
proptest_ssa_dominance_frontiers.rs
proptest_ssa_dominators_random_cfg.proptest-regressions
proptest_ssa_dominators_random_cfg.rs
proptest_ssa_place_phi.proptest-regressions
proptest_ssa_place_phi.rs
range_propagate_gpu_parity.rs
reaching_closure_gpu_parity.rs
reaching_def_summary_gpu_parity.rs
reaching_resident_wgpu_parity.disabled
release_evidence_contract.rs
release_surface_contract.rs
resident_benchmark_contract.rs
should_panic_garden.rs
slice_closure_gpu_parity.rs
source_boundary.rs
summarize_function_gpu_parity.rs
tmp_debug.rs
tmp_debug2.rs
tmp_debug3.rs
tmp_debug4.rs