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 #1387: Pull request #296 synchronize by oflatt
January 29, 2024 23:55 4m 44s oflatt-shared-tree-schema
January 29, 2024 23:55 4m 44s
add types to things that need them
Test #1386: Commit ccefb8f pushed by oflatt
January 29, 2024 23:55 4m 49s oflatt-shared-tree-schema
January 29, 2024 23:55 4m 49s
Tree schema that supports shared and unique
Test #1385: Pull request #296 synchronize by oflatt
January 29, 2024 23:50 4m 50s oflatt-shared-tree-schema
January 29, 2024 23:50 4m 50s
remove type analysis
Test #1384: Commit 77acc94 pushed by oflatt
January 29, 2024 23:50 4m 49s oflatt-shared-tree-schema
January 29, 2024 23:50 4m 49s
Tree schema that supports shared and unique
Test #1383: Pull request #296 synchronize by oflatt
January 29, 2024 23:49 4m 47s oflatt-shared-tree-schema
January 29, 2024 23:49 4m 47s
add expr.rs oops
Test #1382: Commit f83ae0e pushed by oflatt
January 29, 2024 23:49 4m 51s oflatt-shared-tree-schema
January 29, 2024 23:49 4m 51s
Tree schema that supports shared and unique
Test #1381: Pull request #296 synchronize by oflatt
January 29, 2024 23:47 4m 59s oflatt-shared-tree-schema
January 29, 2024 23:47 4m 59s
refactor lib.rs to contain only the run_test function
Test #1380: Commit 9e988d9 pushed by oflatt
January 29, 2024 23:47 4m 42s oflatt-shared-tree-schema
January 29, 2024 23:47 4m 42s
Add typing rules for functions/calls
Test #1379: Pull request #298 synchronize by ajpal
January 29, 2024 22:42 3m 37s ajpal-funcs
January 29, 2024 22:42 3m 37s
error handling
Test #1378: Commit cb0f149 pushed by ajpal
January 29, 2024 22:42 3m 35s ajpal-funcs
January 29, 2024 22:42 3m 35s
Merge pull request #295 from egraphs-good/oflatt-tree-translation-4
Test #1377: Commit 3da0a81 pushed by oflatt
January 29, 2024 22:31 3m 44s main
January 29, 2024 22:31 3m 44s
Translate RVSDG loops to tree encoding
Test #1376: Pull request #295 synchronize by oflatt
January 29, 2024 22:24 3m 32s oflatt-tree-translation-4
January 29, 2024 22:24 3m 32s
Merge pull request #297 from egraphs-good/ajpal-type-annotations
Test #1374: Commit 98accff pushed by oflatt
January 29, 2024 22:21 31s main
January 29, 2024 22:21 31s
more comments
Test #1373: Commit 3b241e6 pushed by oflatt
January 29, 2024 22:14 3m 30s oflatt-tree-translation-4
January 29, 2024 22:14 3m 30s
Add typing rules for functions/calls
Test #1372: Pull request #298 opened by ajpal
January 29, 2024 22:13 3m 29s ajpal-funcs
January 29, 2024 22:13 3m 29s
Add typing rules for functions/calls
Test #1371: Commit c643d8d pushed by ajpal
January 29, 2024 22:13 3m 34s ajpal-funcs
January 29, 2024 22:13 3m 34s
Merge pull request #288 from egraphs-good/oflatt-tree-translation-3
Test #1370: Commit b66d894 pushed by oflatt
January 29, 2024 22:09 32s main
January 29, 2024 22:09 32s
Add Read/Write to Type analysis
Test #1369: Pull request #297 synchronize by ajpal
January 29, 2024 21:52 3m 29s ajpal-type-annotations
January 29, 2024 21:52 3m 29s
cargo fmt
Test #1368: Commit eae5401 pushed by ajpal
January 29, 2024 21:52 3m 33s ajpal-type-annotations
January 29, 2024 21:52 3m 33s
Add Read/Write to Type analysis
Test #1367: Pull request #297 opened by ajpal
January 29, 2024 21:47 4m 42s ajpal-type-annotations
January 29, 2024 21:47 4m 42s
Delete out.egg
Test #1366: Commit e6f72a0 pushed by ajpal
January 29, 2024 21:46 3m 29s ajpal-type-annotations
January 29, 2024 21:46 3m 29s
take type-analysis out of global schedule
Test #1365: Commit feede49 pushed by ajpal
January 29, 2024 21:46 3m 32s ajpal-type-annotations
January 29, 2024 21:46 3m 32s
Tree schema that supports shared and unique
Test #1364: Pull request #296 synchronize by oflatt
January 29, 2024 20:52 4m 54s oflatt-shared-tree-schema
January 29, 2024 20:52 4m 54s
add error checking file oops
Test #1363: Commit f825b88 pushed by oflatt
January 29, 2024 20:52 5m 0s oflatt-shared-tree-schema
January 29, 2024 20:52 5m 0s