.. |
AIGToComb
|
[AIGToComb] [circt-synth] Add a AIG to Comb conversion pass (#7742)
|
2024-10-29 14:15:41 +09:00 |
AffineToLoopSchedule
|
[SSP] Separate `ResourceType` from `OperatorType` (#8444)
|
2025-05-13 08:52:11 -04:00 |
ArcToLLVM
|
[LLVM] bump to f87109f018faad5f3f1bf8a4668754c24e84e886 (#8431)
|
2025-04-21 09:27:04 -04:00 |
CFToHandshake
|
[CMake] Consistently declare conversion libraries and simplify circt-opt link target list (#7610)
|
2024-09-19 20:35:45 +01:00 |
CalyxNative
|
[CMake] Consistently declare conversion libraries and simplify circt-opt link target list (#7610)
|
2024-09-19 20:35:45 +01:00 |
CalyxToFSM
|
[CMake] Consistently declare conversion libraries and simplify circt-opt link target list (#7610)
|
2024-09-19 20:35:45 +01:00 |
CalyxToHW
|
[CMake] Consistently declare conversion libraries and simplify circt-opt link target list (#7610)
|
2024-09-19 20:35:45 +01:00 |
CombToAIG
|
[circt-synth] Lower comb.add to Parallel-Prefix Adder (#8457)
|
2025-05-05 13:58:57 -07:00 |
CombToArith
|
[Pass] Remove unnecessary OperationPass<mlir::ModuleOp> (#8116)
|
2025-01-23 09:39:34 -08:00 |
CombToLLVM
|
[NFCI][Conversion] Refactor TableGen Pass includes (#7174)
|
2024-06-14 16:37:29 +02:00 |
CombToSMT
|
[LLVM] integrate upstream SMT (#8408)
|
2025-04-14 14:34:14 -04:00 |
ConvertToArcs
|
Bump LLVM to ebc7efbab5c58b46f7215d63be6d0208cb588192. (#8089)
|
2025-01-18 16:05:04 -07:00 |
DCToHW
|
[DC] Initial values were being ignored (#7945)
|
2024-12-06 18:24:35 -05:00 |
ExportChiselInterface
|
[NFCI][Conversion] Refactor TableGen Pass includes (#7174)
|
2024-06-14 16:37:29 +02:00 |
ExportVerilog
|
[FIRRTL][SV] Add fflush operation (#8420)
|
2025-04-17 19:06:22 -07:00 |
FIRRTLToHW
|
[LowerToHW] Emit an error when $fopen failed for FD lowering (#8511)
|
2025-05-22 14:44:10 -07:00 |
FSMToSV
|
[NFCI][Conversion] Refactor TableGen Pass includes (#7174)
|
2024-06-14 16:37:29 +02:00 |
HWArithToHW
|
[HWArith] Fix lowering to HW with type aliases
|
2024-12-19 00:57:08 +00:00 |
HWToBTOR2
|
Drop unneeded headers (#8433)
|
2025-04-22 07:46:35 -07:00 |
HWToLLVM
|
Bump LLVM (#7223)
|
2024-06-26 13:19:37 -07:00 |
HWToSMT
|
[LLVM] integrate upstream SMT (#8408)
|
2025-04-14 14:34:14 -04:00 |
HWToSV
|
[NFCI][Conversion] Refactor TableGen Pass includes (#7174)
|
2024-06-14 16:37:29 +02:00 |
HWToSystemC
|
[NFCI][Conversion] Refactor TableGen Pass includes (#7174)
|
2024-06-14 16:37:29 +02:00 |
HandshakeToDC
|
[DC] Initial values were being ignored (#7945)
|
2024-12-06 18:24:35 -05:00 |
HandshakeToHW
|
Bump LLVM to 3cc852ece438a63e7b09d1c84a81d21598454e1a. (#7847)
|
2024-11-21 20:15:27 -07:00 |
ImportVerilog
|
[Moore] Add `moore.string_cmp` op (#8447)
|
2025-05-01 08:54:38 -07:00 |
LTLToCore
|
[NFC][LTLToCore] Fix incomplete comment
|
2025-02-04 16:51:15 +00:00 |
LoopScheduleToCalyx
|
Bump LLVM to c6c2e21028cadef854cf22f6ecaa5eb9d224b76d. (#8467)
|
2025-05-06 09:07:04 -06: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
|
[LLVM] bump to f87109f018faad5f3f1bf8a4668754c24e84e886 (#8431)
|
2025-04-21 09:27:04 -04:00 |
SeqToSV
|
[FirRegLowering] Add limit to number of ifs generated (#8313)
|
2025-04-02 12:30:55 -04: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
|
[Verif] disambiguate ctor (#8076)
|
2025-01-13 12:33:10 -05:00 |
CMakeLists.txt
|
[AIGToComb] [circt-synth] Add a AIG to Comb conversion pass (#7742)
|
2024-10-29 14:15:41 +09:00 |