Dependency tree for Bug 869

Max Depth:

Bug 869 depends on one bug:

view as bug list

869: Formal verification of fadd for just round-nearest-ties-to-even without exception flags/traps [RESOLVED FIXED; assigned to programmerjake]
- 835: add support for smtlib2 floating-point to yosys and nmigen [RESOLVED FIXED; assigned to programmerjake]

Bug 869 blocks 6 bugs:

view as bug list

869: Formal verification of fadd for just round-nearest-ties-to-even without exception flags/traps [RESOLVED FIXED; assigned to programmerjake]
- 868: Formal verification of fadd/fsub [IN_PROGRESS; assigned to programmerjake]
  - 196: Formal correctness proof needed for the IEEE754 FPU [RESOLVED FIXED; assigned to lkcl]
    - 158: NLNet 2019 Formal Correctness Proofs toplevel 2019-10-032 [RESOLVED FIXED; assigned to 2019-10P]
      - 80: Formal Mathematical Proofs needed [CONFIRMED; assigned to lkcl]
        487: Canonical Root bug for budgeting purposes for the "Future" milestone [DEFERRED; assigned to lkcl]
      - 938: All NLnet and NGI Grant Milestones [CONFIRMED; assigned to lkcl]

Max Depth: