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
..
Analysis	[FIRRTL] Add "effective" design to Instance Info	2024-10-24 18:43:42 -04:00
Conversion	[AIGToComb] [circt-synth] Add a AIG to Comb conversion pass (#7742)	2024-10-29 14:15:41 +09:00
Dialect	[SV] Use SymbolOpUserInterface to speed up verifiers	2024-11-02 00:03:49 -07:00
Firtool	Advanced LayerSink (#7548)	2024-10-22 10:18:07 -04:00
Reduce	[circt-reduce] Infrastructure improvements, bug fixes, and additional tests (#5131)	2023-05-04 19:41:29 +02:00
Scheduling	[Scheduling] Replace macro use in problem definitions (#7320)	2024-07-30 22:23:43 +02:00
Support	[LLHD] Add DesequentializationPass (#7616)	2024-09-25 14:51:49 +01:00
Target	[SMT] Add SMT-LIB export translation (#6870)	2024-03-27 08:57:21 +01:00
Tools	[circt-bmc] Add LowerToBMC Pass (#7343)	2024-07-24 11:01:12 +01:00
Transforms	[Transforms][OpCountAnalysis] Add PrintOpCountPass (#7654)	2024-10-02 17:25:11 +01:00
CMakeLists.txt	[circt-lec] Add ConstructLEC pass (#6833)	2024-03-20 08:54:08 +01:00
InitAllDialects.h	[AIG] Add AIG dialect	2024-10-26 16:18:17 +09:00
InitAllPasses.h	[AIG] Add AIG dialect	2024-10-26 16:18:17 +09:00
InitAllTranslations.h	[SMT] Add SMT-LIB export translation (#6870)	2024-03-27 08:57:21 +01:00
Types.td	[Arc] Use free variants of isa/cast/dyn_cast	2024-04-28 15:36:36 +02:00