Max Depth:

Bug 332 does not depend on any bugs.

Bug 332 blocks 11 bugs:

view as bug list

•    332: Formal correctness proof needed for CR pipeline [RESOLVED FIXED; assigned to mtnolan2640]
  •    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]
  •    314: Create POWER9 Condition Register pipeline [RESOLVED FIXED; assigned to mtnolan2640]
    •    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]