Skip to content

Actions: egraphs-good/eggcc

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #330 from egraphs-good/ajpal-type-analysis Test #1645: Commit a05d727 pushed by ajpal
February 8, 2024 23:18 4m 46s main
main
February 8, 2024 23:18 4m 46s
[Tree Assume][Type Analysis] Ops + Consts Test #1644: Pull request #330 synchronize by ajpal
February 8, 2024 23:12 4m 50s ajpal-type-analysis
ajpal-type-analysis
February 8, 2024 23:12 4m 50s
add type check for print arg Test #1643: Commit 04491a0 pushed by ajpal
February 8, 2024 23:12 5m 34s ajpal-type-analysis
ajpal-type-analysis
February 8, 2024 23:12 5m 34s
[Tree Assume][Type Analysis] Pointers Test #1642: Pull request #334 opened by ajpal
February 8, 2024 23:06 5m 11s ajpal-pointer-types
ajpal-pointer-types
February 8, 2024 23:06 5m 11s
[Tree Assume][Type Analysis] Ops + Consts Test #1641: Pull request #330 synchronize by ajpal
February 8, 2024 23:05 4m 51s ajpal-type-analysis
ajpal-type-analysis
February 8, 2024 23:05 4m 51s
Merge branch 'main' into ajpal-type-analysis Test #1640: Commit 9d1de78 pushed by ajpal
February 8, 2024 23:05 4m 52s ajpal-type-analysis
ajpal-type-analysis
February 8, 2024 23:05 4m 52s
Merge pull request #331 from egraphs-good/oflatt-fix-win-detect-mem Test #1639: Commit 3a9c928 pushed by oflatt
February 8, 2024 23:04 4m 56s main
main
February 8, 2024 23:04 4m 56s
Merge pull request #333 from egraphs-good/oflatt-assume-propogate2 Test #1638: Commit 43d0592 pushed by oflatt
February 8, 2024 23:03 6m 5s main
main
February 8, 2024 23:03 6m 5s
pointers Test #1637: Commit 741c5a7 pushed by ajpal
February 8, 2024 23:02 4m 56s ajpal-pointer-types
ajpal-pointer-types
February 8, 2024 23:02 4m 56s
Add rules that propogate assume nodes to create unique contexts Test #1636: Pull request #333 synchronize by oflatt
February 8, 2024 22:38 4m 53s oflatt-assume-propogate2
oflatt-assume-propogate2
February 8, 2024 22:38 4m 53s
add cycle test and don't saturate Test #1635: Commit 7cfe528 pushed by oflatt
February 8, 2024 22:38 4m 52s oflatt-assume-propogate2
oflatt-assume-propogate2
February 8, 2024 22:38 4m 52s
Add rules that propogate assume nodes to create unique contexts Test #1634: Pull request #333 synchronize by oflatt
February 8, 2024 00:47 5m 0s oflatt-assume-propogate2
oflatt-assume-propogate2
February 8, 2024 00:47 5m 0s
add assume test Test #1633: Commit 70d259c pushed by oflatt
February 8, 2024 00:47 5m 9s oflatt-assume-propogate2
oflatt-assume-propogate2
February 8, 2024 00:47 5m 9s
add comment about nestings Test #1632: Commit 532a5d5 pushed by oflatt
February 8, 2024 00:39 5m 15s oflatt-assume-propogate2
oflatt-assume-propogate2
February 8, 2024 00:39 5m 15s
greatly simplify because we don't need assumelist Test #1631: Commit 6bd41c1 pushed by oflatt
February 8, 2024 00:38 4m 56s oflatt-assume-propogate2
oflatt-assume-propogate2
February 8, 2024 00:38 4m 56s
nested let test passing Test #1630: Commit f609dfe pushed by oflatt
February 8, 2024 00:26 4m 53s oflatt-assume-propogate2
oflatt-assume-propogate2
February 8, 2024 00:26 4m 53s
base case passing Test #1629: Commit 5ca4765 pushed by oflatt
February 8, 2024 00:12 5m 8s oflatt-assume-propogate2
oflatt-assume-propogate2
February 8, 2024 00:12 5m 8s
[Tree Assume][Type Analysis] Ops + Consts Test #1628: Pull request #330 synchronize by ajpal
February 7, 2024 23:58 4m 51s ajpal-type-analysis
ajpal-type-analysis
February 7, 2024 23:58 4m 51s
type errors Test #1627: Commit 7cc2500 pushed by ajpal
February 7, 2024 23:58 4m 51s ajpal-type-analysis
ajpal-type-analysis
February 7, 2024 23:58 4m 51s
finish writing crappy rules Test #1626: Commit 2279e8c pushed by oflatt
February 7, 2024 23:09 4m 56s oflatt-assume-propogate2
oflatt-assume-propogate2
February 7, 2024 23:09 4m 56s
top down assume list experiment Test #1625: Commit 7fcccfa pushed by oflatt
February 7, 2024 22:25 4m 59s oflatt-assume-propogate2
oflatt-assume-propogate2
February 7, 2024 22:25 4m 59s
Merge pull request #332 from egraphs-good/oflatt-simple-constant-fold Test #1624: Commit a083fcd pushed by oflatt
February 7, 2024 21:47 5m 2s main
main
February 7, 2024 21:47 5m 2s
Simple constant folding optimization as an example Test #1623: Pull request #332 opened by oflatt
February 7, 2024 17:17 5m 2s oflatt-simple-constant-fold
oflatt-simple-constant-fold
February 7, 2024 17:17 5m 2s
Fix detecting folders in tests for windows Test #1622: Pull request #331 opened by oflatt
February 7, 2024 17:17 4m 55s oflatt-fix-win-detect-mem
oflatt-fix-win-detect-mem
February 7, 2024 17:17 4m 55s
fix up detecting folder Test #1621: Commit 8d6a5fd pushed by oflatt
February 7, 2024 17:16 5m 7s oflatt-fix-win-detect-mem
oflatt-fix-win-detect-mem
February 7, 2024 17:16 5m 7s