firtool-1.136.0

What's Changed

• [LLHD] Allow multiple layers of inlined functions to be followed by the same op by @georgerennie in #9119
• [Comb] Integer Overflow Analysis by @cowardsa in #9130
• [FIRRTL] Various reduction pattern tweaks by @fabianschuiki in #9132
• [Moore] [1/4] Implement ClassHandleType, ClassDeclarationOp by @Scheremo in #9133
• [Moore] [2/4] Implement new operator by @Scheremo in #9134
• Move to OpTy::create, OpBuilder::create is deprecated. by @dtzSiFive in #9142
• [ImportVerilog] Use initializer list for Cases, fix deprecation. by @dtzSiFive in #9143
• [Moore] [3/4] Implement class member access, upcast by @Scheremo in #9135
• [MooreToCore] Create implicit zero value for real variables by @fabianschuiki in #9147
• [Comb] Fix another recursive mux canonicalizer by @TaoBi22 in #9144
• [circt-bmc] add verif.formal support by @TaoBi22 in #9145
• [FIRRTL] Remove dead annotations relating to taps and blackboxes. by @dtzSiFive in #9146
• [FIRRTL] Remove GC DataTaps, unused upstream. by @dtzSiFive in #9149
• [Moore] Make names of constant ops more uniform by @fabianschuiki in #9148
• [Moore] [4/4] Implement direct class method calls by @Scheremo in #9136
• [FIRRTL] Remove internalPaths from IR. Drop ref statements. by @dtzSiFive in #9154
• Reland "[Moore] Implement direct class method calls" by @Scheremo in #9156
• [ImportVerilog] Fix capture callback chaining by @Scheremo in #9165
• [Bug][ImportVerilog] [1/2] Add support for class method forward decls by @Scheremo in #9158
• [ImportVerilog] [2/2] Add support to materialize ctor call on new call by @Scheremo in #9159
• [ImportVerilog] Add support for specialized parametric classes by @Scheremo in #9161
• [ImportVerilog][Moore] Add len string builtin by @TaoBi22 in #9163
• [HWToSMT] Add option to assert equalities over module outputs by @TaoBi22 in #9162
• [HWToBTOR2] Add support for (most) variadic ops by @TaoBi22 in #9155
• [NFC] Change name in BTOR2 test by @TaoBi22 in #9168

New Contributors

• @georgerennie made their first contribution in #9119

Full Changelog: firtool-1.135.0...firtool-1.136.0