firtool-1.70.0

What's Changed

• [SMT] Add declare_const, assert, solver, and check operations by @maerhart in #6806
• [SMT] Add comparison operations by @maerhart in #6807
• [SMT] Add concat, extract, repeat operations by @maerhart in #6813
• [SMT] Add boolean logic operations by @maerhart in #6814
• [SMT] Add HWToSMT and CombToSMT conversion passes by @maerhart in #6815
• [SMT] Add constant boolean operation by @maerhart in #6825
• [Verif] Add LEC operation by @maerhart in #6832
• [CombToSMT] Add parity op support by @maerhart in #6837
• [SMT] Add integer constant and arithmetic operations by @maerhart in #6838
• [arcilator] Introduce integrated JIT for simulation execution by @Moxinilian in #6783
• [Emit] Copy fragments into modules created by ExtractTestCode by @nandor in #6843

Full Changelog: firtool-1.69.0...firtool-1.70.0