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

Adding better elaboration of graphs, as well as the loop rewrite CI #101: Commit 4b45181 pushed by ymherklotz
2m 52s main
main
2m 52s
Merge branch 'martina' CI #100: Commit 8fd1234 pushed by ymherklotz
1m 48s main
main
1m 48s
Add fixed size join component CI #99: Commit 21bc481 pushed by ymherklotz
1m 39s main
main
1m 39s
Work on simplifying the rewriter for proofs CI #98: Commit 17935e5 pushed by ymherklotz
2m 35s main
main
2m 35s
Add more proofs CI #97: Commit 350f975 pushed by ymherklotz
2m 23s main
main
2m 23s
Correction of another issue in the tag, use what I think should be th… CI #96: Commit bddf515 pushed by threonorm
1m 30s main
main
1m 30s
Incorrect rw, fixing bug CI #95: Commit 7b7f5e0 pushed by threonorm
1m 30s main
main
1m 30s
Add parallel tagger followed by join. Could be extended CI #94: Commit c1767f7 pushed by threonorm
1m 31s main
main
1m 31s
Add single ported fusion of two taggers CI #93: Commit caa8a90 pushed by threonorm
1m 33s main
main
1m 33s
Reprove product CI #92: Commit d8bac13 pushed by ymherklotz
1m 42s main
main
1m 42s
Add BagModule rewrite CI #91: Commit 7173440 pushed by ymherklotz
2m 2s main
main
2m 2s
Add bag to the example CI #90: Commit f8cef5c pushed by ymherklotz
1m 38s main
main
1m 38s
Fix the BranchMuxToMerge example by adding a bag CI #89: Commit bde4cfd pushed by ymherklotz
1m 33s main
main
1m 33s
Change the API so that you can do rewrite.run CI #88: Commit 42a147f pushed by ymherklotz
1m 33s main
main
1m 33s
Fix push example evaluating CI #87: Commit 032b373 pushed by ymherklotz
2m 4s main
main
2m 4s
Fix name generation in fresh renaming CI #86: Commit 6c6eebc pushed by ymherklotz
1m 57s main
main
1m 57s
Merge branch 'main' of https://github.com/VCA-EPFL/dataflow-rewriter CI #85: Commit e03be27 pushed by threonorm
1m 29s main
main
1m 29s
Temp fix compilation of Module CI #84: Commit 6bea376 pushed by ymherklotz
1m 36s main
main
1m 36s
Abstracter and matcher for Mux to Merge when in order rewrite. Test s… CI #83: Commit 864b6d9 pushed by threonorm
59s main
main
59s
Fix rewriting pattern matcher and try to run on example CI #82: Commit 8564903 pushed by ymherklotz
1m 10s main
main
1m 10s
Fix findSCCNodes CI #81: Commit 633bcf4 pushed by ymherklotz
59s main
main
59s
Fix findSCCNodes' as well as BranchMuxToMerge example CI #80: Commit 7c19a04 pushed by ymherklotz
1m 16s main
main
1m 16s
Add comments to the dynamatic printer CI #79: Commit 8e43c3d pushed by ymherklotz
1m 48s main
main
1m 48s
Merge branch 'aya-rewrites' CI #78: Commit b4b3250 pushed by ymherklotz
1m 38s main
main
1m 38s
Merge branch 'aya-rewrites' CI #77: Commit 9a96e24 pushed by ymherklotz
1m 41s main
main
1m 41s
ProTip! You can narrow down the results and go further in time using created:<2024-11-06 or the other filters available.