Skip to content

Actions: VCA-EPFL/graphiti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
630 workflow runs
630 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix parsing of actual dot files CI #76: Commit c31a7d1 pushed by ymherklotz
1m 37s main
main
1m 37s
Finish pretty-printer and parser CI #75: Commit 3b79c2e pushed by ymherklotz
1m 44s main
main
1m 44s
Add components CI #74: Commit 2dce1d6 pushed by ymherklotz
1m 36s main
main
1m 36s
Add MuxTaggedRewrite CI #73: Commit ea0bb83 pushed by ymherklotz
2m 0s main
main
2m 0s
Add new components with names CI #72: Commit b6d73c6 pushed by ymherklotz
1m 37s main
main
1m 37s
Add back delaborator and clean up ExprHighLemmas CI #71: Commit 9a4702b pushed by ymherklotz
1m 54s main
main
1m 54s
Add small comment to branch-mux example CI #70: Commit 95cef50 pushed by ymherklotz
1m 40s main
main
1m 40s
Improvements in graph pretty-printing and add fork to branch-mux rewrite CI #69: Commit 383ac95 pushed by ymherklotz
1m 48s main
main
1m 48s
Add BranchMuxToMerge to rewriter CI #68: Commit cd196c0 pushed by ymherklotz
2m 9s main
main
2m 9s
Remove references to the fork rewrite CI #67: Commit c6f0f51 pushed by ymherklotz
2m 3s main
main
2m 3s
Fix ordering issues when defining a rewrite CI #66: Commit 033c414 pushed by ymherklotz
1m 46s main
main
1m 46s
Add fork_merge.dot CI #65: Commit 4e1889a pushed by ymherklotz
1m 29s main
main
1m 29s
Add top-level rewriter to the command line CI #64: Commit 08edecf pushed by ymherklotz
1m 42s main
main
1m 42s
Fix graph extraction with port names CI #63: Commit 80274ea pushed by ymherklotz
2m 12s main
main
2m 12s
Fix Merge.lean CI #62: Commit 079d48e pushed by ymherklotz
1m 54s main
main
1m 54s
Simplify the followOutput function CI #61: Commit 5b211bd pushed by ymherklotz
2m 2s main
main
2m 2s
Move the implementation of followOutput CI #60: Commit 56c41f8 pushed by ymherklotz
2m 16s main
main
2m 16s
Add rewriter implementation and example CI #59: Commit 95060dd pushed by ymherklotz
2m 7s main
main
2m 7s
Add initial implementation of the rewriter CI #58: Commit e8cb15d pushed by ymherklotz
2m 27s main
main
2m 27s
Add definitions into simp sets CI #57: Commit 00da0e2 pushed by ymherklotz
1m 49s main
main
1m 49s
Remove Module.liftR' and Module.liftL' as well CI #56: Commit b9eb39a pushed by ymherklotz
1m 36s main
main
1m 36s
Fix reduction and type checking for the last time CI #55: Commit dd01af2 pushed by ymherklotz
1m 41s main
main
1m 41s
Fixed type-checking inside of connect CI #54: Commit 38bc42e pushed by ymherklotz
2m 11s main
main
2m 11s
Simplify everything, weird ill-typed expression CI #53: Commit 7a34114 pushed by threonorm
1m 58s main
main
1m 58s
Fix reduction of test CI #52: Commit 5a0ca43 pushed by ymherklotz
1m 32s main
main
1m 32s
ProTip! You can narrow down the results and go further in time using created:<2024-10-29 or the other filters available.