| .. |
|
AIGToComb
|
[AIGToComb] [circt-synth] Add a AIG to Comb conversion pass (#7742)
|
2024-10-29 14:15:41 +09:00 |
|
AffineToLoopSchedule
|
[CMake] Consistently declare conversion libraries and simplify circt-opt link target list (#7610)
|
2024-09-19 20:35:45 +01:00 |
|
ArcToLLVM
|
[Arc] Add arc.final op (#7700)
|
2024-10-14 09:49:24 -07: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
|
[CombToAIG] Add CombToAIG conversion pass (#7740)
|
2024-10-26 20:57:00 +09:00 |
|
CombToArith
|
[NFCI][Conversion] Refactor TableGen Pass includes (#7174)
|
2024-06-14 16:37:29 +02:00 |
|
CombToLLVM
|
[NFCI][Conversion] Refactor TableGen Pass includes (#7174)
|
2024-06-14 16:37:29 +02:00 |
|
CombToSMT
|
[CombToSMT] Register dependency on func (#7098)
|
2024-05-28 21:46:54 +02:00 |
|
ConvertToArcs
|
[Arc] Improve LowerState to never produce read-after-write conflicts (#7703)
|
2024-10-28 14:57:03 -07:00 |
|
DCToHW
|
[CMake] Consistently declare conversion libraries and simplify circt-opt link target list (#7610)
|
2024-09-19 20:35:45 +01:00 |
|
ExportChiselInterface
|
[NFCI][Conversion] Refactor TableGen Pass includes (#7174)
|
2024-06-14 16:37:29 +02:00 |
|
ExportVerilog
|
[HW] Add port name accessors to HWInstanceLike (#7757)
|
2024-10-31 18:36:28 +00:00 |
|
FIRRTLToHW
|
[FIRRTL] Make FModuleLike op interface friendly with properties
|
2024-10-25 16:26:52 -07:00 |
|
FSMToSV
|
[NFCI][Conversion] Refactor TableGen Pass includes (#7174)
|
2024-06-14 16:37:29 +02:00 |
|
HWArithToHW
|
Make sure type conversion materialization callbacks return values of the correct type (#7583)
|
2024-09-06 09:19:02 +01:00 |
|
HWToBTOR2
|
[Seq] Add initial value to compreg (#7553)
|
2024-08-30 14:08:34 +09: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
|
[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
|
[CMake] Consistently declare conversion libraries and simplify circt-opt link target list (#7610)
|
2024-09-19 20:35:45 +01:00 |
|
HandshakeToHW
|
[CMake] Consistently declare conversion libraries and simplify circt-opt link target list (#7610)
|
2024-09-19 20:35:45 +01:00 |
|
ImportVerilog
|
[ImportVerilog] Materialize constant calls directly
|
2024-09-28 14:18:06 -07:00 |
|
LTLToCore
|
Make sure type conversion materialization callbacks return values of the correct type (#7583)
|
2024-09-06 09:19:02 +01:00 |
|
LoopScheduleToCalyx
|
Bump LLVM (#7223)
|
2024-06-26 13:19:37 -07:00 |
|
MooreToCore
|
[MooreToCore] Add support for format strings and display task (#7694)
|
2024-10-10 19:56:19 -07:00 |
|
PipelineToHW
|
[CMake] Consistently declare conversion libraries and simplify circt-opt link target list (#7610)
|
2024-09-19 20:35:45 +01:00 |
|
SCFToCalyx
|
[Calyx] BuildControl for nested SCF::If ops (#7669)
|
2024-10-31 18:07:07 -04:00 |
|
SMTToZ3LLVM
|
[SMT] Add quantifier support to LLVM lowering (#6973)
|
2024-05-02 10:09:14 +02:00 |
|
SeqToSV
|
[HW][Seq] Allow typed attr to be an element of aggregate_constant and make seq.const_clock typed attr (#7718)
|
2024-10-22 15:53:10 +09:00 |
|
SimToSV
|
[SimToSV] Add include guards to DPI import (#7459)
|
2024-08-08 15:40:35 +09:00 |
|
VerifToSMT
|
Add `verif.bmc` VerifToSMT lowering (#7603)
|
2024-09-24 17:32:04 +01:00 |
|
VerifToSV
|
[SV] Add Intermediary Assert Op for better enable polarity flip (#7302)
|
2024-07-12 10:34:04 -07:00 |
|
CMakeLists.txt
|
[AIGToComb] [circt-synth] Add a AIG to Comb conversion pass (#7742)
|
2024-10-29 14:15:41 +09:00 |
6405aa7453