Firtool Release 1.43.0

What's Changed

• [DC] Add canonicalization patterns by @mortbopet in #5158
• [circt-lec] Clean up z3 includes by @rwy7 in #5186
• [FIRRTL] Export named references as macros to Verilog files by @trilorez in #5180
• [Arc] Change MemoryWritePortOp to also take an arc by @maerhart in #5166
• [Arc] Add ArcCanonicalizer pass by @maerhart in #5196
• [arcilator] Convenience flag for printing debug info by @maerhart in #5199
• [Arc] Simulation specific optimization for comb.icmp by @maerhart in #5198
• [Arc] Merge RemoveArcArgsPattern into ArcCanonicalizer by @maerhart in #5200
• [Arc] SinkInputs: update to CallOpMutableInterface and merge into ArcCanonicalizer by @maerhart in #5201
• [OM] Add initial implementation of Evaluator. by @mikeurbach in #5193
• [FIRRTL] Add a type interface for querying phase compatibility by @rwy7 in #5206
• [FIREmitter] Support Open aggregates, RefSubOp by @dtzSiFive in #5179
• [FIRRTL] Handle flips in const connections by @trilorez in #5210
• [DC] Add fork/sink materialization passes by @mortbopet in #5159
• [LowerSeqToSV] Fix a dominance bug when restoring subaccess by @uenoku in #5215
• [DC] Address canonicalizer review comments by @mortbopet in #5212
• Add StringType to FIRRTL dialect by @rwy7 in #5208
• [SV] Add lowering option to emit separate always blocks by @nandor in #5211
• [FIRRTL] Const handling in cast ops by @trilorez in #5151
• [WireDFT] Add support for wiring optional clock div bypass signal. by @dtzSiFive in #5219
• [NFC][ESI][C++ API] Cleaning up more references to 'cosim' by @teqdruid in #5227
• Bump LLVM by @girishpai in #5228
• [DC] Add merge operation by @mortbopet in #5213
• [HandshakeToDC] Add conversion by @mortbopet in #5214
• [Seq][HW] Add a macro to enable register initializers by @nandor in #5222
• [ExportVerilog] Fix formatting involving macro definition. by @dtzSiFive in #5232
• [FIRRTL][LowerXMR] Use ABI for refs when no internal path info. by @dtzSiFive in #5229
• [FIRRTL] Reject ref statements for some ports but not all. by @dtzSiFive in #5233
• [OM] Add a symbol reference attribute by @prithayan in #5230
• [CI] Add runs with Valgrind to CI by @nandor in #5085
• [HW][SV] Allow control of initial blocks setting memories by @nandor in #5237
• [OM] Add helper builders for OM ops by @prithayan in #5244
• [firtool] Separated firtool pipeline setup into a library by @nandor in #5241
• [HWCleanUp] Don't fuse always_comb by @uenoku in #5175
• [SystemC] integration tests: avoid compile_commands.json in clang-tidy. by @dtzSiFive in #5239
• [CI] Add macos wheels by @rsetaluri in #5249
• [LowerSeqToSV] Remove Vivado workaround by @uenoku in #5245
• [OM] Add initial CAPI for OM dialect Evaluator. by @mikeurbach in #5248
• [circt-lec] Move circt-lec files to CIRCT library by @TaoBi22 in #4544
• [FIRRTL] Make emit-metadata a mlir::ModuleOp pass by @prithayan in #5247
• [OM] Add initial Python API for OM dialect evaluator. by @mikeurbach in #5250
• [FIRParser] Support keywords and literal identifiers as static ref exprs. by @dtzSiFive in #5252
• Bump LLVM by @uenoku in #5251
• [CMake] Require cmake >= 3.23 but only on capnp builds by @teqdruid in #5243
• [IMDCE] Remove dead hierpath and annotations in IMDCE by @uenoku in #5226
• [PrefixModules] Rename references from the module body by @nandor in #5259
• Make Z3 a transitive dependency of CIRCTLogicalEquivalence by @rwy7 in #5261
• [FIRRTL] DropConst pass by @trilorez in #5152
• [cmake] Gate FILE_SET commands on CAPNP by @teqdruid in #5265
• [FIRParser] Add support for enumeration types and match statements by @youngar in #5116
• [Arc] Improve icmp canonicalization pattern by @maerhart in #5266
• Remove explicit phase annotations by @rwy7 in #5262
• [Python] Enable release tag by @rsetaluri in #5254
• Move from defunct codeowners to GitHub CODEOWNERS. by @dtzSiFive in #5269
• [CI] Migrate from set-output to using environment files. by @dtzSiFive in #5267
• [CI] Update github actions for checkout, cache: v2 -> v3 by @dtzSiFive in #5268
• [CI] Update upload-artifact action v2 -> v3, already using in other flows. by @dtzSiFive in #5271
• Force all XMRRefs to go through hierpath by @darthscsi in #5220
• Add LTL and Verif dialects by @fabianschuiki in #5255
• [ExportVerilog] Add LTL and Verif dialect support by @fabianschuiki in #5256
• Move cocotb driver to separate tool by @mortbopet in #5279
• [FIRRTL] Tweak naming by @darthscsi in #5288
• [OM] Use custom CAPI wrappers for Object. by @mikeurbach in #5275
• [OM] Add Python support for Objects in Fields. by @mikeurbach in #5276
• [FIRRTL][ExpandWhens] Fix performance with large blocks by @youngar in #5293
• [IMCP] Mark overdefined for the operations with large number of operands by @uenoku in #5291
• [OM] Add a string type by @uenoku in #5277
• [OM] Add a list type and attribute by @uenoku in #5280
• [FIRRTL] Donot create empty InnerSym name by @prithayan in #5301
• [FIRRTL][ModuleInliner] Donot create empty inner sym by @prithayan in #5302
• [Pipeline] Add pipeline.stage op and rename others accordingly by @mortbopet in #5246
• [PipelineToHW] Rework hardware lowering by @mortbopet in #5234
• [LowerSeqToSV] Make createTree iterative, NFCI by @uenoku in #5303
• [FIRRTL] Const parsing, emitting, and prim ops by @trilorez in #5153
• [Pipeline] Fix constant copying in StageSeparatorToStage by @mortbopet in #5308
• [Arc] Pull value definitions into reset/enable IfOps where possible by @TaoBi22 in #5188
• [OM] Add ClassOp builders by @prithayan in #5283
• [Verif] Add assert/assume/cover labels by @fabianschuiki in #5306
• [OM] Create OM Nodes for metadata by @prithayan in #5224
• [FIRRTL][InferWidths] Make solveExpr Iterative by @prithayan in #5305
• [comb] Minor correction to comb.icmp td docs by @TaoBi22 in #5304

New Contributors

• @girishpai made their first contribution in #5228

Full Changelog: firtool-1.42.0...firtool-1.43.0