| .. |
|
AIGToComb
|
[AIGToComb] [circt-synth] Add a AIG to Comb conversion pass (#7742)
|
2024-10-29 14:15:41 +09:00 |
|
AffineToLoopSchedule
|
[LoopSchedule] Move PipelineWhile and Related Ops from Pipeline to LoopSchedule (#4947)
|
2023-04-18 11:56:07 -04:00 |
|
ArcToLLVM
|
Bump LLVM to 289b17635958d986b74683c932df6b1d12f37b70. (#8225)
|
2025-02-13 14:32:11 -07:00 |
|
CFToHandshake
|
[Handshake] `StandardToHandshake` -> `CFToHandshake` (#5938)
|
2023-08-25 09:24:26 +02:00 |
|
CalyxToFSM
|
[calyx] fix calyx canonicalization. (#7456)
|
2024-08-10 10:02:08 -04:00 |
|
CalyxToHW
|
Add emission for calyx std_signext (#6285)
|
2023-10-12 12:17:44 -04:00 |
|
CombToAIG
|
[circt-synth] Lower comb.add to Parallel-Prefix Adder (#8457)
|
2025-05-05 13:58:57 -07:00 |
|
CombToArith
|
[CombToArith] Fix coarsening of division by zero UB (#6945)
|
2024-05-06 15:59:36 +02:00 |
|
CombToSMT
|
[CombToSMT] Register dependency on func (#7098)
|
2024-05-28 21:46:54 +02:00 |
|
ConvertToArcs
|
[Seq][Arc] Allow seq.initial to take immutable operands. Add a cast operation (#7656)
|
2024-10-04 02:20:12 +09:00 |
|
DCToHW
|
[ESI] Move to somewhat more standard asm format (#8482)
|
2025-05-13 17:41:23 -07:00 |
|
ExportChiselInterface
|
[ExportChiselInterface] Support probe types (#5497)
|
2023-06-30 09:22:46 -06:00 |
|
ExportVerilog
|
[FIRRTL][SV] Add fflush operation (#8420)
|
2025-04-17 19:06:22 -07:00 |
|
FIRRTLToHW
|
[LowerToHW] Remove PRINTF_FD macro (#8432)
|
2025-04-26 21:02:53 +08:00 |
|
FSMToSV
|
[FSM][Emit] Convert the FSMToSV pass to use `emit` ops (#6828)
|
2024-03-19 19:30:02 +02:00 |
|
HWArithToHW
|
[HWArith] Fix lowering to HW with type aliases
|
2024-12-19 00:57:08 +00:00 |
|
HWToBTOR2
|
[HWToBTOR2] Fix incorrect le/ge predicate name emission (#8028)
|
2025-01-04 21:14:21 +00:00 |
|
HWToLLVM
|
Bump LLVM (#7223)
|
2024-06-26 13:19:37 -07:00 |
|
HWToSMT
|
[HWToSMT] Proper error message for 0-bit constants (#7727)
|
2024-10-24 17:37:03 +01:00 |
|
HWToSV
|
[NFC][HW] Fix parsing of nullary hw.triggered ops (#7291)
|
2024-07-09 17:51:03 +02:00 |
|
HWToSystemC
|
[HW] Change printer for modules (#6205)
|
2023-09-28 16:30:15 -05:00 |
|
HandshakeToDC
|
[HandshakeToDC] Fix a bug in the sync conversion pattern
|
2024-12-02 18:55:14 +00:00 |
|
HandshakeToHW
|
[Handshake] Adding func instance op for integration (#7812)
|
2024-11-15 12:00:40 -08:00 |
|
ImportVerilog
|
[Moore] Add `moore.string_cmp` op (#8447)
|
2025-05-01 08:54:38 -07:00 |
|
LTLToCore
|
[Seq][Arc] Allow seq.initial to take immutable operands. Add a cast operation (#7656)
|
2024-10-04 02:20:12 +09:00 |
|
LoopScheduleToCalyx
|
[NFC] fix test comment.
|
2025-01-10 08:55:35 -08:00 |
|
MooreToCore
|
[MooreToCore] Lower `moore.array_create` op (#8364)
|
2025-04-02 13:18:36 -07:00 |
|
PipelineToHW
|
[Pipeline] Make `reset` signal optional (#8104)
|
2025-01-23 14:15:50 +01:00 |
|
SCFToCalyx
|
[circt-opt][Calyx] Integrate the Math to `circt-opt` and lower `math.sqrt` to Calyx (#8475)
|
2025-05-11 13:02:19 -04:00 |
|
SMTToZ3LLVM
|
[LowerSMTToZ3LLVM] Change printf type provided to lookupOrCreateFn (#8327)
|
2025-03-19 10:21:05 +00:00 |
|
SeqToSV
|
[SeqToSV] Put fragments on hw.module.generated
|
2025-02-01 22:11:09 -05:00 |
|
SimToSV
|
SimToSV: Keep plusargs non-synth === under !SYNTHESIS block (#8478)
|
2025-05-15 16:13:22 -07:00 |
|
VerifToSMT
|
[circt-lec] Implement emit-smtlib functionality for circt-lec (#8497)
|
2025-05-22 15:26:10 +01:00 |
|
VerifToSV
|
[HW] Change printer for modules (#6205)
|
2023-09-28 16:30:15 -05:00 |
ba60fa5580