firtool-1.89.0

What's Changed

• [Verif] Simplify the FormalOp by @fabianschuiki in #7691
• [Sim][NFC] Include InferTypeOpInterface in SimOps.td by @fabianschuiki in #7693
• [MooreToCore] Support assert, assume, cover ops by @mingzheTerapines in #7681
• [MooreToCore] Add support for format strings and display task by @fabianschuiki in #7694
• [ExtractInstances] Add the extract instances metadata to OM Classes by @prithayan in #7667
• [FIRRTL] collection of changes to InferWidths by @youngar in #7686
• [FIRRTL] InferWidths: fix invalid frame reference by @youngar in #7697
• [ArcToLLVM] Add support for index dialect by @fabianschuiki in #7699
• [Arc] Add arc.final op by @fabianschuiki in #7700
• [Arc] Make arc.model have an SSACFG region by @fabianschuiki in #7701
• Remove redundant CMakeLists.txt entry by @leonardt in #7696
• [FIRRTL][ProbesToSignals] RWProbe support by @dtzSiFive in #7706
• [Arc] Add dominance-aware pass to sink ops and merge scf.if ops by @fabianschuiki in #7702

Full Changelog: firtool-1.88.0...firtool-1.89.0