Max Depth:

Bug 418 depends on one bug:

view as bug list

•    418: SPR pipeline formal correctness proof needed [RESOLVED FIXED; assigned to kc5tja]
  •    429: pipeline main_stage formal verification does not check ctx fields fully [CONFIRMED; assigned to kc5tja]

Bug 418 blocks 12 bugs:

view as bug list

•    418: SPR pipeline formal correctness 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]
  •    315: SPR Pipeline needed [RESOLVED DUPLICATE; assigned to lkcl]
    •    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] (*)
  •    348: POWER9 SPR pipeline needed [RESOLVED FIXED; assigned to lkcl]
    •    383: Complete first functional POWER9 Core [RESOLVED FIXED; assigned to lkcl] (*)
  •    383: Complete first functional POWER9 Core [RESOLVED FIXED; assigned to lkcl] (*)

Max Depth:

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