ponder-lab / Hybridize-Functions-Refactoring
81%
main: 83%

LAST BUILD BRANCH: dependabot/github_actions/actions/setup-python-7
DEFAULT BRANCH: main
Repo Added
Files 33
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH implement-747-precise-d
branch: implement-747-precise-d
CHANGE BRANCH
x

coverage: 81.23% (+0.7%) from 80.547%
Relevant lines Covered
2552 RELEVANT LINES 2073 COVERED LINES
0.81 HITS PER LINE
Source Files on implement-747-precise-d

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#2406 implement-747-precise-d Use full issue URLs in the numpy-shape precondition comments Bare #N / wala/ML#N are not clickable in source comments; expand the issue references I added (in Util.java, the new tests, and the ⊤-source fixture note) to full GitHub URLs. Co-Autho... Pull #750 khatchad github
81.23
#2405 implement-747-precise-d Cover the provably-dynamic decline branch of the numpy shape precondition Add testNumpyOnDynamicShapeDim: numpy over a reshape(⊤, [-1, 5]) tensor's dynamic leading dimension. This exercises numpyOverShapeStaticness's DYNAMIC verdict and the sink'... Pull #750 khatchad github
81.23
#2402 implement-747-precise-d Pre-index the tensor-type analysis by (node, value number) lookupTensorTypes did a full linear scan of the analysis on every call, and the numpy-shape sink reaches it multiple times per scan; index once per appliesNumpyToParameters invocation and... Pull #750 khatchad github
81.07
#2400 implement-747-precise-d Reject non-integral slice-bound constants in resolveIntConstant A float ConstantKey would truncate under intValue() and wrongly prove a slice bound; treat a non-integral or out-of-int-range value as unresolvable. Co-Authored-By: Claude Opus 4.8 ... Pull #750 khatchad github
81.07
#2399 implement-747-precise-d Correct the nested-slice fallback comment: permissive, not conservative Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01He1ULx8nRoHzGicMryry1A Pull #750 khatchad github
81.09
#2397 implement-747-precise-d Add @param tensorTypeAnalysis Javadoc to the numpy-check entry points Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01He1ULx8nRoHzGicMryry1A Pull #750 khatchad github
81.09
#2394 implement-747-precise-d Note the ⊤-source dependency on wala/ML#539 in the fixture The testNumpyOnTopShape fixture relies on tf.constant(np.array(<literal>)) being typed ⊤. Flag that dependency inline so that when wala/ML#539 (reopened) infers the literal's shape, whoev... Pull #750 khatchad github
81.09
#2392 implement-747-precise-d Document the ⊤-permit policy and add ⊤/cross-boundary coverage Make the precision-favoring treatment of an unprovable shape explicit: numpy over a ⊤ shape or a descriptor lost across a call boundary is permitted (which recovers the corpus DenseLa... Pull #750 khatchad github
81.09
#2389 implement-747-precise-d Add value-slice regression test, gated-check pin, and named constants - testNumpyOnSlicedTensorValue pins the RPN compute_iou regression: numpy over a slice of a tensor value (`np.maximum(boxes[:2], ...)`) stays a sink. - Re-add the einsum_via_... Pull #750 khatchad github
80.95
See All Builds (4125)