Max Depth:

Bug 835 does not depend on any bugs.

Bug 835 blocks 11 bugs:

view as bug list

•    835: add support for smtlib2 floating-point to yosys and nmigen [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]
  •    196: Formal correctness proof needed for the IEEE754 FPU [RESOLVED FIXED; assigned to lkcl] (*)
  •    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] (*)
  •    874: Implementation and Formal verification of fadd for all rounding modes but without exception flags/traps [RESOLVED FIXED; assigned to programmerjake]
    •    868: Formal verification of fadd/fsub [IN_PROGRESS; assigned to programmerjake] (*)
  •    876: Implement and Add Formal Proof for fsub in the fpadd pipeline [RESOLVED FIXED; assigned to programmerjake]
    •    868: Formal verification of fadd/fsub [IN_PROGRESS; assigned to programmerjake] (*)
  •    877: implementation and formal correctness proof for fp fused-mul-add pipeline excluding ieee754 exception flags [RESOLVED FIXED; assigned to programmerjake]
    •    196: Formal correctness proof needed for the IEEE754 FPU [RESOLVED FIXED; assigned to lkcl] (*)
  •    883: add cvc5 and bitwuzla to hdl-yosys-tools [RESOLVED FIXED; assigned to veerakumar.r]

Max Depth:

• • Home
  • | New
  • | Browse
  • | Search
  • |
    [?]
  • | Reports
  • | Help
  • | Log In
    [x]
  • | Forgot Password
    Login: [x]