Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,450 workflow run results
1,450 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
January 27, 2024 02:27 3m 39s