Skip to content

Actions: Sato-Isolated/ReforgeIL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow runs
79 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
fix: model lifetimes for reused stack locals ci #75: Commit c44fd11 pushed by Sato-Isolated
14m 5s main
main
14m 5s
fix: absorb inlined string null guards ci #74: Commit 86fb587 pushed by Sato-Isolated
12m 11s main
main
12m 11s
fix: recover direct virtual close calls ci #73: Commit 02c0c83 pushed by Sato-Isolated
13m 39s main
main
13m 39s
fix: recover managed string hash loops ci #72: Commit 17bf7dd pushed by Sato-Isolated
13m 25s main
main
13m 25s
fix: recover scalar value type factories ci #71: Commit dd21546 pushed by Sato-Isolated
13m 33s main
main
13m 33s
feat: recover sparse verified method selections ci #70: Commit 2617603 pushed by Sato-Isolated
12m 58s main
main
12m 58s
fix: emit exact generic value types in recovery ci #69: Commit 02436d7 pushed by Sato-Isolated
11m 46s main
main
11m 46s
fix: preserve exact types and phi values in recovery ci #68: Commit 2f7c991 pushed by Sato-Isolated
11m 46s main
main
11m 46s
fix: preserve exact types in recovered methods ci #67: Commit c9611cf pushed by Sato-Isolated
11m 48s main
main
11m 48s
fix: prove receiver provenance and compact recovered locals ci #66: Commit 20690f8 pushed by Sato-Isolated
12m 28s main
main
12m 28s
fix: ignore implicit stack accesses in memory ssa ci #65: Commit 4c65617 pushed by Sato-Isolated
10m 16s main
main
10m 16s
refactor: simplify recovery pipeline and remove obsolete code ci #64: Commit 2c3ab03 pushed by Sato-Isolated
14m 15s main
main
14m 15s
refactor: reorganize reconstruction and analysis components ci #63: Commit b10b160 pushed by Sato-Isolated
4m 50s main
main
4m 50s
refactor: reorganize reconstruction and analysis architecture ci #62: Commit a3fa4b3 pushed by Sato-Isolated
11m 34s main
main
11m 34s
fix: defer ABI self-test branches during initial explain pass ci #61: Commit b991ee6 pushed by Sato-Isolated
10m 42s main
main
10m 42s
feat: prove typed field transports and narrow constant stores ci #60: Commit 9950216 pushed by Sato-Isolated
10m 27s main
main
10m 27s
feat: support signed conditions and scalar memory conversions ci #59: Commit b3dae80 pushed by Sato-Isolated
7m 19s main
main
7m 19s
feat: preserve exact scalar and vector floating-point semantics ci #58: Commit b38f226 pushed by Sato-Isolated
9m 11s main
main
9m 11s
refactor: remove legacy implementations and streamline project structure ci #57: Commit 306372a pushed by Sato-Isolated
9m 22s main
main
9m 22s
fix: reserve managed-call zero origins from scalar recovery ci #56: Commit 4b318db pushed by Sato-Isolated
7m 42s main
main
7m 42s
feat: recover field comparisons and return buffer addresses ci #55: Commit 5a1f470 pushed by Sato-Isolated
8m 6s main
main
8m 6s
refactor: reorganize recovery analysis and verification flow ci #54: Commit 83a72d5 pushed by Sato-Isolated
7m 19s main
main
7m 19s
refactor: reorganize recovery analysis and validation flows ci #53: Commit c93b70a pushed by Sato-Isolated
7m 21s main
main
7m 21s
feat: recover field addresses and type references ci #52: Commit 833a06c pushed by Sato-Isolated
5m 41s main
main
5m 41s
fix: refine metadata usage and value-type return recovery ci #51: Commit 1efa09a pushed by Sato-Isolated
6m 35s main
main
6m 35s