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

Global DAG extraction
Build #51: Pull request #21 synchronize by oflatt
December 11, 2023 23:45 40s oflatt:oflatt-faster-dag
December 11, 2023 23:45 40s
Global DAG extraction
Build #50: Pull request #21 synchronize by oflatt
December 11, 2023 23:43 32s oflatt:oflatt-faster-dag
December 11, 2023 23:43 32s
Use a map that is faster with integer keys
Build #48: Pull request #22 opened by TrevorHansen
December 10, 2023 18:35 41s TrevorHansen:om5
December 10, 2023 18:35 41s
Global DAG extraction
Build #47: Pull request #21 opened by oflatt
December 5, 2023 22:11 44s oflatt:oflatt-faster-dag
December 5, 2023 22:11 44s
add eggcc benchmarks (#17)
Build #44: Commit d953273 pushed by mwillsey
November 30, 2023 18:45 51s main
November 30, 2023 18:45 51s
New 'FlexC' dataset
Build #43: Pull request #18 opened by Bastacyclop
November 24, 2023 10:08 32s Bastacyclop:flexc-dataset
November 24, 2023 10:08 32s
Add data from prototype Bril compiler project
Build #42: Pull request #17 opened by oflatt
November 20, 2023 21:11 55s oflatt:oflatt-add-eggcc
November 20, 2023 21:11 55s
faster-ILP extractor
Build #41: Pull request #16 opened by TrevorHansen
November 3, 2023 13:36 59s TrevorHansen:om4
November 3, 2023 13:36 59s
Clean up as well as speed up the ILP extractor. (#15)
Build #40: Commit 5d433b0 pushed by mwillsey
November 2, 2023 22:38 30s main
November 2, 2023 22:38 30s
Clean up as well as speed up the ILP extractor.
Build #39: Pull request #15 opened by TrevorHansen
October 31, 2023 02:30 30s TrevorHansen:om4
October 31, 2023 02:30 30s
Speed up sharing-aware extractor and fix spelling (#11)
Build #38: Commit f168a55 pushed by mwillsey
October 23, 2023 22:36 55s main
October 23, 2023 22:36 55s
October 23, 2023 22:24 58s
Initial Rover testcases - stressing common sub-expression aware extraction
Build #36: Pull request #13 opened by cowardsa
October 17, 2023 09:51 1m 12s cowardsa:main
October 17, 2023 09:51 1m 12s
Speed up sharing-aware extractor and fix spelling
Build #35: Pull request #11 synchronize by TrevorHansen
September 13, 2023 11:57 33s TrevorHansen:om3
September 13, 2023 11:57 33s
Speed up sharing-aware extractor and fix spelling
Build #34: Pull request #11 synchronize by TrevorHansen
September 13, 2023 11:55 38s TrevorHansen:om3
September 13, 2023 11:55 38s
Speed up sharing-aware extractor and fix spelling
Build #33: Pull request #11 synchronize by TrevorHansen
September 13, 2023 11:52 28s TrevorHansen:om3
September 13, 2023 11:52 28s
Speed up sharing-aware extractor and fix spelling
Build #32: Pull request #11 opened by TrevorHansen
September 13, 2023 00:24 31s TrevorHansen:om3
September 13, 2023 00:24 31s
faster sharing-aware cost extraction (#10)
Build #31: Commit ee68161 pushed by mwillsey
September 13, 2023 00:12 1m 12s main
September 13, 2023 00:12 1m 12s
faster sharing-aware cost extraction
Build #30: Pull request #10 opened by TrevorHansen
September 12, 2023 13:47 54s TrevorHansen:om2
September 12, 2023 13:47 54s