Skip to content

Actions: egraphs-good/extraction-gym

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ILP-based extractor that produces an optimal dag-cost extraction Build #77: Pull request #30 opened by TrevorHansen
December 28, 2023 05:40 30s TrevorHansen:om11
TrevorHansen:om11
December 28, 2023 05:40 30s
Merge pull request #29 from TrevorHansen/om8 Build #76: Commit 4c377b7 pushed by oflatt
December 28, 2023 02:35 43s main
main
December 28, 2023 02:35 43s
Merge pull request #26 from TrevorHansen/om7 Build #75: Commit a42b0f0 pushed by oflatt
December 28, 2023 02:34 42s main
main
December 28, 2023 02:34 42s
More tests & better checking of extraction results. Build #74: Pull request #26 synchronize by TrevorHansen
December 27, 2023 23:33 31s TrevorHansen:om7
TrevorHansen:om7
December 27, 2023 23:33 31s
More tests & better checking of extraction results. Build #73: Pull request #26 synchronize by TrevorHansen
December 27, 2023 23:31 30s TrevorHansen:om7
TrevorHansen:om7
December 27, 2023 23:31 30s
Fix faster-greedy-dag extractor sometimes extracting cycles. Build #72: Pull request #29 opened by TrevorHansen
December 27, 2023 13:28 46s TrevorHansen:om8
TrevorHansen:om8
December 27, 2023 13:28 46s
More tests & better checking of extraction results. Build #71: Pull request #26 opened by TrevorHansen
December 27, 2023 04:18 57s TrevorHansen:om7
TrevorHansen:om7
December 27, 2023 04:18 57s
Extra tests & better checking of extraction results. Build #70: Pull request #25 opened by TrevorHansen
December 27, 2023 04:01 48s TrevorHansen:om7
TrevorHansen:om7
December 27, 2023 04:01 48s
faster-ILP extractor Build #69: Pull request #16 synchronize by TrevorHansen
December 26, 2023 09:04 52s TrevorHansen:om4
TrevorHansen:om4
December 26, 2023 09:04 52s
faster-ILP extractor Build #68: Pull request #16 synchronize by TrevorHansen
December 26, 2023 08:38 43s TrevorHansen:om4
TrevorHansen:om4
December 26, 2023 08:38 43s
faster-ILP extractor Build #67: Pull request #16 synchronize by TrevorHansen
December 24, 2023 14:01 27s TrevorHansen:om4
TrevorHansen:om4
December 24, 2023 14:01 27s
Add good_lp based (with highs solver) extractor Build #66: Pull request #24 synchronize by averyanalex
December 23, 2023 12:37 44s averyanalex:add-highs-extractor
averyanalex:add-highs-extractor
December 23, 2023 12:37 44s
faster-ILP extractor Build #64: Pull request #16 synchronize by TrevorHansen
December 21, 2023 15:00 29s TrevorHansen:om4
TrevorHansen:om4
December 21, 2023 15:00 29s
faster-ILP extractor Build #63: Pull request #16 synchronize by TrevorHansen
December 21, 2023 14:57 26s TrevorHansen:om4
TrevorHansen:om4
December 21, 2023 14:57 26s
Merge pull request #23 from TrevorHansen/om6 Build #62: Commit df71e06 pushed by oflatt
December 15, 2023 18:24 47s main
main
December 15, 2023 18:24 47s
Small cleanup. Use fxHash instead Build #61: Pull request #23 opened by TrevorHansen
December 15, 2023 05:09 58s TrevorHansen:om6
TrevorHansen:om6
December 15, 2023 05:09 58s
Merge pull request #9 from TrevorHansen/om Build #60: Commit 8b33f88 pushed by oflatt
December 14, 2023 16:52 41s main
main
December 14, 2023 16:52 41s
faster-ILP extractor Build #59: Pull request #16 synchronize by TrevorHansen
December 14, 2023 13:03 1m 2s TrevorHansen:om4
TrevorHansen:om4
December 14, 2023 13:03 1m 2s
An extra bottom-up recursive extractor Build #58: Pull request #9 synchronize by TrevorHansen
December 14, 2023 06:38 41s TrevorHansen:om
TrevorHansen:om
December 14, 2023 06:38 41s
An extra bottom-up recursive extractor Build #57: Pull request #9 synchronize by TrevorHansen
December 14, 2023 06:33 42s TrevorHansen:om
TrevorHansen:om
December 14, 2023 06:33 42s
Merge pull request #20 from oflatt/oflatt-faster-baseline Build #56: Commit c9239c2 pushed by oflatt
December 13, 2023 18:38 33s main
main
December 13, 2023 18:38 33s
Merge pull request #22 from TrevorHansen/om5 Build #55: Commit 361d935 pushed by oflatt
December 13, 2023 18:37 40s main
main
December 13, 2023 18:37 40s
Faster bottom up algorithm based on faster-greedy-dag Build #54: Pull request #20 synchronize by oflatt
December 13, 2023 18:37 38s oflatt:oflatt-faster-baseline
oflatt:oflatt-faster-baseline
December 13, 2023 18:37 38s
Merge pull request #21 from oflatt/oflatt-faster-dag Build #53: Commit 934bab7 pushed by oflatt
December 13, 2023 18:35 54s main
main
December 13, 2023 18:35 54s
Global DAG extraction Build #52: Pull request #21 synchronize by oflatt
December 13, 2023 18:28 30s oflatt:oflatt-faster-dag
oflatt:oflatt-faster-dag
December 13, 2023 18:28 30s