Yicheng Liu 331820d6d0 [circt-bmc] Support `seq.firreg` with sync reset (#8698) ... This adds support for seq.firreg with synchronous reset in ExternalizeRegistersPass.		2025-07-21 17:34:37 +01:00
..
circt-bmc	[circt-bmc] Support `seq.firreg` with sync reset (#8698)	2025-07-21 17:34:37 +01:00
circt-lec	[Verif][LEC] Make LECOp result optional to avoid unsafe conversion (#8701)	2025-07-14 20:30:30 +02:00
circt-verilog-lsp-server	[circt-verilog-lsp] Disable valgrind	2025-02-28 09:25:55 -05:00