Skip to content

Actions: herbie-fp/rival

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
522 workflow runs
522 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added distribute jobs Unit Tests #688: Commit 1dcbcc3 pushed by AYadrov
January 18, 2025 01:40 1m 28s rival-distribution
rival-distribution
January 18, 2025 01:40 1m 28s
renamed distribute to distrbution to match herbies makefile Unit Tests #687: Commit 43006a4 pushed by AYadrov
January 16, 2025 20:52 1m 26s rival-distribution
rival-distribution
January 16, 2025 20:52 1m 26s
adding distribute rule to makefile Unit Tests #686: Commit 35c1c65 pushed by AYadrov
January 16, 2025 20:52 1m 29s rival-distribution
rival-distribution
January 16, 2025 20:52 1m 29s
Merge pull request #88 from herbie-fp/repl-boolean-fix Unit Tests #685: Commit da4c859 pushed by AYadrov
January 16, 2025 20:49 1m 34s rival-distribution
rival-distribution
January 16, 2025 20:49 1m 34s
Merge pull request #88 from herbie-fp/repl-boolean-fix Unit Tests #684: Commit da4c859 pushed by AYadrov
January 15, 2025 19:25 1m 42s main
main
January 15, 2025 19:25 1m 42s
changing error to raise-user-error Unit Tests #683: Commit 67cb122 pushed by AYadrov
January 15, 2025 01:11 1m 32s repl-boolean-fix
repl-boolean-fix
January 15, 2025 01:11 1m 32s
evaluable flag added Unit Tests #682: Commit 649ccea pushed by AYadrov
January 15, 2025 01:02 1m 40s interval-precision-bound
interval-precision-bound
January 15, 2025 01:02 1m 40s
Update repl.rkt Unit Tests #681: Commit af36426 pushed by AYadrov
January 15, 2025 00:21 1m 28s repl-boolean-fix
repl-boolean-fix
January 15, 2025 00:21 1m 28s
Merge pull request #86 from herbie-fp/additional-optimizations Unit Tests #680: Commit b96cb56 pushed by AYadrov
January 15, 2025 00:20 1m 36s repl-boolean-fix
repl-boolean-fix
January 15, 2025 00:20 1m 36s
unit tests fix Unit Tests #679: Commit 11384f4 pushed by AYadrov
January 11, 2025 01:44 1m 39s interval-precision-bound
interval-precision-bound
January 11, 2025 01:44 1m 39s
rival-analyze can say whether the hyperrect is evaluable at the max p… Unit Tests #678: Commit 1478623 pushed by AYadrov
January 11, 2025 00:19 1m 29s interval-precision-bound
interval-precision-bound
January 11, 2025 00:19 1m 29s
less memory movement for the first rival iteration Unit Tests #677: Commit 19151be pushed by AYadrov
January 11, 2025 00:03 1m 41s interval-precision-bound
interval-precision-bound
January 11, 2025 00:03 1m 41s
precision propogation in rival-analyze Unit Tests #676: Commit 25fd0e3 pushed by AYadrov
January 10, 2025 22:38 1m 49s interval-precision-bound
interval-precision-bound
January 10, 2025 22:38 1m 49s
introduced some threshold value for unit tests that rival should pass Unit Tests #675: Commit 3a8b855 pushed by AYadrov
January 10, 2025 01:18 1m 39s min-max-optimizations
min-max-optimizations
January 10, 2025 01:18 1m 39s
less allocation in run.rkt Unit Tests #674: Commit b2af4c8 pushed by AYadrov
January 9, 2025 23:55 1m 39s min-max-optimizations
min-max-optimizations
January 9, 2025 23:55 1m 39s
unit tests update for rivals hint to verify automatically that the in… Unit Tests #673: Commit 9976e64 pushed by AYadrov
January 9, 2025 23:52 2m 34s min-max-optimizations
min-max-optimizations
January 9, 2025 23:52 2m 34s
emperical evaluation of skipped instructions for unit tests in main.rkt Unit Tests #672: Commit 9a1db61 pushed by AYadrov
January 9, 2025 23:41 1m 48s min-max-optimizations
min-max-optimizations
January 9, 2025 23:41 1m 48s
added hint for assert function Unit Tests #671: Commit af8950d pushed by AYadrov
January 9, 2025 22:54 1m 57s min-max-optimizations
min-max-optimizations
January 9, 2025 22:54 1m 57s
hint is added as a field of rival-machine Unit Tests #670: Commit 646f266 pushed by AYadrov
January 9, 2025 21:37 1m 51s min-max-optimizations
min-max-optimizations
January 9, 2025 21:37 1m 51s
oops, unit tests fix Unit Tests #669: Commit 145d410 pushed by AYadrov
January 9, 2025 01:11 1m 36s min-max-optimizations
min-max-optimizations
January 9, 2025 01:11 1m 36s
change of contract + return value for rival-analyze (temporarily Unit Tests #668: Commit 757f9be pushed by AYadrov
January 9, 2025 00:54 1m 44s min-max-optimizations
min-max-optimizations
January 9, 2025 00:54 1m 44s
quite obvious bug Unit Tests #667: Commit 4b2080d pushed by AYadrov
January 9, 2025 00:18 1m 47s min-max-optimizations
min-max-optimizations
January 9, 2025 00:18 1m 47s
restoring rival-profile Unit Tests #666: Commit 5fe3f68 pushed by AYadrov
January 8, 2025 23:57 1m 34s min-max-optimizations
min-max-optimizations
January 8, 2025 23:57 1m 34s
contract change for rival-analyze including completeness flag Unit Tests #665: Commit 936c72f pushed by AYadrov
January 8, 2025 23:55 1m 45s min-max-optimizations
min-max-optimizations
January 8, 2025 23:55 1m 45s
the boog with backward pass + hint has been found Unit Tests #664: Commit 1445846 pushed by AYadrov
January 8, 2025 23:53 1m 48s min-max-optimizations
min-max-optimizations
January 8, 2025 23:53 1m 48s