Discrepancy/Bug in the comparison operation
Nobody has claimed this yet.
Assessment
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Newbie friendliness
- 25/100
Research direction
Start with the fNTorecFN module and the JasperGold snapshot described in the issue, then compare a.out and b.out with the testbench's a and b values. Done means determining why unequal double-precision inputs become identical after recoding and preserving the expected inequality.
Written by the indexing model from the issue text.
Description
We suspect a possible bug in the reconversion module for double-precision inputs. The bug appears to be in the fNTorecFN module. The two inputs an and b that are being compared in the attached JasperGold snapshot are not equal, and our testbench also computes that they are not equal. However, the reconversion (recoded) module appears to make them identical after the recoding. We were expecting to see a.out and b.out to mirror a and b in terms of staying unequal.
- Dominant language
- Scala
- Stars
- 393
- Forks
- 110
- PR merge metrics
- No merged PRs in 30d
Getting set up
This project ships no dev container, Dockerfile or contributing guide, so setting up is up to you: start from its README, and see our first-contribution guide for the general steps.
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from ucb-bar/berkeley-hardfloat
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
ucb-bar/berkeley-hardfloat#84 · 1 comment ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 25/100
ucb-bar/berkeley-hardfloat#77 · 2 comments ·
-
Difficulty 1/5 Under an hour Newbie friendliness 50/100
-
sbt test failOpen
Difficulty 3/5 1-2 days Newbie friendliness 25/100
ucb-bar/berkeley-hardfloat#62 · 1 comment ·
-
Difficulty 3/5 1-2 days Newbie friendliness 25/100
ucb-bar/berkeley-hardfloat#59 · 1 comment ·
All issues in ucb-bar/berkeley-hardfloat
Similar issues
-
arrays_zip with two same-named inputs fails with "ArrowArray struct has 2 children (expected 1)"Openbug requires-triage
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
apache/datafusion-comet#6251 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
lichess-org/lila#21826 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 62/100
apache/texera#8682 · 4 comments ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 85/100
diffplug/spotless#3099 · 1 reaction ·
Maintainers usually reply within 1 day
-
x:action/improve x:size/tiny x:type/content
Difficulty 1/5 1-3 hours Newbie friendliness 88/100
Maintainers usually reply within 1 day