-
Notifications
You must be signed in to change notification settings - Fork 17
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Concrete shape axes join to wider markers across solver iterations
bugSomething isn't workingSomething isn't workingworkstream:precisionAriadne precision (corpus-fixture audit)Ariadne precision (corpus-fixture audit)Status: Open.Filter constant-decidable branch arms per call site
enhancementNew feature or requestNew feature or requestworkstream:precisionAriadne precision (corpus-fixture audit)Ariadne precision (corpus-fixture audit)Status: Open.Qualify intermediate default globals with the defining module
bugSomething isn't workingSomething isn't workingworkstream:algorithmCore analysis algorithm correctnessCore analysis algorithm correctnessStatus: Open.Repair the jython (Python 2) parser's parameter-default initialization
bugSomething isn't workingSomething isn't workingworkstream:algorithmCore analysis algorithm correctnessCore analysis algorithm correctnessStatus: Open.Parameter defaults never materialize in the pointer analysis
bugSomething isn't workingSomething isn't workingworkstream:algorithmCore analysis algorithm correctnessCore analysis algorithm correctnessStatus: Open.Widen the type-feed criterion to known-dtype unknown-shape seeds
enhancementNew feature or requestNew feature or requestworkstream:precisionAriadne precision (corpus-fixture audit)Ariadne precision (corpus-fixture audit)Status: Open.Compose a partial einsum output shape when an operand does not resolve
enhancementNew feature or requestNew feature or requestworkstream:precisionAriadne precision (corpus-fixture audit)Ariadne precision (corpus-fixture audit)Status: Open.- Status: Open.#735 In wala/ML;
- Status: Open.#734 In wala/ML;
Depth-too-short signal is blind to model-forward ⊤ values (no exposed call string)
workstream:algorithmCore analysis algorithm correctnessCore analysis algorithm correctnessStatus: Open.Retire the fork-side lexical-refresh override once WALA ships wala/WALA#1991
enhancementNew feature or requestNew feature or requestStatus: Open.Indexed dispatch over comprehension-built and non-append-mutated containers has no callees
bugSomething isn't workingSomething isn't workingStatus: Open.