Skip to content

Actions: pulseengine/loom

Actions

Validate Shared Architecture

Actions

Loading...
Loading

Show workflow options

Create status badge

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

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: per-function Z3 rollback, async component model, stats overflow Validate Shared Architecture #130: Pull request #80 synchronize by avrabe
53m 18s fix/per-function-verification-rollback-async-stats
fix/per-function-verification-rollback-async-stats
53m 18s
fix: per-function Z3 rollback, async component model, stats overflow Validate Shared Architecture #129: Pull request #80 synchronize by avrabe
54m 22s fix/per-function-verification-rollback-async-stats
fix/per-function-verification-rollback-async-stats
54m 22s
fix: per-function Z3 rollback, async component model, stats overflow Validate Shared Architecture #128: Pull request #80 synchronize by avrabe
53m 9s fix/per-function-verification-rollback-async-stats
fix/per-function-verification-rollback-async-stats
53m 9s
fix: per-function Z3 rollback, async component model, stats overflow Validate Shared Architecture #127: Pull request #80 opened by avrabe
50m 22s fix/per-function-verification-rollback-async-stats
fix/per-function-verification-rollback-async-stats
50m 22s
feat: Wave 3 — SC→REQ traceability, float helpers, orphan fixes Validate Shared Architecture #126: Pull request #79 opened by avrabe
51m 36s feat/wave3-links-float-helpers
feat/wave3-links-float-helpers
51m 36s
refactor: extract float NaN/subnormal helpers (H-1.4, H-1.5) Validate Shared Architecture #125: Pull request #78 opened by avrabe
1h 2m 4s feat/wave3-float-helpers
feat/wave3-float-helpers
1h 2m 4s
feat: Wave 2 — HashMap determinism, safety-case GSN, ISLE rule verifi… Validate Shared Architecture #124: Commit da1720f pushed by avrabe
1h 0m 31s main
main
1h 0m 31s
feat: Wave 1 — fix truth gaps, close rivet coverage, add Rocq CI (#76) Validate Shared Architecture #123: Commit a8837a8 pushed by avrabe
1h 43m 54s main
main
1h 43m 54s
feat: Wave 2 — HashMap determinism, safety-case GSN, ISLE rule verification (#50) Validate Shared Architecture #122: Pull request #77 opened by avrabe
1h 44m 17s feat/wave2-determinism-safety-case-isle-verification
feat/wave2-determinism-safety-case-isle-verification
1h 44m 17s
feat: Wave 1 — fix truth gaps, close rivet coverage, add Rocq CI Validate Shared Architecture #121: Pull request #76 opened by avrabe
1h 1m 8s feat/wave1-truth-gaps-rivet-coverage
feat/wave1-truth-gaps-rivet-coverage
1h 1m 8s
feat: rivet integration, ISLE fix (#55), 33 Rocq proofs (#47), observ… Validate Shared Architecture #120: Commit ecd118a pushed by avrabe
1h 0m 40s main
main
1h 0m 40s
feat: rivet integration, ISLE fix (#55), 33 Rocq proofs (#47), observability Validate Shared Architecture #119: Pull request #69 synchronize by avrabe
56m 48s feat/rivet-isle-proofs-observability
feat/rivet-isle-proofs-observability
56m 48s
feat: rivet integration, ISLE fix (#55), 33 Rocq proofs (#47), observability Validate Shared Architecture #118: Pull request #69 synchronize by avrabe
52m 21s feat/rivet-isle-proofs-observability
feat/rivet-isle-proofs-observability
52m 21s
feat: rivet integration, ISLE fix (#55), 33 Rocq proofs (#47), observability Validate Shared Architecture #117: Pull request #69 synchronize by avrabe
51m 12s feat/rivet-isle-proofs-observability
feat/rivet-isle-proofs-observability
51m 12s
feat: rivet integration, ISLE fix (#55), 33 Rocq proofs (#47), observability Validate Shared Architecture #116: Pull request #69 synchronize by avrabe
1h 8m 55s feat/rivet-isle-proofs-observability
feat/rivet-isle-proofs-observability
1h 8m 55s
feat: rivet integration, ISLE fix (#55), 33 Rocq proofs (#47), observability Validate Shared Architecture #115: Pull request #69 opened by avrabe
1h 6m 42s feat/rivet-isle-proofs-observability
feat/rivet-isle-proofs-observability
1h 6m 42s
feat: add Nix flake for reproducible development environment (#54) (#67) Validate Shared Architecture #114: Commit 6bbb763 pushed by avrabe
41m 41s main
main
41m 41s
feat: Z3 verification for bulk memory operations (#58) (#66) Validate Shared Architecture #113: Commit 00f1143 pushed by avrabe
2h 0m 16s main
main
2h 0m 16s
fix: reduce EMI stress test iterations to prevent CI timeout (#57) (#65) Validate Shared Architecture #112: Commit 010ff01 pushed by avrabe
2h 33m 30s main
main
2h 33m 30s
feat: add Nix flake for reproducible dev environment (#54) Validate Shared Architecture #111: Pull request #67 synchronize by avrabe
2h 47m 49s feat/nix-flake
feat/nix-flake
2h 47m 49s
feat: Z3 verification for bulk memory operations (#58) Validate Shared Architecture #110: Pull request #66 synchronize by avrabe
2h 53m 5s feat/z3-bulk-memory-verification
feat/z3-bulk-memory-verification
2h 53m 5s
feat: add Nix flake for reproducible dev environment (#54) Validate Shared Architecture #109: Pull request #67 opened by avrabe
2h 31m 46s feat/nix-flake
feat/nix-flake
2h 31m 46s
feat: Z3 verification for bulk memory operations (#58) Validate Shared Architecture #108: Pull request #66 opened by avrabe
1h 45m 43s feat/z3-bulk-memory-verification
feat/z3-bulk-memory-verification
1h 45m 43s
fix: reduce EMI stress test iterations (#57) Validate Shared Architecture #107: Pull request #65 opened by avrabe
2h 30m 58s fix/emi-stress-iterations
fix/emi-stress-iterations
2h 30m 58s
feat(safety): control-flow-aware env clearing, consolidate ISLE skip … Validate Shared Architecture #106: Commit 40b18df pushed by avrabe
2h 35m 3s main
main
2h 35m 3s