Skip to content

Actions: herbie-fp/herbie

Actions

Tool

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,677 workflow run results
2,677 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

small edit Tool #4637: Commit 61eaf8a pushed by bhargavkulk
August 30, 2024 00:25 3m 27s bhargav-log-space
bhargav-log-space
August 30, 2024 00:25 3m 27s
Minor Tool #4636: Commit 1756e4c pushed by pavpanchekha
August 29, 2024 22:30 3m 4s tiny-egraph-speedups
tiny-egraph-speedups
August 29, 2024 22:30 3m 4s
Basically, don't record rule applications, which seem expensive Tool #4635: Commit 2732011 pushed by pavpanchekha
August 29, 2024 22:27 3m 13s tiny-egraph-speedups
tiny-egraph-speedups
August 29, 2024 22:27 3m 13s
extracting to batch is dooooooooone Tool #4634: Commit 8b553f0 pushed by AYadrov
August 29, 2024 20:47 3m 30s artem-batch-rewrite
artem-batch-rewrite
August 29, 2024 20:47 3m 30s
batched rewrite+parsing for the new batch structure Tool #4633: Commit e7c196e pushed by AYadrov
August 29, 2024 20:41 3m 34s artem-batch-rewrite
artem-batch-rewrite
August 29, 2024 20:41 3m 34s
fix unit tests in src/ Tool #4632: Commit 1f7df90 pushed by bksaiki
August 28, 2024 21:57 2m 31s fewer-globals
fewer-globals
August 28, 2024 21:57 2m 31s
working Tool #4631: Commit 5c3ca90 pushed by bksaiki
August 28, 2024 21:34 2m 14s fewer-globals
fewer-globals
August 28, 2024 21:34 2m 14s
Cleanup rules Tool #4630: Commit a22241a pushed by varun10p
August 28, 2024 20:31 2m 17s varun10p-identities
varun10p-identities
August 28, 2024 20:31 2m 17s
Adding rules back Tool #4629: Commit f1d66d1 pushed by varun10p
August 28, 2024 20:23 3m 29s varun10p-identities
varun10p-identities
August 28, 2024 20:23 3m 29s
Exp rules Tool #4628: Commit 3b7f1ad pushed by varun10p
August 28, 2024 20:17 3m 9s varun10p-identities
varun10p-identities
August 28, 2024 20:17 3m 9s
Removed fp-safe rulesets Tool #4627: Commit f5f47d0 pushed by varun10p
August 28, 2024 20:14 5m 18s varun10p-identities
varun10p-identities
August 28, 2024 20:14 5m 18s
Only comparators left Tool #4626: Commit 643053e pushed by varun10p
August 28, 2024 19:09 1m 51s varun10p-identities
varun10p-identities
August 28, 2024 19:09 1m 51s
extract + parsing to herbie IR Tool #4625: Commit c2eca4e pushed by AYadrov
August 28, 2024 18:55 3m 51s artem-batch-rewrite
artem-batch-rewrite
August 28, 2024 18:55 3m 51s
extraction is added back Tool #4624: Commit 1d7400b pushed by AYadrov
August 28, 2024 17:52 2m 57s artem-batch-rewrite
artem-batch-rewrite
August 28, 2024 17:52 2m 57s
remove random eprintf Tool #4623: Commit d2d826e pushed by bhargavkulk
August 28, 2024 17:17 3m 15s bhargav-log-space
bhargav-log-space
August 28, 2024 17:17 3m 15s
removed random file Tool #4622: Commit e36e2be pushed by bhargavkulk
August 28, 2024 17:15 3m 20s bhargav-log-space
bhargav-log-space
August 28, 2024 17:15 3m 20s
Merge remote-tracking branch 'origin' into bhargav-log-space Tool #4621: Commit 3379285 pushed by bhargavkulk
August 28, 2024 17:13 2m 38s bhargav-log-space
bhargav-log-space
August 28, 2024 17:13 2m 38s
merged main to follow new structure and starting from this point to e… Tool #4620: Commit bd52165 pushed by AYadrov
August 28, 2024 17:06 2m 14s artem-batch-rewrite
artem-batch-rewrite
August 28, 2024 17:06 2m 14s
some progress on a different batch structure Tool #4619: Commit 9b8a193 pushed by AYadrov
August 28, 2024 16:59 2m 2s artem-batch-rewrite
artem-batch-rewrite
August 28, 2024 16:59 2m 2s
Merge pull request #979 from herbie-fp/new-batch-abstractions Tool #4618: Commit fc30cd4 pushed by pavpanchekha
August 28, 2024 14:38 3m 36s main
main
August 28, 2024 14:38 3m 36s
Fix bug in exact powers Tool #4617: Commit b8ef411 pushed by pavpanchekha
August 28, 2024 04:37 3m 35s new-batch-abstractions
new-batch-abstractions
August 28, 2024 04:37 3m 35s
Merge pull request #977 from herbie-fp/zane-server-clean-up Tool #4616: Commit 5230d4a pushed by zaneenders
August 28, 2024 02:29 3m 42s main
main
August 28, 2024 02:29 3m 42s
Fix make-timeline call sites. Tool #4615: Commit a5290d6 pushed by zaneenders
August 28, 2024 02:15 3m 14s zane-server-clean-up
zane-server-clean-up
August 28, 2024 02:15 3m 14s
Merge pull request #964 from herbie-fp/zane-check-status Tool #4614: Commit 5b8c976 pushed by zaneenders
August 28, 2024 01:28 3m 32s main
main
August 28, 2024 01:28 3m 32s
Woops Tool #4613: Commit 6797ad0 pushed by pavpanchekha
August 27, 2024 22:34 2m 25s new-batch-abstractions
new-batch-abstractions
August 27, 2024 22:34 2m 25s