Skip to content

Actions: VCA-EPFL/graphiti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
629 workflow runs
629 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push type correct gemm baseline CI #176: Commit e74b84d pushed by ymherklotz
2m 55s main
main
2m 55s
Merge remote-tracking branch 'origin/loop-rewrite-testing' CI #175: Commit 80ea1b7 pushed by ymherklotz
3m 0s main
main
3m 0s
Working abstraction and concretisation for rewrite CI #174: Commit d2a9d39 pushed by ymherklotz
3m 38s main
main
3m 38s
Work on main function layout CI #173: Commit 1af09f8 pushed by ymherklotz
2m 50s main
main
2m 50s
Fix mux input ordering CI #172: Commit 9fc548a pushed by ymherklotz
3m 27s main
main
3m 27s
Merge remote-tracking branch 'origin/loop-rewrite-testing' CI #171: Commit 8f41d6e pushed by ymherklotz
47s main
main
47s
Add working pure generation CI #170: Commit 6c87deb pushed by ymherklotz
1m 24s main
main
1m 24s
Remove unnecessary clear CI #169: Commit ddf2bd0 pushed by ymherklotz
3m 11s main
main
3m 11s
Add more rewrites CI #168: Commit 82167fc pushed by ymherklotz
1m 11s main
main
1m 11s
Add match_node function CI #167: Commit d033143 pushed by ymherklotz
3m 1s main
main
3m 1s
Add tagger state to the invariant CI #166: Commit 6a395a9 pushed by ymherklotz
2m 47s main
main
2m 47s
LoopRewrite input done CI #165: Commit 07bf01d pushed by marty2697
2m 54s main
main
2m 54s
Update README and rewrite names CI #164: Commit f4dc88b pushed by ymherklotz
2m 42s main
main
2m 42s
Add fork translation to pure rewrites CI #163: Commit 45d255b pushed by ymherklotz
2m 42s main
main
2m 42s
Add pure rewrites to normalise dataflow region CI #162: Commit 03b762c pushed by ymherklotz
3m 21s main
main
3m 21s
Fix ReduceSplitJoinRewrite CI #161: Commit aeecb64 pushed by ymherklotz
3m 21s main
main
3m 21s
Merge branch 'loop-rewrite-testing' CI #160: Commit 877f56d pushed by ymherklotz
2m 56s main
main
2m 56s
Add some string theorems for environment inclusion proofs CI #159: Commit ef2347d pushed by ymherklotz
2m 51s main
main
2m 51s
Update JoinRewrite files to be ready for proof CI #158: Commit 33b4f32 pushed by ymherklotz
4m 28s main
main
4m 28s
End invariant impementation CI #157: Commit 238528f pushed by marty2697
3m 58s main
main
3m 58s
Build top-level theorem in github actions CI #156: Commit 08e4734 pushed by ymherklotz
3m 58s main
main
3m 58s
Finish "top-level" theorem CI #155: Commit 2d7ff93 pushed by ymherklotz
4m 5s main
main
4m 5s
Fix rewrite hanging when it does not apply CI #154: Commit a0a62e4 pushed by ymherklotz
3m 20s main
main
3m 20s
Fix naming of bijectivePortRenaming CI #153: Commit 52938c8 pushed by ymherklotz
3m 31s main
main
3m 31s
Prove replacement correct again CI #152: Commit b19bc7b pushed by ymherklotz
3m 41s main
main
3m 41s
ProTip! You can narrow down the results and go further in time using created:<2025-01-27 or the other filters available.