Skip to content

Actions: pulseengine/loom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
836 workflow runs
836 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
v1.1.5 — Inline a local callee even when the caller calls an import (#153) Release #19: Release v1.1.5 published by avrabe
36m 30s
36m 30s
fix(inline): map full→local function index so imported calls don't br… Validate Shared Architecture #303: Commit 95a5f98 pushed by avrabe
1h 29m 43s main
main
1h 29m 43s
fix(inline): map full→local function index so imported calls don't br… CI #323: Commit 95a5f98 pushed by avrabe
7h 24m 34s main
main
7h 24m 34s
fix(inline): map full→local function index so imported calls don't break inlining — closes #153 (v1.1.5) Verification Gate #51: Pull request #154 opened by avrabe
29m 54s fix/153-inline-imported-call-index
fix/153-inline-imported-call-index
29m 54s
fix(inline): map full→local function index so imported calls don't break inlining — closes #153 (v1.1.5) Validate Shared Architecture #302: Pull request #154 opened by avrabe
2h 29m 33s fix/153-inline-imported-call-index
fix/153-inline-imported-call-index
2h 29m 33s
fix(inline): map full→local function index so imported calls don't break inlining — closes #153 (v1.1.5) CI #322: Pull request #154 opened by avrabe
7h 36m 11s fix/153-inline-imported-call-index
fix/153-inline-imported-call-index
7h 36m 11s
v1.1.4 — Verified i64 (and all-type) inlining (#151) Release #18: Release v1.1.4 published by avrabe
35m 42s
35m 42s
fix(verify): prove i64 (and all-type) inlining via by-body call model… Validate Shared Architecture #301: Commit cc66f39 pushed by avrabe
2h 2m 0s main
main
2h 2m 0s
fix(verify): prove i64 (and all-type) inlining via by-body call model… CI #321: Commit cc66f39 pushed by avrabe
2h 1m 59s main
main
2h 1m 59s
fix(verify): prove i64 (and all-type) inlining via by-body call modeling — closes #151 (v1.1.4) Verification Gate #50: Pull request #152 synchronize by avrabe
2h 36m 11s fix/151-verified-i64-inline
fix/151-verified-i64-inline
2h 36m 11s
fix(verify): prove i64 (and all-type) inlining via by-body call modeling — closes #151 (v1.1.4) Validate Shared Architecture #300: Pull request #152 synchronize by avrabe
4h 2m 31s fix/151-verified-i64-inline
fix/151-verified-i64-inline
4h 2m 31s
fix(verify): prove i64 (and all-type) inlining via by-body call modeling — closes #151 (v1.1.4) CI #320: Pull request #152 synchronize by avrabe
9h 26m 56s fix/151-verified-i64-inline
fix/151-verified-i64-inline
9h 26m 56s
fix(verify): prove i64 (and all-type) inlining via by-body call modeling — closes #151 (v1.1.4) Validate Shared Architecture #299: Pull request #152 synchronize by avrabe
25m 13s fix/151-verified-i64-inline
fix/151-verified-i64-inline
25m 13s
fix(verify): prove i64 (and all-type) inlining via by-body call modeling — closes #151 (v1.1.4) CI #319: Pull request #152 synchronize by avrabe
25m 28s fix/151-verified-i64-inline
fix/151-verified-i64-inline
25m 28s
fix(verify): prove i64 (and all-type) inlining via by-body call modeling — closes #151 (v1.1.4) Verification Gate #49: Pull request #152 synchronize by avrabe
25m 13s fix/151-verified-i64-inline
fix/151-verified-i64-inline
25m 13s
fix(verify): prove i64 (and all-type) inlining via by-body call modeling — closes #151 (v1.1.4) CI #318: Pull request #152 synchronize by avrabe
6m 25s fix/151-verified-i64-inline
fix/151-verified-i64-inline
6m 25s
fix(verify): prove i64 (and all-type) inlining via by-body call modeling — closes #151 (v1.1.4) Validate Shared Architecture #298: Pull request #152 synchronize by avrabe
6m 21s fix/151-verified-i64-inline
fix/151-verified-i64-inline
6m 21s
fix(verify): prove i64 (and all-type) inlining via by-body call modeling — closes #151 (v1.1.4) Verification Gate #48: Pull request #152 synchronize by avrabe
6m 5s fix/151-verified-i64-inline
fix/151-verified-i64-inline
6m 5s
fix(verify): prove i64 (and all-type) inlining via by-body call modeling — closes #151 (v1.1.4) CI #317: Pull request #152 opened by avrabe
1m 40s fix/151-verified-i64-inline
fix/151-verified-i64-inline
1m 40s
fix(verify): prove i64 (and all-type) inlining via by-body call modeling — closes #151 (v1.1.4) Verification Gate #47: Pull request #152 opened by avrabe
1m 23s fix/151-verified-i64-inline
fix/151-verified-i64-inline
1m 23s
fix(verify): prove i64 (and all-type) inlining via by-body call modeling — closes #151 (v1.1.4) Validate Shared Architecture #297: Pull request #152 opened by avrabe
1m 24s fix/151-verified-i64-inline
fix/151-verified-i64-inline
1m 24s
LOOM v1.1.3 — fix #147 i64 inline livelock (gale-ffi) Release #17: Release v1.1.3 published by avrabe
35m 45s
35m 45s
fix(inline): terminate fixpoint when no inline survives verification … CI #316: Commit 550d3c0 pushed by avrabe
1h 54m 44s main
main
1h 54m 44s
fix(inline): terminate fixpoint when no inline survives verification … Validate Shared Architecture #296: Commit 550d3c0 pushed by avrabe
1h 54m 45s main
main
1h 54m 45s
fix(inline): terminate fixpoint when no inline survives verification — fixes #147 i64 hang (v1.1.3) Validate Shared Architecture #295: Pull request #149 opened by avrabe
6h 39m 14s fix/147-inline-livelock
fix/147-inline-livelock
6h 39m 14s