vyncint/reconverge

Hardware session #2 has never run — the only external check on the accuracy claims 1 day ago

help wanted

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

`--sarif --strict` writes the report to a file called `--strict`, then tells you to rerun with `--strict` 21 days ago

bug good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

`cargo reconverge check` into a reader that closes early panics and exits 101, outside the documented exit-code set 21 days ago

bug good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

A comment in the analyzed source erases the diagnostics above it, and the summary still counts them 21 days ago

bug good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

The multi-warp limitation contradicts itself one paragraph later on whether a collective stops the replay 21 days ago

documentation good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

The caret is offset by character count, so it misses the span on any line with a tab or a wide character before it 21 days ago

bug good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

The crates.io install page drops the `@VERSION` pins the repository calls load-bearing 21 days ago

documentation good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

The summary line tells you to rerun with --show-suppressed in the run where you already did 21 days ago

bug good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

The published mutation table still reads `466 gating finding(s)`, and CI pins it there byte-for-byte 21 days ago

enhancement good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

conformance/extractor is a second workspace no quality gate can reach, and its clippy is already red 21 days ago

bug good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

RC005's help line says "covers 2 two axes", and at domain = 3 it says "covers 3 two axes" 21 days ago

bug good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

A corrupt artifact reads as an unsupported schema in witness and triage, is silently dropped by inspect, and is named correctly only by the shell 21 days ago

bug good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

`--explain RC002` still describes the v0.1 analyzer: it says the unmasked wrappers are unchecked, and check gates on them 21 days ago

documentation good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

watch prints its dashboard on stdout in JSON mode, so half the stream is not JSON 21 days ago

bug good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

The conformance and mutation gates cannot run on macOS: `sed -i` uses the GNU form 26 days ago

bug good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

--cc reports out-of-range and negative values as "non-numeric", hiding the known-capabilities list 27 days ago

bug good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

Flags accepted and silently ignored in JSON mode, and --help rejected by every subcommand 27 days ago

enhancement good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

SECURITY.md and README say there are no releases; there are 16 tags and 0.4.0 is published 28 days ago

documentation good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

Diagnostic gutter alignment is hardcoded to a two-digit line number 28 days ago

bug good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

The summary line every run prints says `1 finding(s)` and "see them" for one about 1 month ago

enhancement help wanted good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

test: record differential evidence for the multi-warp replay before extending it about 1 month ago

help wanted

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

feat: model count_ones so the lane-ordinal idiom replays about 1 month ago

enhancement good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

docs: name the rustc components a crates.io install needs about 1 month ago

documentation good first issue

vyncint/reconverge

6

Static reconvergence analysis for Rust GPU kernels — catches divergent barriers and non-convergent warp operations at compile time. No GPU required.

Rust

Open Issues Need Help