Skip to content

CFG-based loop body detection, remove Theta union, fix DCE used_ids #115

CFG-based loop body detection, remove Theta union, fix DCE used_ids

CFG-based loop body detection, remove Theta union, fix DCE used_ids #115

Triggered via push February 15, 2026 17:12
Status Success
Total duration 28s
Artifacts 1

scorecard.yml

on: push
Scorecard analysis
25s
Scorecard analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
SARIF file Expired
17.6 KB
sha256:7bb05b129b57e2b49c443c89c3cbe101cf74309330d9312053f724f88d183cdb