Skip to content

Actions: herbie-fp/herbie

Actions

Tool

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,885 workflow runs
2,885 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

All 500 benchmarks Tool #4832: Commit 1f45f45 pushed by broughjt
October 11, 2024 23:12 1m 53s asplos25-benchmarks
asplos25-benchmarks
October 11, 2024 23:12 1m 53s
Change to clang++-18 Tool #4831: Commit 075afc4 pushed by broughjt
October 11, 2024 16:49 2m 6s asplos25-benchmarks
asplos25-benchmarks
October 11, 2024 16:49 2m 6s
Try switching to clang-18 Tool #4830: Commit 685d47b pushed by broughjt
October 11, 2024 01:57 2m 40s asplos25-benchmarks
asplos25-benchmarks
October 11, 2024 01:57 2m 40s
Try force removal of plugins Tool #4829: Commit 72e0087 pushed by broughjt
October 10, 2024 22:37 2m 25s asplos25-benchmarks
asplos25-benchmarks
October 10, 2024 22:37 2m 25s
Add missing dependencies Tool #4828: Commit f5d3d48 pushed by broughjt
October 10, 2024 21:15 2m 16s asplos25-benchmarks
asplos25-benchmarks
October 10, 2024 21:15 2m 16s
Switch to geometric mean Tool #4827: Commit 7d957b8 pushed by JonasRegehr
October 10, 2024 19:49 2m 22s asplos25-artifact
asplos25-artifact
October 10, 2024 19:49 2m 22s
plot changes Tool #4826: Commit a5a57f0 pushed by JonasRegehr
October 10, 2024 19:48 2m 10s asplos25-artifact
asplos25-artifact
October 10, 2024 19:48 2m 10s
Import the undo scheduler Tool #4825: Commit 1ae7f69 pushed by pavpanchekha
October 8, 2024 16:43 3m 13s undo-scheduler
undo-scheduler
October 8, 2024 16:43 3m 13s
Undo scheduler attempt Tool #4824: Commit 4b22599 pushed by pavpanchekha
October 8, 2024 16:41 45s undo-scheduler
undo-scheduler
October 8, 2024 16:41 45s
The profiler turns out to be the cause of our timeouts, so do less Tool #4823: Commit 3833c0d pushed by pavpanchekha
October 8, 2024 14:58 3m 2s less-profiling
less-profiling
October 8, 2024 14:58 3m 2s
Added inverse rules to test Eclass Tool #4822: Commit 0b1769a pushed by JJponce0913
October 3, 2024 16:20 9m 41s eclass-test-rev
eclass-test-rev
October 3, 2024 16:20 9m 41s
Added all reverse rules Tool #4821: Commit dc5e501 pushed by JJponce0913
October 3, 2024 04:18 1m 50s add-inverses
add-inverses
October 3, 2024 04:18 1m 50s
Woops Tool #4820: Commit 550dc83 pushed by pavpanchekha
October 1, 2024 18:34 2m 53s cleanup-pcontext
cleanup-pcontext
October 1, 2024 18:34 2m 53s
Inlined point-error (maybe faster?) Tool #4819: Commit 2e7af4a pushed by pavpanchekha
October 1, 2024 18:21 4m 11s cleanup-pcontext
cleanup-pcontext
October 1, 2024 18:21 4m 11s
Remove special batch-errors-handler (no longer buggy) Tool #4818: Commit a75f6ea pushed by pavpanchekha
October 1, 2024 18:19 3m 15s cleanup-pcontext
cleanup-pcontext
October 1, 2024 18:19 3m 15s
Document avg-error removal Tool #4817: Commit 48c7ab9 pushed by pavpanchekha
October 1, 2024 18:17 3m 0s cleanup-pcontext
cleanup-pcontext
October 1, 2024 18:17 3m 0s
Make sure we consistently use "pcontext" not "context" for pcontexts Tool #4816: Commit 838fc96 pushed by pavpanchekha
October 1, 2024 18:11 3m 11s cleanup-pcontext
cleanup-pcontext
October 1, 2024 18:11 3m 11s
Make sure we consistently use "pcontext" not "context" for pcontexts Tool #4815: Commit 5ad2fd4 pushed by pavpanchekha
October 1, 2024 18:07 1m 58s cleanup-pcontext
cleanup-pcontext
October 1, 2024 18:07 1m 58s
simplification of preprocess.rkt Tool #4814: Commit d297d7f pushed by AYadrov
September 27, 2024 19:38 3m 44s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 27, 2024 19:38 3m 44s
code simplification. Particularly at simplify.rkt Tool #4813: Commit 06a8bd5 pushed by AYadrov
September 27, 2024 18:56 3m 0s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 27, 2024 18:56 3m 0s
Better fix Tool #4812: Commit e975732 pushed by varun10p
September 27, 2024 05:34 3m 3s varun10p-identities
varun10p-identities
September 27, 2024 05:34 3m 3s
Fpcore bug fix Tool #4811: Commit fc1064b pushed by varun10p
September 27, 2024 05:27 3m 34s varun10p-identities
varun10p-identities
September 27, 2024 05:27 3m 34s
Found last bugs Tool #4810: Commit 65556e8 pushed by varun10p
September 27, 2024 05:12 2m 35s varun10p-identities
varun10p-identities
September 27, 2024 05:12 2m 35s
More fixes Tool #4809: Commit 8027e3b pushed by varun10p
September 27, 2024 04:58 2m 38s varun10p-identities
varun10p-identities
September 27, 2024 04:58 2m 38s
Fixed bugs. Tool #4808: Commit 09c9ffc pushed by varun10p
September 27, 2024 03:25 3m 9s varun10p-identities
varun10p-identities
September 27, 2024 03:25 3m 9s