Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,985 workflow runs
3,985 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove loop-peel iter that blows up on tests/passing/small/unroll_and… Test #3938: Commit c34f326 pushed by Alex-Fischman
June 4, 2024 03:58 8m 9s fix-state-passthrough
fix-state-passthrough
June 4, 2024 03:58 8m 9s
Fix remaining dag_in_context tests Test #3937: Commit f88af0e pushed by Alex-Fischman
June 4, 2024 02:45 6h 0m 23s fix-state-passthrough
fix-state-passthrough
June 4, 2024 02:45 6h 0m 23s
Fix symbolic context methods to not return cache Test #3936: Commit 9b909e8 pushed by Alex-Fischman
June 4, 2024 02:40 6h 0m 25s fix-state-passthrough
fix-state-passthrough
June 4, 2024 02:40 6h 0m 25s
Working on rerefactor Test #3935: Commit 9529798 pushed by Alex-Fischman
June 4, 2024 02:34 6h 0m 26s fix-state-passthrough
fix-state-passthrough
June 4, 2024 02:34 6h 0m 26s
Remove LoopContextUnionsAnd, just pass ContextCache around (fixes sub… Test #3934: Commit f551d04 pushed by Alex-Fischman
June 3, 2024 23:39 6h 0m 25s fix-state-passthrough
fix-state-passthrough
June 3, 2024 23:39 6h 0m 25s
disable schedule Test #3933: Commit 32d15c6 pushed by Alex-Fischman
June 3, 2024 22:40 5m 28s fix-state-passthrough-catalan
fix-state-passthrough-catalan
June 3, 2024 22:40 5m 28s
Fix subst types, improve egglog output Test #3932: Commit 64d2186 pushed by Alex-Fischman
June 3, 2024 22:38 6h 0m 28s fix-state-passthrough
fix-state-passthrough
June 3, 2024 22:38 6h 0m 28s
disable schedule Test #3931: Commit d2ab61a pushed by Alex-Fischman
June 3, 2024 21:32 5m 22s fix-state-passthrough-catalan
fix-state-passthrough-catalan
June 3, 2024 21:32 5m 22s
Merge pull request #618 from egraphs-good/apal-minmax2 Test #3930: Commit 379c299 pushed by ajpal
June 3, 2024 20:56 10m 24s main
main
June 3, 2024 20:56 10m 24s
snapshots Test #3929: Commit d319d2f pushed by kirstenmg
June 1, 2024 01:12 11m 59s no-duplicate-tests
no-duplicate-tests
June 1, 2024 01:12 11m 59s
Merge pull request #620 from egraphs-good/yihozhang-fix-top Test #3928: Commit 9c4fdee pushed by oflatt
May 30, 2024 23:34 10m 11s main
main
May 30, 2024 23:34 10m 11s
Using loop-inversion to optimizes translation overhead for while loops Test #3927: Pull request #617 synchronize by yihozhang
May 30, 2024 22:20 16m 39s yihozhang-ivt-dag-in-context
yihozhang-ivt-dag-in-context
May 30, 2024 22:20 16m 39s
Merge branch 'yihozhang-fix-top' into yihozhang-ivt-dag-in-context Test #3926: Commit 1596512 pushed by yihozhang
May 30, 2024 22:20 17m 8s yihozhang-ivt-dag-in-context
yihozhang-ivt-dag-in-context
May 30, 2024 22:20 17m 8s
Fix ternary operator rules Test #3925: Pull request #620 synchronize by yihozhang
May 30, 2024 22:20 10m 31s yihozhang-fix-top
yihozhang-fix-top
May 30, 2024 22:20 10m 31s
snapshot Test #3924: Commit f011b91 pushed by yihozhang
May 30, 2024 22:20 10m 13s yihozhang-fix-top
yihozhang-fix-top
May 30, 2024 22:20 10m 13s
Fix ternary operator rules Test #3923: Pull request #620 opened by yihozhang
May 30, 2024 22:14 8m 50s yihozhang-fix-top
yihozhang-fix-top
May 30, 2024 22:14 8m 50s
Merge branch 'main' of github.com:egraphs-good/eggcc into yihozhang-f… Test #3922: Commit 60cb048 pushed by yihozhang
May 30, 2024 22:13 8m 44s yihozhang-fix-top
yihozhang-fix-top
May 30, 2024 22:13 8m 44s
Using loop-inversion to optimizes translation overhead for while loops Test #3921: Pull request #617 synchronize by yihozhang
May 30, 2024 22:13 16m 54s yihozhang-ivt-dag-in-context
yihozhang-ivt-dag-in-context
May 30, 2024 22:13 16m 54s
leave a note Test #3920: Commit 6cdc388 pushed by yihozhang
May 30, 2024 22:12 18m 15s yihozhang-ivt-dag-in-context
yihozhang-ivt-dag-in-context
May 30, 2024 22:12 18m 15s
snapshots again again Test #3919: Commit 45ef932 pushed by Alex-Fischman
May 30, 2024 20:22 6h 0m 24s fix-state-passthrough-catalan
fix-state-passthrough-catalan
May 30, 2024 20:22 6h 0m 24s
snapshots again again Test #3918: Commit 45ef932 pushed by Alex-Fischman
May 30, 2024 20:18 6h 0m 23s fix-state-passthrough
fix-state-passthrough
May 30, 2024 20:18 6h 0m 23s
Using loop-inversion to optimizes translation overhead for while loops Test #3917: Pull request #617 synchronize by yihozhang
May 30, 2024 20:16 18m 14s yihozhang-ivt-dag-in-context
yihozhang-ivt-dag-in-context
May 30, 2024 20:16 18m 14s
Merge branch 'main' of github.com:egraphs-good/eggcc into yihozhang-i… Test #3916: Commit 52e0dc6 pushed by yihozhang
May 30, 2024 20:16 18m 10s yihozhang-ivt-dag-in-context
yihozhang-ivt-dag-in-context
May 30, 2024 20:16 18m 10s
Update tests Test #3915: Commit 56fec6a pushed by kirstenmg
May 30, 2024 20:08 13m 35s peggy-benchmark
peggy-benchmark
May 30, 2024 20:08 13m 35s
Simplify control flow for CFGs generated by eggcc. (#610) Test #3914: Commit 516a106 pushed by ezrosent
May 30, 2024 20:01 14m 1s main
main
May 30, 2024 20:01 14m 1s