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

// WEIR_PRIMITIVE: range
// SCENARIO: Sum of bounded values
// EXPECTED_FACT: z = [15, 15]

void test() {
    int x = 5;
    int y = 10;
    int z = x + y;
}