All issues

Search results

@click.argument decorator makes a function silently unreachable

Status: Open.

#891 In wala/ML;

· khatchad opened on Sep 6, 2026

A sidecar entry naming a reassigned local is matched against bindings it does not describe

Status: Open.

#890 In wala/ML;

· khatchad opened on Sep 6, 2026

Gpt2.call's live projection arm produces no member in the gpt2_proj fixture

Status: Open.

#889 In wala/ML;

· khatchad opened on Sep 6, 2026

Allow an annotation's concrete extent to refine a Dynamic axis

Status: Open.

#888 In wala/ML;

· khatchad opened on Sep 6, 2026

A sidecar entry that binds nothing produces no diagnostic

Status: Open.

#887 In wala/ML;

· khatchad opened on Sep 6, 2026

Extend computePhiArmFeasibility to reach a governing branch behind an invoke-split arm

Status: Open.

#885 In wala/ML;

· khatchad opened on Sep 6, 2026

A batch extent fixed by a module-level integer does not reach the parameter it sizes

Status: Open.

#883 In wala/ML;

· khatchad opened on Sep 6, 2026

A Rank Predicate Over a Statically-Known Rank Is Not Folded, So the Infeasible Branch Arm Contributes a Spurious Member

Status: Open.

#882 In wala/ML;

· khatchad opened on Sep 6, 2026

A Model Call Over an Unknown-Shape Input Floors Its Output to ⊤ Though Its Construction Fixes the Rank

Status: Open.

#879 In wala/ML;

· khatchad opened on Sep 5, 2026

The matmul batch-dimension rule takes one operand's prefix, so a broadcast batch yields a wrong extent

Status: Open.

#878 In wala/ML;

· khatchad opened on Sep 5, 2026

A parameter is emitted with no shape where a run observes one consistently

Status: Open.

#876 In wala/ML;

· khatchad opened on Sep 5, 2026

A configuration literal fixed in an entry script does not reach the parameter it sizes

Status: Open.

#875 In wala/ML;

· khatchad opened on Sep 5, 2026