firtool-1.156.0

What's Changed

• [integration-test] NFC trailing whitespace cleanup by @seldridge in #10970
• [LTLToCore] implement clocked atom lowering by @Clo91eaf in #10921
• [AXI4] Add burst_set attribute by @TaoBi22 in #10955
• [BMC] Print counterexample traces from satisfying Z3 models by @5iri in #10932
• [Arc] Add Context type to Arc dialect by @fzi-hielscher in #10965
• [OM] String property for property_assert by @seldridge in #10969
• [Arc] Implement !arc.context inference by @fzi-hielscher in #10966
• [FIRRTL] String expression propassert message by @seldridge in #10971
• [Arc][LowerCoroutines][LowerProcesses] Use inferred context in Arc coroutines by @fzi-hielscher in #10973
• [BMC] Add PrepareForBMC pass by @5iri in #10974
• [AXI4] Add window attribute by @TaoBi22 in #10975
• [AXI4] Add window_set attribute by @TaoBi22 in #10976
• [Seq] Escape inner symbol names when printing by @AlexanderPortland in #10979
• Bump LLVM to 44a65223cc4ba384d231f33aa9121c3fef37d435. by @mikeurbach in #10985
• [OM] Address post-commit review of #10969 by @seldridge in #10986
• [ESI][Runtime] Fix read gearboxes for lists by @teqdruid in #10980
• [Probe] Add read-only probe dialect and HW port restrictions by @nanjo712 in #10818
• [LLHD][UnrollLoops] Unroll nested loops with dependent bounds by @fzi-haxel in #10984
• [DatapathToComb] Improve datapath lowering by using known bits before creating logic by @uenoku in #10933
• [AXI4] Add port type by @TaoBi22 in #10977
• [FIRRTL] Support both propassert message formats by @seldridge in #10994
• [firtool] Add -warn-on-truncation option by @seldridge in #10995

New Contributors

• @AlexanderPortland made their first contribution in #10979

Full Changelog: firtool-1.155.0...firtool-1.156.0