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

Add basic lemmas CI #201: Commit 92c3880 pushed by ymherklotz
3m 54s main
main
3m 54s
Move around theorems about PortMap CI #200: Commit 038e13c pushed by ymherklotz
42s main
main
42s
Merge remote-tracking branch 'origin/noc' CI #199: Commit c71905a pushed by ymherklotz
3m 38s main
main
3m 38s
Fix top-level proof with new renaming strategy CI #198: Commit 0d08f3f pushed by ymherklotz
3m 42s main
main
3m 42s
Add .dir-locals CI #197: Commit faf8afc pushed by ymherklotz
4m 40s main
main
4m 40s
Add support for short options to the command-line CI #196: Commit bb560df pushed by ymherklotz
2m 48s main
main
2m 48s
Fix LoopRewrite proof CI #195: Commit 98ec5c9 pushed by ymherklotz
21m 20s main
main
21m 20s
proofs almost done CI #194: Commit 6c9ad7d pushed by marty2697
2m 35s main
main
2m 35s
Fix bag component CI #193: Commit c0cbc5a pushed by Gurvan-dev
2m 40s main
main
2m 40s
almost done propf CI #192: Commit 40eaff0 pushed by marty2697
2m 41s main
main
2m 41s
Also test build status of JoinRewrite and JoinRewriteCorrect CI #191: Commit 75036da pushed by ymherklotz
21m 10s main
main
21m 10s
Fix symbolic execution of JoinRewriteCorrect CI #190: Commit a3d2f4c pushed by ymherklotz
2m 57s main
main
2m 57s
Update to lean 2025-03-06 CI #189: Commit 8f08825 pushed by ymherklotz
4m 21s main
main
4m 21s
Fix renaming of nodes CI #188: Commit 67ddf6d pushed by ymherklotz
3m 9s main
main
3m 9s
Fixed the rewriting again CI #187: Commit a79895e pushed by ymherklotz
3m 12s main
main
3m 12s
Ugly hack to fix renaming CI #186: Commit b646714 pushed by ymherklotz
2m 44s main
main
2m 44s
Remove whitespace in out attribute CI #185: Commit 1d9eaf9 pushed by threonorm
3m 20s main
main
3m 20s
Merge branch 'main' of github.com:VCA-EPFL/dataflow-rewriter into main CI #184: Commit 465c57c pushed by threonorm
2m 47s main
main
2m 47s
Remove printing CI #183: Commit e2ff9f8 pushed by ymherklotz
2m 53s main
main
2m 53s
Maybe fix the assoc bypassing issues CI #182: Commit 54363e8 pushed by ymherklotz
2m 52s main
main
2m 52s
Try to fix rewriteinfo CI #181: Commit e9301fa pushed by ymherklotz
3m 11s main
main
3m 11s
Fix concretisation CI #180: Commit 48456a1 pushed by ymherklotz
3m 2s main
main
3m 2s
Merge branch 'main' of github.com:VCA-EPFL/dataflow-rewriter into main CI #179: Commit 14ea19e pushed by threonorm
3m 9s main
main
3m 9s
Push a fix for pure CI #178: Commit 5713989 pushed by ymherklotz
2m 55s main
main
2m 55s
Forgotten input in the mux CI #177: Commit 05b9559 pushed by threonorm
3m 13s main
main
3m 13s
ProTip! You can narrow down the results and go further in time using created:<2025-02-27 or the other filters available.