Skip to content

Actions: egraphs-good/extraction-gym

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
105 workflow runs
105 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
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
oflatt:oflatt-faster-dag
December 11, 2023 23:43 32s
Faster bottom up algorithm based on faster-greedy-dag Build #49: Pull request #20 synchronize by oflatt
December 11, 2023 23:30 40s oflatt:oflatt-faster-baseline
oflatt:oflatt-faster-baseline
December 11, 2023 23:30 40s
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
TrevorHansen:om5
December 10, 2023 18:35 41s
New 'FlexC' dataset Build #43: Pull request #18 opened by Bastacyclop
November 24, 2023 10:08 32s Bastacyclop:flexc-dataset
Bastacyclop:flexc-dataset
November 24, 2023 10:08 32s