Skip to content

Actions: egraphs-good/eggcc

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
4,311 workflow runs
4,311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

able to reproduce issue, narrowed to interval eq rule
Test #4198: Commit 6432da7 pushed by oflatt
November 6, 2024 18:46 8m 44s oflatt-select-debug3
November 6, 2024 18:46 8m 44s
spaces
Test #4197: Commit 86535c9 pushed by oflatt
November 6, 2024 00:13 9m 25s oflatt-rec-to-loop
November 6, 2024 00:13 9m 25s
fix bug in loop strength reduction, add helper
Test #4195: Commit 3e24659 pushed by oflatt
November 6, 2024 00:10 12m 5s oflatt-subtuple-helpers
November 6, 2024 00:10 12m 5s
found the problem
Test #4194: Commit 7e61edc pushed by oflatt
November 5, 2024 23:52 6m 16s oflatt-debug-subtuple
November 5, 2024 23:52 6m 16s
narrowed down to a substitution and passthrough
Test #4193: Commit 80d3e85 pushed by oflatt
November 5, 2024 00:15 6m 19s oflatt-debug-subtuple
November 5, 2024 00:15 6m 19s
spaces
Test #4192: Commit 22bee1b pushed by oflatt
November 4, 2024 22:42 9m 17s oflatt-rec-to-loop
November 4, 2024 22:42 9m 17s
elegant rule
Test #4191: Commit 94cdd70 pushed by oflatt
November 4, 2024 22:33 9m 11s oflatt-rec-to-loop
November 4, 2024 22:33 9m 11s
not crashing
Test #4190: Commit 7003165 pushed by oflatt
November 4, 2024 21:45 9m 44s oflatt-rec-to-loop
November 4, 2024 21:45 9m 44s
working on recursive method to loop
Test #4189: Commit 626ed51 pushed by oflatt
November 4, 2024 21:34 4m 53s oflatt-rec-to-loop
November 4, 2024 21:34 4m 53s
Better select rule
Test #4188: Pull request #653 synchronize by ajpal
November 1, 2024 18:48 6h 0m 21s ajpal-select
November 1, 2024 18:48 6h 0m 21s
snapshots
Test #4187: Commit ccdd674 pushed by ajpal
November 1, 2024 18:48 6h 0m 22s ajpal-select
November 1, 2024 18:48 6h 0m 22s
Better select rule
Test #4186: Pull request #653 opened by ajpal
November 1, 2024 17:55 6h 0m 23s ajpal-select
November 1, 2024 17:55 6h 0m 23s
better select rule
Test #4185: Commit 96eea07 pushed by ajpal
November 1, 2024 17:52 6h 0m 23s ajpal-select
November 1, 2024 17:52 6h 0m 23s
Merge pull request #646 from egraphs-good/peggy-benchmark
Test #4184: Commit 284ac93 pushed by yihozhang
October 31, 2024 23:38 12m 10s main
October 31, 2024 23:38 12m 10s
Merge pull request #648 from egraphs-good/ajpal-fix-cfgs
Test #4183: Commit ebff12b pushed by oflatt
October 31, 2024 21:58 12m 39s main
October 31, 2024 21:58 12m 39s
Fix cfg for eggcc modes
Test #4182: Pull request #648 opened by ajpal
October 31, 2024 21:39 12m 53s ajpal-fix-cfgs
October 31, 2024 21:39 12m 53s
fix again
Test #4181: Commit d6a1f5b pushed by ajpal
October 31, 2024 21:38 13m 0s ajpal-fix-cfgs
October 31, 2024 21:38 13m 0s
Merge pull request #631 from egraphs-good/ajpal-select
Test #4180: Commit 271406f pushed by ajpal
October 31, 2024 20:42 12m 36s main
October 31, 2024 20:42 12m 36s
Merge pull request #647 from egraphs-good/ajpal-fix-cfgs
Test #4179: Commit 774b7f7 pushed by ajpal
October 31, 2024 20:33 12m 42s main
October 31, 2024 20:33 12m 42s
Add select rules
Test #4178: Pull request #631 synchronize by ajpal
October 31, 2024 20:28 12m 40s ajpal-select
October 31, 2024 20:28 12m 40s
snapshots
Test #4177: Commit 9037b8b pushed by ajpal
October 31, 2024 20:28 12m 41s ajpal-select
October 31, 2024 20:28 12m 41s
Align names between tmp file and what cfg generator expects
Test #4176: Pull request #647 opened by ajpal
October 31, 2024 20:20 12m 59s ajpal-fix-cfgs
October 31, 2024 20:20 12m 59s
fix names
Test #4175: Commit 4229331 pushed by ajpal
October 31, 2024 20:20 12m 44s ajpal-fix-cfgs
October 31, 2024 20:20 12m 44s
Merge pull request #645 from egraphs-good/oflatt-remove-extra-block
Test #4174: Commit 7c6ee48 pushed by oflatt
October 31, 2024 19:43 14m 37s main
October 31, 2024 19:43 14m 37s