Skip to content

Actions: herbie-fp/rival

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
465 workflow runs
465 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

a better solution for bigfloat disc Unit Tests #633: Commit 7dcae5b pushed by AYadrov
November 22, 2024 23:40 1m 36s no-max-iters
no-max-iters
November 22, 2024 23:40 1m 36s
bigfloat-discretization fix for the correct roundings equal to 0 Unit Tests #632: Commit ca67e4c pushed by AYadrov
November 22, 2024 23:33 1m 35s no-max-iters
no-max-iters
November 22, 2024 23:33 1m 35s
maybe we want baseline to truly try 32256bits of precision for the la… Unit Tests #631: Commit e10c46d pushed by AYadrov
November 22, 2024 22:43 2m 21s no-max-iters
no-max-iters
November 22, 2024 22:43 2m 21s
bug related to overflows/underflows and lower bound Unit Tests #630: Commit 7e398e5 pushed by AYadrov
November 22, 2024 22:15 1m 33s no-max-iters
no-max-iters
November 22, 2024 22:15 1m 33s
an expensive way to find underflow/overflow Unit Tests #629: Commit f06ccf6 pushed by AYadrov
November 22, 2024 00:13 1m 32s no-max-iters
no-max-iters
November 22, 2024 00:13 1m 32s
formula change for pow, + cheaper slack for overflows Unit Tests #628: Commit 2c872fd pushed by AYadrov
November 21, 2024 21:08 1m 44s no-max-iters
no-max-iters
November 21, 2024 21:08 1m 44s
earlier early-stopping Unit Tests #627: Commit e3b9506 pushed by AYadrov
November 20, 2024 23:01 1m 44s no-max-iters
no-max-iters
November 20, 2024 23:01 1m 44s
slack propagation for overflowing operations Unit Tests #626: Commit e7f9d10 pushed by AYadrov
November 20, 2024 22:48 1m 47s no-max-iters
no-max-iters
November 20, 2024 22:48 1m 47s
Initial commit! Unit Tests #625: Commit 2a0919c pushed by AYadrov
November 19, 2024 20:38 1m 40s no-max-iters
no-max-iters
November 19, 2024 20:38 1m 40s
merged mai Unit Tests #624: Commit 9beab63 pushed by AYadrov
November 19, 2024 19:23 1m 35s ampl-lower-bound
ampl-lower-bound
November 19, 2024 19:23 1m 35s
Merge pull request #84 from herbie-fp/moving-exponent-tricks Unit Tests #623: Commit 20d1b17 pushed by AYadrov
November 19, 2024 19:10 1m 34s main
main
November 19, 2024 19:10 1m 34s
useless file Unit Tests #622: Commit 628fdd1 pushed by AYadrov
November 19, 2024 18:25 1m 37s ampl-lower-bound
ampl-lower-bound
November 19, 2024 18:25 1m 37s
returned 2 benchmarks where Sollya produced wrong results Unit Tests #621: Commit ad62ae1 pushed by AYadrov
November 19, 2024 18:21 1m 33s ampl-lower-bound
ampl-lower-bound
November 19, 2024 18:21 1m 33s
added minlog ifx Unit Tests #620: Commit d57c798 pushed by AYadrov
November 19, 2024 18:04 1m 47s ampl-lower-bound
ampl-lower-bound
November 19, 2024 18:04 1m 47s
merged main Unit Tests #619: Commit c5ea268 pushed by AYadrov
November 18, 2024 23:36 1m 44s ampl-lower-bound
ampl-lower-bound
November 18, 2024 23:36 1m 44s
we do not need to store repeats infro for baseline Unit Tests #618: Commit 76f53fe pushed by AYadrov
November 18, 2024 22:51 1m 48s ampl-lower-bound
ampl-lower-bound
November 18, 2024 22:51 1m 48s
CI fix Unit Tests #617: Commit 6bbf73c pushed by AYadrov
November 18, 2024 22:40 1m 45s ampl-lower-bound
ampl-lower-bound
November 18, 2024 22:40 1m 45s
a possible CI fix Unit Tests #616: Commit eeadfd5 pushed by AYadrov
November 18, 2024 22:34 55s ampl-lower-bound
ampl-lower-bound
November 18, 2024 22:34 55s
raco fmt on everything Unit Tests #615: Commit 7a86cd2 pushed by AYadrov
November 18, 2024 22:11 46s ampl-lower-bound
ampl-lower-bound
November 18, 2024 22:11 46s
moved tricks to a separate file Unit Tests #614: Commit 04d5096 pushed by AYadrov
November 18, 2024 22:04 1m 46s moving-exponent-tricks
moving-exponent-tricks
November 18, 2024 22:04 1m 46s
not a bug but why not to include exit points for density plot Unit Tests #613: Commit 381b43b pushed by AYadrov
November 18, 2024 21:51 43s ampl-lower-bound
ampl-lower-bound
November 18, 2024 21:51 43s
bug...... Unit Tests #612: Commit 048342d pushed by AYadrov
November 18, 2024 21:26 41s ampl-lower-bound
ampl-lower-bound
November 18, 2024 21:26 41s
rival-machine-adjust function cleanup Unit Tests #611: Commit ab0f0bf pushed by AYadrov
November 18, 2024 21:24 1m 2s ampl-lower-bound
ampl-lower-bound
November 18, 2024 21:24 1m 2s
a little plot tweak for repeats that have not been pushed Unit Tests #610: Commit c259eb0 pushed by AYadrov
November 15, 2024 19:52 52s ampl-lower-bound
ampl-lower-bound
November 15, 2024 19:52 52s
Merge pull request #83 from herbie-fp/exact-zero Unit Tests #609: Commit eaf4d9d pushed by pavpanchekha
November 15, 2024 19:44 1m 35s main
main
November 15, 2024 19:44 1m 35s