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

a last cleanup Tool #4807: Commit 20ea231 pushed by AYadrov
September 26, 2024 23:01 2m 53s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 26, 2024 23:01 2m 53s
more cleanups... I cant stop Tool #4806: Commit d02ac86 pushed by AYadrov
September 26, 2024 22:43 3m 3s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 26, 2024 22:43 3m 3s
cleanup Tool #4805: Commit 3e8935f pushed by AYadrov
September 26, 2024 22:32 3m 20s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 26, 2024 22:32 3m 20s
useless code + some minor batch API updates Tool #4804: Commit 42d7a11 pushed by AYadrov
September 26, 2024 20:49 3m 24s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 26, 2024 20:49 3m 24s
Also update the Racket version being used Tool #4803: Commit c76d2b9 pushed by pavpanchekha
September 26, 2024 20:29 2m 51s only-distribute-on-main
only-distribute-on-main
September 26, 2024 20:29 2m 51s
a bugster Tool #4802: Commit 23cc561 pushed by AYadrov
September 26, 2024 20:08 3m 3s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 26, 2024 20:08 3m 3s
merged main Tool #4801: Commit c52c622 pushed by AYadrov
September 26, 2024 19:42 3m 3s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 26, 2024 19:42 3m 3s
all the added crap removed. reconstruct is rolled back Tool #4800: Commit 10641a7 pushed by AYadrov
September 26, 2024 19:27 2m 54s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 26, 2024 19:27 2m 54s
Revert "Revert "a little time saving where expr doesn't need to be pu… Tool #4799: Commit b7e5341 pushed by AYadrov
September 26, 2024 19:22 3m 12s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 26, 2024 19:22 3m 12s
Revert "bug" Tool #4798: Commit 3d1a9c2 pushed by AYadrov
September 26, 2024 19:15 3m 3s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 26, 2024 19:15 3m 3s
Merge pull request #989 from herbie-fp/dump-egraph Tool #4797: Commit 413bec8 pushed by pavpanchekha
September 26, 2024 18:06 3m 7s main
main
September 26, 2024 18:06 3m 7s
Only run the distribute tests on main/ Tool #4796: Commit e317e98 pushed by pavpanchekha
September 26, 2024 18:04 3m 3s only-distribute-on-main
only-distribute-on-main
September 26, 2024 18:04 3m 3s
Merge pull request #993 from herbie-fp/fix-casts Tool #4795: Commit 8171fb9 pushed by pavpanchekha
September 26, 2024 17:11 3m 4s main
main
September 26, 2024 17:11 3m 4s
Merge remote-tracking branch 'origin/fix-casts' into flonum-platform Tool #4794: Commit 418fec5 pushed by JonasRegehr
September 26, 2024 16:56 2m 57s flonum-platform
flonum-platform
September 26, 2024 16:56 2m 57s
Also fix (!) annotations in variable declarations Tool #4793: Commit 2cabb9a pushed by pavpanchekha
September 26, 2024 16:43 3m 48s fix-casts
fix-casts
September 26, 2024 16:43 3m 48s
Fmt Tool #4792: Commit 7895ea6 pushed by pavpanchekha
September 26, 2024 16:31 3m 5s fix-casts
fix-casts
September 26, 2024 16:31 3m 5s
Fix programs with casts and ! annotations Tool #4791: Commit 94bfd84 pushed by pavpanchekha
September 26, 2024 16:28 3m 5s fix-casts
fix-casts
September 26, 2024 16:28 3m 5s
Merge pull request #992 from herbie-fp/fmt-tweaks Tool #4790: Commit 3aeb648 pushed by pavpanchekha
September 26, 2024 15:45 3m 25s main
main
September 26, 2024 15:45 3m 25s
Merge pull request #987 from herbie-fp/artem-batch-egg-input Tool #4789: Commit f998550 pushed by pavpanchekha
September 26, 2024 15:42 3m 24s main
main
September 26, 2024 15:42 3m 24s
added inverse rules Tool #4788: Commit 1c2de9d pushed by JJponce0913
September 26, 2024 09:51 2m 2s add-inverses
add-inverses
September 26, 2024 09:51 2m 2s
stuff Tool #4787: Commit 299389e pushed by bhargavkulk
September 26, 2024 02:11 3m 12s bhargav-log-space
bhargav-log-space
September 26, 2024 02:11 3m 12s
a little time saving where expr doesn't need to be pushed Tool #4786: Commit ac7e6d0 pushed by AYadrov
September 25, 2024 22:21 3m 17s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 25, 2024 22:21 3m 17s
Type-checking logic added Tool #4785: Commit 3a50b18 pushed by varun10p
September 25, 2024 22:12 2m 12s varun10p-identities
varun10p-identities
September 25, 2024 22:12 2m 12s
batchified reconstruct Tool #4784: Commit 30a022e pushed by AYadrov
September 25, 2024 22:09 3m 22s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 25, 2024 22:09 3m 22s
bug Tool #4783: Commit a80a0a7 pushed by AYadrov
September 25, 2024 18:08 2m 53s artem-batch-finish-rewrite
artem-batch-finish-rewrite
September 25, 2024 18:08 2m 53s