Skip to content

Actions: pulseengine/loom

Actions

Validate Shared Architecture

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validate-shared.yml
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update rules_rocq_rust to latest commit Validate Shared Architecture #69: Commit de8405c pushed by avrabe
1h 12m 17s main
main
1h 12m 17s
feat(proofs): add Rocq formal verification foundation Validate Shared Architecture #68: Commit 613bbf5 pushed by avrabe
1h 4m 22s main
main
1h 4m 22s
feat(cli): add transformation attestation support Validate Shared Architecture #67: Commit e08bf27 pushed by avrabe
1h 12m 48s main
main
1h 12m 48s
feat(cli): add transformation attestation support Validate Shared Architecture #66: Pull request #44 synchronize by avrabe
1h 7m 9s feat/attestation-support
feat/attestation-support
1h 7m 9s
chore: bump version to 0.3.0 Validate Shared Architecture #65: Commit fcb4ce3 pushed by avrabe
1h 7m 21s main
main
1h 7m 21s
chore: bump version to 0.3.0 Validate Shared Architecture #64: Pull request #46 opened by avrabe
50m 34s release/v0.3.0
release/v0.3.0
50m 34s
style: fix formatting Validate Shared Architecture #63: Commit b290446 pushed by avrabe
48m 41s main
main
48m 41s
feat: add differential testing and partial-width store verification Validate Shared Architecture #62: Commit e32997e pushed by avrabe
48m 45s main
main
48m 45s
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 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 K-induction and OSS-Fuzz integration Validate Shared Architecture #59: Commit 9abaa5b pushed by avrabe
1h 9m 36s main
main
1h 9m 36s
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
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
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
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 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 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 Validate Shared Architecture #50: Pull request #42 synchronize by avrabe
1h 3m 53s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
1h 3m 53s
fix: resolve CSE and simplify_locals Z3 verification failures Validate Shared Architecture #49: Pull request #42 synchronize by avrabe
53m 9s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
53m 9s
fix: resolve CSE and simplify_locals Z3 verification failures Validate Shared Architecture #48: Pull request #42 synchronize by avrabe
49m 21s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
49m 21s
fix: resolve CSE and simplify_locals Z3 verification failures Validate Shared Architecture #47: Pull request #42 synchronize by avrabe
51m 26s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
51m 26s
fix: resolve CSE and simplify_locals Z3 verification failures Validate Shared Architecture #46: Pull request #42 synchronize by avrabe
49m 8s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
49m 8s
fix: resolve CSE and simplify_locals Z3 verification failures Validate Shared Architecture #45: Pull request #42 synchronize by avrabe
1h 28m 28s fix/cse-simplify-locals-verification
fix/cse-simplify-locals-verification
1h 28m 28s