Skip to content

Actions: alt-romes/hegg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

changelog: Add mention of Data.Equality.Graph.Dot test #33: Commit 0001688 pushed by alt-romes
4m 44s master
master
4m 44s
Allow access to analysis in CostFunction test #32: Pull request #50 synchronize by bgamari-positron
4m 31s bgamari:wip/cost-analysis
bgamari:wip/cost-analysis
4m 31s
Allow access to analysis in CostFunction test #31: Pull request #50 synchronize by bgamari-positron
4m 14s bgamari:wip/cost-analysis
bgamari:wip/cost-analysis
4m 14s
documentation: Resolve ambiguous type in equalitySaturation test #30: Commit c97d0fe pushed by alt-romes
4m 39s master
master
4m 39s
Allow access to analysis in CostFunction test #29: Pull request #50 opened by bgamari-positron
4m 9s bgamari:wip/cost-analysis
bgamari:wip/cost-analysis
4m 9s
documentation: Fix README example and make imports clearer. test #28: Pull request #48 synchronize by mchav
4m 41s mchav:master
mchav:master
4m 41s
Dot: Label clusters with class ids test #26: Commit 91bdecb pushed by alt-romes
4m 23s master
master
4m 23s
Dot: Label clusters with class ids test #25: Pull request #47 opened by bgamari
4m 31s bgamari:wip/label-nodes
bgamari:wip/label-nodes
4m 31s
Saturation: Ensure that banned rules are retried on saturation test #24: Pull request #46 opened by bgamari
12m 13s bgamari:wip/T45
bgamari:wip/T45
12m 13s
Allow equality saturation to be applied to type-indexed expressions test #23: Pull request #44 opened by jwiegley
4m 54s jwiegley:master
jwiegley:master
4m 54s
make e-graph visualization testcase conditional on VizDot flag test #22: Commit 3c27078 pushed by alt-romes
4m 30s master
master
4m 30s
egglog-like e-graph visualisation as Graphviz Dot file test #21: Pull request #40 synchronize by ren-zeng
4m 29s ren-zeng:master
ren-zeng:master
4m 29s
ci: Run tests with -f+vizdot too test #20: Commit 76a4391 pushed by alt-romes
3m 51s master
master
3m 51s
ci: Run tests with -f+vizdot too test #19: Pull request #41 opened by alt-romes
4m 29s wip/romes/cimore
wip/romes/cimore
4m 29s
ci: Run on pull_request test #18: Commit d177304 pushed by alt-romes
3m 7s master
master
3m 7s
Don't use overloaded lists and comments test #17: Commit ed42cc8 pushed by alt-romes
2m 58s master
master
2m 58s
Use findSubst rather than lookupSubst test #16: Commit dd4b238 pushed by alt-romes
3m 8s master
master
3m 8s
Use IntToIntMap for 'Subst' test #15: Commit 7909cf3 pushed by alt-romes
3m 10s master
master
3m 10s
trace: Only print rules that do have matches test #14: Commit fb574ad pushed by alt-romes
2m 56s master
master
2m 56s
Introduce Tracing Scheduler for tracing applied rules test #13: Commit 364cbbe pushed by alt-romes
2m 59s master
master
2m 59s
Introduce Tracing Scheduler for tracing applied rules test #12: Commit 50aa067 pushed by alt-romes
3m 15s wip/romes/18
wip/romes/18
3m 15s
Introduce Tracing Scheduler for tracing applied rules test #11: Commit f13b77a pushed by alt-romes
2m 58s wip/romes/18
wip/romes/18
2m 58s
Introduce Tracing Scheduler for tracing applied rules test #10: Commit 55c0836 pushed by alt-romes
2m 32s wip/romes/18
wip/romes/18
2m 32s
Fix build test #9: Commit e6630fa pushed by alt-romes
4m 18s nadia.chambers/jacobi-elliptic-simplify-01
nadia.chambers/jacobi-elliptic-simplify-01
4m 18s
Use binomial thm to expand elliptic function identities. test #8: Commit 50d878e pushed by alt-romes
4m 10s nadia.chambers/jacobi-elliptic-simplify-01
nadia.chambers/jacobi-elliptic-simplify-01
4m 10s