Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,459 workflow run results
1,459 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tree schema that supports shared and unique Test #1362: Pull request #296 opened by oflatt
January 29, 2024 20:39 4m 43s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 29, 2024 20:39 4m 43s
add IsValidUnique and IsValidShared Test #1361: Commit 6d2c4aa pushed by oflatt
January 29, 2024 20:38 6m 31s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 29, 2024 20:38 6m 31s
fix up tests Test #1360: Commit 274877e pushed by oflatt
January 29, 2024 20:29 4m 49s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 29, 2024 20:29 4m 49s
add test for shared conflict Test #1359: Commit 2040f8b pushed by oflatt
January 29, 2024 19:53 4m 55s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 29, 2024 19:53 4m 55s
[Tree unique] Loop Invariant Detection Test #1358: Pull request #269 synchronize by clyben
January 29, 2024 19:46 3m 44s clyben:tree_uni_loop_inv
clyben:tree_uni_loop_inv
January 29, 2024 19:46 3m 44s
tree shared initial setup Test #1357: Commit da8556c pushed by oflatt
January 29, 2024 19:40 4m 59s oflatt-shared-tree-schema
oflatt-shared-tree-schema
January 29, 2024 19:40 4m 59s
add ExprUsesArgs analysis Test #1356: Pull request #293 synchronize by yihozhang
January 29, 2024 18:41 3m 32s yihozhang-tu-args-used-analysis
yihozhang-tu-args-used-analysis
January 29, 2024 18:41 3m 32s
add id to All Test #1355: Commit 8d9403c pushed by yihozhang
January 29, 2024 18:41 3m 34s yihozhang-tu-args-used-analysis
yihozhang-tu-args-used-analysis
January 29, 2024 18:41 3m 34s
add ExprUsesArgs analysis Test #1354: Pull request #293 synchronize by yihozhang
January 29, 2024 17:48 3m 38s yihozhang-tu-args-used-analysis
yihozhang-tu-args-used-analysis
January 29, 2024 17:48 3m 38s
fix analysis Test #1353: Commit e09fbdd pushed by yihozhang
January 29, 2024 17:48 3m 33s yihozhang-tu-args-used-analysis
yihozhang-tu-args-used-analysis
January 29, 2024 17:48 3m 33s
add ExprUsesArgs analysis Test #1352: Pull request #293 synchronize by yihozhang
January 29, 2024 17:38 3m 39s yihozhang-tu-args-used-analysis
yihozhang-tu-args-used-analysis
January 29, 2024 17:38 3m 39s
Update arg_used_analysis.rs Test #1351: Commit 5a0070b pushed by yihozhang
January 29, 2024 17:38 3m 40s yihozhang-tu-args-used-analysis
yihozhang-tu-args-used-analysis
January 29, 2024 17:38 3m 40s
Add type annotation to read Test #1350: Commit 3ddb7c7 pushed by ajpal
January 29, 2024 05:28 3m 32s ajpal-type-annotations
ajpal-type-annotations
January 29, 2024 05:28 3m 32s
Translate RVSDG loops to tree encoding Test #1349: Pull request #295 synchronize by oflatt
January 28, 2024 00:09 3m 52s oflatt-tree-translation-4
oflatt-tree-translation-4
January 28, 2024 00:09 3m 52s
use parallel instead of sequence Test #1348: Commit 754e673 pushed by oflatt
January 28, 2024 00:09 3m 20s oflatt-tree-translation-4
oflatt-tree-translation-4
January 28, 2024 00:09 3m 20s
Translate RVSDG loops to tree encoding Test #1347: Pull request #295 synchronize by oflatt
January 28, 2024 00:05 1m 48s oflatt-tree-translation-4
oflatt-tree-translation-4
January 28, 2024 00:05 1m 48s
better comment for build translation Test #1346: Commit ba505f0 pushed by oflatt
January 28, 2024 00:05 1m 48s oflatt-tree-translation-4
oflatt-tree-translation-4
January 28, 2024 00:05 1m 48s
Translate RVSDG loops to tree encoding Test #1345: Pull request #295 opened by oflatt
January 28, 2024 00:02 1m 51s oflatt-tree-translation-4
oflatt-tree-translation-4
January 28, 2024 00:02 1m 51s
another loop test Test #1344: Commit abd9649 pushed by oflatt
January 28, 2024 00:01 1m 47s oflatt-tree-translation-4
oflatt-tree-translation-4
January 28, 2024 00:01 1m 47s
loop test passing! Test #1343: Commit f352665 pushed by oflatt
January 27, 2024 23:37 2m 7s oflatt-tree-translation-4
oflatt-tree-translation-4
January 27, 2024 23:37 2m 7s
Merge pull request #291 from egraphs-good/disallow-empty-all Test #1342: Commit 2dc98fe pushed by oflatt
January 27, 2024 23:27 3m 40s main
main
January 27, 2024 23:27 3m 40s
add ExprUsesArgs analysis Test #1341: Pull request #293 synchronize by yihozhang
January 27, 2024 02:29 3m 40s yihozhang-tu-args-used-analysis
yihozhang-tu-args-used-analysis
January 27, 2024 02:29 3m 40s
nits Test #1340: Commit e0854d5 pushed by yihozhang
January 27, 2024 02:29 3m 37s yihozhang-tu-args-used-analysis
yihozhang-tu-args-used-analysis
January 27, 2024 02:29 3m 37s
Let-inlining optimization Test #1339: Pull request #294 opened by yihozhang
January 27, 2024 02:27 3m 39s yihozhang-tu-let-inline
yihozhang-tu-let-inline
January 27, 2024 02:27 3m 39s
Merge branch 'yihozhang-tu-args-used-analysis' into yihozhang-tu-let-… Test #1338: Commit 8f1c4f9 pushed by yihozhang
January 27, 2024 02:26 4m 0s yihozhang-tu-let-inline
yihozhang-tu-let-inline
January 27, 2024 02:26 4m 0s