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

Chidlren of enodes should be other enodes, not eclasses. Fixed #44 (#45) Build #156: Commit ca39f56 pushed by mwillsey
November 8, 2024 18:54 54s main
main
November 8, 2024 18:54 54s
Fix the Herbie egraphs so make works Build #155: Pull request #45 synchronize by pavpanchekha
October 11, 2024 22:47 56s pavpanchekha:add-herbie
pavpanchekha:add-herbie
October 11, 2024 22:47 56s
Add benchmarks drawn from Herbie 2.1 (actually, mainline) (#43) Build #154: Commit eb0b157 pushed by mwillsey
September 20, 2024 21:42 55s main
main
September 20, 2024 21:42 55s
Add benchmarks drawn from Herbie Build #153: Pull request #43 opened by pavpanchekha
September 20, 2024 19:42 57s pavpanchekha:add-herbie
pavpanchekha:add-herbie
September 20, 2024 19:42 57s
Merge pull request #41 from ninehusky/ninehusky-fix-ilp-compilation Build #152: Commit 4994658 pushed by oflatt
August 28, 2024 21:53 1m 7s main
main
August 28, 2024 21:53 1m 7s
Get serialized egraph back from extraction-gym Build #151: Pull request #39 synchronize by ninehusky
August 28, 2024 21:05 1m 8s ninehusky:ninehusky-to-serialized-egraph
ninehusky:ninehusky-to-serialized-egraph
August 28, 2024 21:05 1m 8s
Fix compilation errors with all-features Build #150: Pull request #41 opened by ninehusky
July 23, 2024 07:53 1m 9s ninehusky:ninehusky-fix-ilp-compilation
ninehusky:ninehusky-fix-ilp-compilation
July 23, 2024 07:53 1m 9s
faster-ILP extractor (#16) Build #145: Commit ac30499 pushed by mwillsey
May 17, 2024 23:14 55s main
main
May 17, 2024 23:14 55s
faster-ILP extractor Build #144: Pull request #16 synchronize by TrevorHansen
May 7, 2024 05:17 51s TrevorHansen:om4
TrevorHansen:om4
May 7, 2024 05:17 51s
faster-ILP extractor Build #143: Pull request #16 synchronize by TrevorHansen
May 7, 2024 05:15 56s TrevorHansen:om4
TrevorHansen:om4
May 7, 2024 05:15 56s
faster-ILP extractor Build #142: Pull request #16 synchronize by TrevorHansen
February 7, 2024 12:58 52s TrevorHansen:om4
TrevorHansen:om4
February 7, 2024 12:58 52s
Test code (#31) Build #141: Commit 2a38817 pushed by mwillsey
February 6, 2024 21:25 51s main
main
February 6, 2024 21:25 51s
Line graph of benchmark results Build #140: Pull request #33 synchronize by TrevorHansen
January 27, 2024 06:49 39s TrevorHansen:om17
TrevorHansen:om17
January 27, 2024 06:49 39s
faster-ILP extractor Build #139: Pull request #16 synchronize by TrevorHansen
January 14, 2024 13:04 37s TrevorHansen:om4
TrevorHansen:om4
January 14, 2024 13:04 37s
faster-ILP extractor Build #138: Pull request #16 synchronize by TrevorHansen
January 14, 2024 01:25 23s TrevorHansen:om4
TrevorHansen:om4
January 14, 2024 01:25 23s
faster-ILP extractor Build #137: Pull request #16 synchronize by TrevorHansen
January 14, 2024 01:23 30s TrevorHansen:om4
TrevorHansen:om4
January 14, 2024 01:23 30s
faster-ILP extractor Build #136: Pull request #16 synchronize by TrevorHansen
January 14, 2024 01:20 58s TrevorHansen:om4
TrevorHansen:om4
January 14, 2024 01:20 58s
faster-ILP extractor Build #135: Pull request #16 synchronize by TrevorHansen
January 13, 2024 22:55 35s TrevorHansen:om4
TrevorHansen:om4
January 13, 2024 22:55 35s
faster-ILP extractor Build #134: Pull request #16 synchronize by TrevorHansen
January 13, 2024 22:45 26s TrevorHansen:om4
TrevorHansen:om4
January 13, 2024 22:45 26s
faster-ILP extractor Build #133: Pull request #16 synchronize by TrevorHansen
January 13, 2024 21:20 2m 54s TrevorHansen:om4
TrevorHansen:om4
January 13, 2024 21:20 2m 54s
Test code Build #132: Pull request #31 synchronize by TrevorHansen
January 13, 2024 20:49 46s TrevorHansen:om12
TrevorHansen:om12
January 13, 2024 20:49 46s
Test code Build #131: Pull request #31 synchronize by TrevorHansen
January 13, 2024 20:38 2m 50s TrevorHansen:om12
TrevorHansen:om12
January 13, 2024 20:38 2m 50s
Line graph of benchmark results Build #130: Pull request #33 synchronize by TrevorHansen
January 13, 2024 19:15 21s TrevorHansen:om17
TrevorHansen:om17
January 13, 2024 19:15 21s
Add Simple Examples (#6) Build #129: Commit c04b7fc pushed by mwillsey
January 12, 2024 19:50 24s main
main
January 12, 2024 19:50 24s
Simple Examples Build #128: Pull request #6 synchronize by mwillsey
January 12, 2024 19:48 36s philzook58:examples
philzook58:examples
January 12, 2024 19:48 36s