Max Depth:

Bug 419 depends on one bug:

view as bug list

•    419: MUL pipeline formal proof needed [RESOLVED FIXED; assigned to kc5tja]
  •    482: mul ok and ov must not be unconditionally set [RESOLVED FIXED; assigned to lkcl]

Bug 419 blocks 11 bugs:

view as bug list

•    419: MUL pipeline formal proof needed [RESOLVED FIXED; assigned to kc5tja]
  •    195: Formal correctness framework is needed for Power ISA [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]
  •    323: create POWER9 MUL pipeline [RESOLVED FIXED; assigned to programmerjake]
    •    383: Complete first functional POWER9 Core [RESOLVED FIXED; assigned to lkcl]
      •    443: Bperm optimization [DEFERRED; assigned to lkcl]
      •    698: ls180 ASIC test tasks [CONFIRMED; assigned to lkcl]
      •    961: NLnet 2022 Libre-SOC "ongoing" milestone 2022-08-107 (approved, MoU signed, waiting countersignature) [CONFIRMED; assigned to lkcl]
        •    938: All NLnet and NGI Grant Milestones [CONFIRMED; assigned to lkcl] (*)
      •    175: NLNet 2019 Wishbone proposal 2019-10-043 [RESOLVED FIXED; assigned to lkcl]
        •    938: All NLnet and NGI Grant Milestones [CONFIRMED; assigned to lkcl] (*)

Max Depth:

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