firtool-1.95.0

What's Changed

• [RTG] Add set type and operations by @maerhart in #7848
• [RTG] Add op and type visitors by @maerhart in #7855
• [HWToBTOR2] Use APInt value directly in constant generation by @TaoBi22 in #7853
• [HWToBTOR2] Avoid duplicating initial consts by @TaoBi22 in #7854
• [SeqToSV] Do not use always_ff for compreg with initializer by @fzi-hielscher in #7838
• [NFC] Output unused test results to /dev/null by @fzi-hielscher in #7859
• [SCFToCalyx] buildLibraryBinaryPipeOp source operation result replacement by @jiahanxie353 in #7862
• [ImportVerilog]: Create variables for function arguments by @Max-astro in #7829
• [NFCI][HWToBTOR2] Avoid running HWToBTOR2 pass in parallel by @fzi-hielscher in #7864
• [FIRRTL] Lower firrtl.formal to verif.formal by @fabianschuiki in #7836
• [Handshake][Python] Add Python bindings for Handshake by @teqdruid in #7846
• [Verif] Make verif.formal parameters an ODS property by @fabianschuiki in #7867
• [circt-test] Add runner for circt-bmc by @fabianschuiki in #7857
• [HandshakeToDC] Implement ESIInstanceOp lowering by @teqdruid in #7871
• Bump LLVM to 3cc852ece438a63e7b09d1c84a81d21598454e1a. by @mikeurbach in #7847
• [HWToBTOR2] Error on variadic ops (for now) by @TaoBi22 in #7866
• [SMT] Add push/pop operations by @TaoBi22 in #7865
• [SMT] Add SMTLIB export for push & pop operations by @TaoBi22 in #7873
• [SMT] Add integration tests for smt.reset by @TaoBi22 in #7874
• [FIRRTL] Dedup: dedup private modules into public ones by @youngar in #7877
• [FIRRTL] LowerTypes: Manually compact newArgs vector by @rwy7 in #7869
• [FIRRTL] Rewrite, extend CheckLayers for GC Views by @seldridge in #7879
• [FIRRTL] FoldRegMems: insert new ops into same block as memory by @rwy7 in #7868

New Contributors

• @Max-astro made their first contribution in #7829

Full Changelog: firtool-1.94.0...firtool-1.95.0