weirflow 0.1.0

GPU-first dataflow analysis primitives for Vyre and Santh compiler pipelines.
Documentation 
1
2
3
4
5
6
7
8
9

/// Soundness marker.
#[derive(Clone, Copy, Debug, PartialEq, Eq)]
pub struct Dominators;

impl crate::soundness::SoundnessTagged for Dominators {
    fn soundness(&self) -> crate::soundness::Soundness {
        crate::soundness::Soundness::Exact
    }
}