firtool-1.95.0
seldridge
released this
23 Nov 07:19
·
163 commits
to main
since this release
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