Skip to content

Actions: CodeLaser/maddi-mod

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
A tripped link computation lands at different closure sizes on the same inputs (DesiredBalanceComputer.compute) cla #21: Issue comment #23 (comment) created by bnaudts
13m 45s
13m 45s
A tripped link computation lands at different closure sizes on the same inputs (DesiredBalanceComputer.compute) cla #20: Issue comment #23 (comment) created by bnaudts
16m 15s
16m 15s
Shorten fully qualified type names to simple names with imports cla #19: Pull request #94 closed by bnaudts
20s
20s
Shorten fully qualified type names to simple names with imports cla #18: Pull request #94 opened by tomtourwe
3m 40s
3m 40s
Tolerance (#68): a parameter stored as an array element that a later read dereferences counts as tolerant cla #17: Issue comment #93 (comment) created by bnaudts
24m 46s
24m 46s
Tolerance (#68): a parameter stored as an array element that a later read dereferences counts as tolerant cla #16: Issue comment #93 (comment) created by bnaudts
11s
11s
Nullability: a demand overruled by a null-tolerant analysed override (Joiner's useForNull) cla #15: Issue comment #85 (comment) created by bnaudts
1s
1s
Type-argument substitution removes hidden content that comes from extensibility cla #14: Issue comment #81 (comment) created by bnaudts
1s
1s
A tripped link computation lands at different closure sizes on the same inputs (DesiredBalanceComputer.compute) cla #13: Issue comment #23 (comment) created by bnaudts
1s
1s
Eventual verdict of Predefined and PredefinedWithoutParameterizedType flips between runs (now a ratchet wobble) cla #12: Issue comment #91 (comment) created by bnaudts
8s
8s
Parallel analysis: verdicts around cycles depend on thread order cla #11: Issue comment #82 (comment) created by bnaudts
1s
1s
Parallel analysis: verdicts around cycles depend on thread order cla #10: Issue comment #82 (comment) created by bnaudts
1s
1s
Eventual verdict of Predefined and PredefinedWithoutParameterizedType flips between runs (now a ratchet wobble) cla #9: Issue comment #91 (comment) created by bnaudts
1s
1s
Parallel analysis: verdicts around cycles depend on thread order cla #8: Issue comment #82 (comment) created by bnaudts
1s
1s
Parallel analysis: verdicts around cycles depend on thread order cla #7: Issue comment #82 (comment) created by bnaudts
1s
1s
Suspect link/modification verdicts on maddi's own small modules (maddi-util, maddi-support, maddi-graph) cla #6: Issue comment #72 (comment) created by bnaudts
1s
1s
Modification through a call result that is a field of the receiver (≺) does not reach the receiver cla #5: Issue comment #80 (comment) created by bnaudts
8s
8s
Link: with alternatives as plain edges, fernflower's StructClass.create exceeds the work ceiling through a callee cla #4: Issue comment #89 (comment) created by bnaudts
1s
1s
Link: with alternatives as plain edges, fernflower's StructClass.create exceeds the work ceiling through a callee cla #3: Issue comment #89 (comment) created by bnaudts
1s
1s
Link: a store into a field or array slot reassigns the variables read from it cla #2: Issue comment #77 (comment) created by bnaudts
1s
1s
@UnmodifiableView at a call trusts an overridable callee's own body cla #1: Issue comment #84 (comment) created by bnaudts
2s
2s