Workflow runs · pulseengine/loom · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

126 workflow runs

126 workflow runs

fix: resolve CSE and simplify_locals Z3 verification failures CI #73: Pull request #42 synchronize by avrabe

In progress fix/cse-simplify-locals-verification

fix/cse-simplify-locals-verification

In progress

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

fix: resolve CSE and simplify_locals Z3 verification failures CI #70: Pull request #42 synchronize by avrabe

2h 42m 31s fix/cse-simplify-locals-verification

fix/cse-simplify-locals-verification

2h 42m 31s

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 CI #69: Pull request #42 synchronize by avrabe

6h 5m 5s fix/cse-simplify-locals-verification

fix/cse-simplify-locals-verification

6h 5m 5s

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 CI #68: Pull request #42 synchronize by avrabe

2h 43m 48s fix/cse-simplify-locals-verification

fix/cse-simplify-locals-verification

2h 43m 48s

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 CI #67: Pull request #42 synchronize by avrabe

2h 39m 11s fix/cse-simplify-locals-verification

fix/cse-simplify-locals-verification

2h 39m 11s

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 CI #66: Pull request #42 synchronize by avrabe

2h 37m 44s fix/cse-simplify-locals-verification

fix/cse-simplify-locals-verification

2h 37m 44s

fix: resolve CSE and simplify_locals Z3 verification failures CI #65: Pull request #42 synchronize by avrabe

2h 38m 38s fix/cse-simplify-locals-verification

fix/cse-simplify-locals-verification

2h 38m 38s

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

fix: resolve CSE and simplify_locals Z3 verification failures Validate Shared Architecture #44: Pull request #42 synchronize by avrabe

1h 40m 0s fix/cse-simplify-locals-verification

fix/cse-simplify-locals-verification

1h 40m 0s

fix: resolve CSE and simplify_locals Z3 verification failures CI #64: Pull request #42 synchronize by avrabe

2h 39m 54s fix/cse-simplify-locals-verification

fix/cse-simplify-locals-verification

2h 39m 54s

fix: resolve CSE and simplify_locals Z3 verification failures CI #63: Pull request #42 opened by avrabe

2h 27m 13s fix/cse-simplify-locals-verification

fix/cse-simplify-locals-verification

2h 27m 13s

fix: resolve CSE and simplify_locals Z3 verification failures Validate Shared Architecture #43: Pull request #42 opened by avrabe

32m 59s fix/cse-simplify-locals-verification

fix/cse-simplify-locals-verification

32m 59s

ci: run tests in release mode to avoid linker OOM Validate Shared Architecture #42: Commit 8edf73b pushed by avrabe

31m 31s main

main

31m 31s

ci: run tests in release mode to avoid linker OOM CI #62: Commit 8edf73b pushed by avrabe

3h 14m 47s main

main

3h 14m 47s

docs: add comprehensive formal verification architecture documentation Validate Shared Architecture #41: Pull request #41 synchronize by avrabe

31m 34s docs/formal-verification-architecture

docs/formal-verification-architecture

31m 34s