circt/lib/Dialect
Andrew Young 1fd4c9ec11 [SV] Use SymbolOpUserInterface to speed up verifiers
This change moves two InferfaceInstanceOp and GetModportOp to use the
symbol user op interface when checking the referenced operation. This
significantly reduces the cost of verifying this.
2024-11-02 00:03:49 -07:00
..
AIG [AIG] Add CutOp (#7743) 2024-10-28 19:40:56 +09:00
Arc [HW] Add port name accessors to HWInstanceLike (#7757) 2024-10-31 18:36:28 +00:00
Calyx Calyx Binary Floating Point AddF Operator (#7089) 2024-10-31 17:41:21 -04:00
Comb [CombFolds] Preserve two-state attribute in `narrowOperationWidth` (#7712) 2024-10-17 21:54:45 +02:00
DC Fix compiler warnings 2024-10-04 16:08:00 +02:00
Debug [Debug] Add debug dialect (#6308) 2023-10-20 09:51:37 -07:00
ESI [ESI][Runtime] Install Logging.h 2024-10-18 19:28:05 -07:00
Emit [ExportVerilog][HW] Introduce HWEmittableModuleLike interface and use it for Prepare, NFC (#7004) 2024-06-07 00:33:00 +09:00
FIRRTL [FIRRTL] Fix folding of when conditions into LTL properties (#7760) 2024-11-01 12:42:45 -07:00
FSM [FSM]New builders for StateOp and TransitionOp. (#6991) 2024-07-08 09:29:16 +02:00
HW Use properties for attributes for many dialects 2024-10-25 23:42:32 -07:00
HWArith [HW] Use free variants of isa/cast/dyn_cast 2024-04-28 16:41:57 +02:00
Handshake [Handshake] Fix library dependencies (#7356) 2024-07-19 14:25:32 -07:00
Ibis Use properties for attributes for many dialects 2024-10-25 23:42:32 -07:00
Interop Bump LLVM (#5825) 2023-08-11 09:40:48 -04:00
LLHD Use properties for attributes for many dialects 2024-10-25 23:42:32 -07:00
LTL [LTL] Canonicalize ltl.and to comb.and for i1 properties (#7759) 2024-11-01 09:11:00 -07:00
LoopSchedule Bump LLVM: 2023/09/12 (#6114) 2023-09-12 16:11:24 -07:00
MSFT [NFC][ESI] Move around services code 2024-09-19 16:17:02 -07:00
Moore [Moore] Drop named_constant op in favor of dbg.variable (#7624) 2024-09-25 09:46:00 -07:00
OM [OM] Add a new API to update fields of a ClassOp (#7748) 2024-10-29 12:17:32 -07:00
Pipeline [Scheduling] Replace macro use in problem definitions (#7320) 2024-07-30 22:23:43 +02:00
SMT [SMT] Fix unused variable warning in release build. 2024-05-30 12:06:21 -05:00
SSP [NFCI][OM][SSP][SystemC] Refactor TableGen Pass includes (#7184) 2024-06-18 14:52:24 +02:00
SV [SV] Use SymbolOpUserInterface to speed up verifiers 2024-11-02 00:03:49 -07:00
Seq [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
Sim [NFC][Sim] Rename "formatting token" to "formatting fragment" 2024-10-31 13:34:56 +01:00
SystemC [NFCI][OM][SSP][SystemC] Refactor TableGen Pass includes (#7184) 2024-06-18 14:52:24 +02:00
Verif [Verif][NFC] Use auto-generated constructors for all passes (#7754) 2024-10-30 20:06:11 -07:00
CMakeLists.txt [AIG] Add AIG dialect 2024-10-26 16:18:17 +09:00