firtool-1.97.1

seldridge released this 07 Dec 01:23

· 103 commits to main since this release

cd02a73

What's Changed

[SMT] Require SolverOp parent for SetLogicOp by @TaoBi22 in #7950
[SMT] Add Z3 lowering for set_logic op by @TaoBi22 in #7930
[DC] Initial values were being ignored by @teqdruid in #7945

Full Changelog: firtool-1.97.0...firtool-1.97.1

Contributors

teqdruid and TaoBi22

Assets 20