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
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

name: Fuzz

on:
  push:
    branches: [main]
  schedule:
    - cron: '0 0 * * 0'
  workflow_dispatch:

env:
  CARGO_TERM_COLOR: always

jobs:
  fuzz:
    name: Fuzz Targets
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: dtolnay/rust-toolchain@stable
      - uses: Swatinem/rust-cache@v2
      - run: cargo test --test df_fuzz_bitset_oracles --features cpu-parity
      - run: cargo test --test proptest_oracle_graph_reaching_closure --features cpu-parity
      - run: cargo test --test proptest_oracle_summary_may_alias --features cpu-parity
      - run: cargo test --test proptest_reaching_def_summary --features cpu-parity
      - run: cargo test --test proptest_ssa_dominators_random_cfg --features cpu-parity
      - run: cargo test --test proptest_ssa_place_phi --features cpu-parity
      - run: cargo test --test proptest_graph_layout_stable_hash --features cpu-parity
      - run: cargo test --test proptest_graph_layout_normalize --features cpu-parity