Skip to content

Actions: pulseengine/loom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
145 workflow runs
145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(verify): add MemorySize/Grow verification support Validate Shared Architecture #61: Commit f126ce8 pushed by avrabe
49m 56s main
main
49m 56s
feat(verify): add MemorySize/Grow verification support CI #81: Commit f126ce8 pushed by avrabe
2h 17m 59s main
main
2h 17m 59s
Fuzzing Fuzzing #1: Scheduled
2m 32s main
main
2m 32s
feat(verify): add function call summaries for side effect tracking Validate Shared Architecture #60: Commit 0688087 pushed by avrabe
1h 6m 42s main
main
1h 6m 42s
feat(verify): add function call summaries for side effect tracking CI #80: Commit 0688087 pushed by avrabe
2h 48m 10s main
main
2h 48m 10s
feat(verify): add K-induction and OSS-Fuzz integration Validate Shared Architecture #59: Commit 9abaa5b pushed by avrabe
1h 9m 36s main
main
1h 9m 36s
feat(verify): add K-induction and OSS-Fuzz integration CI #79: Commit 9abaa5b pushed by avrabe
2h 41m 53s main
main
2h 41m 53s
feat(cli): add transformation attestation support CI #78: Pull request #44 opened by avrabe
2h 52m 6s feat/attestation-support
feat/attestation-support
2h 52m 6s
feat(cli): add transformation attestation support Validate Shared Architecture #58: Pull request #44 opened by avrabe
1h 9m 19s feat/attestation-support
feat/attestation-support
1h 9m 19s
LOOM v0.1.0 Release #2: Release v0.1.0 published by avrabe
35m 50s
35m 50s
feat(verify): add partial-width memory ops and increase loop limit CI #77: Commit c5f4947 pushed by avrabe
2h 42m 29s main
main
2h 42m 29s
feat(verify): add partial-width memory ops and increase loop limit Validate Shared Architecture #57: Commit c5f4947 pushed by avrabe
59m 54s main
main
59m 54s
LOOM v0.1.0-rc1 Release #1: Release v0.1.0-rc1 published by avrabe
36m 8s
36m 8s
ci: add release workflow with WASM and native builds Validate Shared Architecture #56: Commit 068d3c5 pushed by avrabe
1h 6m 44s main
main
1h 6m 44s
ci: add release workflow with WASM and native builds CI #76: Commit 068d3c5 pushed by avrabe
2h 40m 48s main
main
2h 40m 48s
fix: resolve CSE and simplify_locals Z3 verification failures CI #75: Pull request #42 synchronize by avrabe
2h 39m 23s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
2h 39m 23s
fix: resolve CSE and simplify_locals Z3 verification failures Validate Shared Architecture #55: Pull request #42 synchronize by avrabe
1h 7m 25s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
1h 7m 25s
fix: resolve CSE and simplify_locals Z3 verification failures Validate Shared Architecture #54: Pull request #42 synchronize by avrabe
1h 5m 56s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
1h 5m 56s
fix: resolve CSE and simplify_locals Z3 verification failures CI #74: Pull request #42 synchronize by avrabe
3h 19m 8s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
3h 19m 8s
fix: resolve CSE and simplify_locals Z3 verification failures CI #73: Pull request #42 synchronize by avrabe
2h 39m 59s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
2h 39m 59s
fix: resolve CSE and simplify_locals Z3 verification failures Validate Shared Architecture #53: Pull request #42 synchronize by avrabe
1h 5m 15s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
1h 5m 15s
fix: resolve CSE and simplify_locals Z3 verification failures Validate Shared Architecture #52: Pull request #42 synchronize by avrabe
1h 5m 15s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
1h 5m 15s
fix: resolve CSE and simplify_locals Z3 verification failures CI #72: Pull request #42 synchronize by avrabe
2h 37m 23s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
2h 37m 23s
fix: resolve CSE and simplify_locals Z3 verification failures Validate Shared Architecture #51: Pull request #42 synchronize by avrabe
1h 9m 3s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
1h 9m 3s
fix: resolve CSE and simplify_locals Z3 verification failures CI #71: Pull request #42 synchronize by avrabe
2h 46m 2s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
2h 46m 2s