All issues

Search results

Model tf.Operation, so a consumer can distinguish it from a Tensor return

Status: Open.

#864 In wala/ML;

· khatchad opened on Sep 1, 2026

Guard reachability is rebuilt per caller-walk entry rather than once per caller

Status: Open.

#863 In wala/ML;

· khatchad opened on Aug 31, 2026

The dtype axis cannot express a partial resolution, so a short union reads as a complete one

Status: Open.

#862 In wala/ML;

· khatchad opened on Aug 31, 2026

A composed generator whose dtype parameter sits at the receiver position reads the receiver as its dtype

Status: Open.

#861 In wala/ML;

· khatchad opened on Aug 31, 2026

A heterogeneous argument selects one arm for the whole points-to set

Status: Open.

#859 In wala/ML;

· khatchad opened on Aug 30, 2026

A parameter constrained only by image-adjustment consumers gets no rank

Status: Open.

#856 In wala/ML;

· khatchad opened on Aug 29, 2026

Unmodeled Reshape and Permute layer classes drop the output shape for the rest of the chain

Status: Open.

#840 In wala/ML;

· khatchad opened on Aug 27, 2026

The tf.nn.relu alias bypasses its dedicated generator.

Status: Open.

#839 In wala/ML;

· khatchad opened on Aug 26, 2026

Call-form consumers declare no eager dtype coercion (tf.matmul, tf.tensordot, tf.einsum, function-form elementwise operations).

Status: Open.

#837 In wala/ML;

· khatchad opened on Aug 25, 2026

A parameter's dtype plurality does not say whether it is consumer-imposed, and the two origins require opposite treatments downstream

Status: Open.

#836 In wala/ML;

· khatchad opened on Aug 25, 2026

The instance-method trampoline resolves a callable's method on the exact receiver class, so a body-less shell under a modeled class cannot inherit it

Status: Open.

#833 In wala/ML;

· khatchad opened on Aug 25, 2026

Sequential-built models resolve no weight shapes and no forward shape through the layer list

Status: Open.

#832 In wala/ML;

· khatchad opened on Aug 25, 2026