Skip to content

Actions: herbie-fp/rival

Actions

Unit Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
398 workflow runs
398 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump library version to 2.2 to reflect hint functions Unit Tests #833: Commit 236c9fc pushed by pavpanchekha
2m 5s rival-analyze-with-hints
rival-analyze-with-hints
2m 5s
deduplication Unit Tests #832: Commit 7e8f92f pushed by AYadrov
1m 41s rival-analyze-with-hints
rival-analyze-with-hints
1m 41s
unit tests fix Unit Tests #831: Commit 809deb9 pushed by AYadrov
2m 15s rival-analyze-with-hints
rival-analyze-with-hints
2m 15s
rival-analze-with-hints Unit Tests #830: Commit 52fce28 pushed by AYadrov
1m 57s rival-analyze-with-hints
rival-analyze-with-hints
1m 57s
check whether endpoints are equal in the working precision Unit Tests #829: Commit 864c936 pushed by AYadrov
1m 43s pow-neg-bug
pow-neg-bug
1m 43s
Merge pull request #115 from herbie-fp/fix-110 Unit Tests #828: Commit 4274cfb pushed by pavpanchekha
1m 55s main
main
1m 55s
Reorganize documentation of guarantees Unit Tests #827: Commit d10bece pushed by pavpanchekha
1m 40s fix-110
fix-110
1m 40s
Merge pull request #114 from herbie-fp/fix-112 Unit Tests #826: Commit 6b4492a pushed by pavpanchekha
1m 38s main
main
1m 38s
Document interval library guarantees Unit Tests #825: Commit 8e845f8 pushed by pavpanchekha
1m 31s fix-110
fix-110
1m 31s
fmt Unit Tests #824: Commit c40cad2 pushed by pavpanchekha
1m 33s fix-110
fix-110
1m 33s
Document that ival-fmod and ival-remainder fail refinement Unit Tests #823: Commit 87e6396 pushed by pavpanchekha
50s fix-110
fix-110
50s
bug? Unit Tests #822: Commit 198b342 pushed by AYadrov
2m 1s fix-112
fix-112
2m 1s
bugstergit add *! Unit Tests #821: Commit 427dca3 pushed by AYadrov
2m 0s fix-112
fix-112
2m 0s
angle of cosu, sinu tanu also needs to be participating in the tuning Unit Tests #820: Commit 73fdc9a pushed by AYadrov
1m 47s fix-112
fix-112
1m 47s
Merge pull request #113 from herbie-fp/fix-110 Unit Tests #819: Commit a0cda9e pushed by pavpanchekha
2m 7s main
main
2m 7s
fmt Unit Tests #818: Commit 5a3b5a2 pushed by pavpanchekha
1m 32s fix-110
fix-110
1m 32s
Add check info so failing tests can be debugged Unit Tests #817: Commit bae6039 pushed by pavpanchekha
1m 6s fix-110
fix-110
1m 6s
Fix #110; the 0 returned by ival-abs is too-high-precision Unit Tests #816: Commit 75adab7 pushed by pavpanchekha
1m 40s fix-110
fix-110
1m 40s
added tuning formulas for sinu,cosu,tanu Unit Tests #815: Commit 88bce75 pushed by AYadrov
1m 46s fix-112
fix-112
1m 46s
using more vectors instead of lists for faster info access Unit Tests #814: Commit dbfc4fe pushed by AYadrov
1m 43s maxlog-minlog-at-once
maxlog-minlog-at-once
1m 43s
more optimizations Unit Tests #813: Commit ad4e348 pushed by AYadrov
1m 35s maxlog-minlog-at-once
maxlog-minlog-at-once
1m 35s
Merge pull request #109 from herbie-fp/fix-105 Unit Tests #812: Commit 4e74d29 pushed by pavpanchekha
3m 14s main
main
3m 14s
really good optimizations Unit Tests #811: Commit 2159334 pushed by AYadrov
1m 35s maxlog-minlog-at-once
maxlog-minlog-at-once
1m 35s
To help with testing other things in the future Unit Tests #810: Commit daf522b pushed by pavpanchekha
1m 40s fix-105
fix-105
1m 40s
Fix incorrect handling of near-underflows in ival-pow Unit Tests #809: Commit 465029c pushed by pavpanchekha
1m 43s fix-105
fix-105
1m 43s