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
Bindings	[Seq][Arc] Allow seq.initial to take immutable operands. Add a cast operation (#7656)	2024-10-04 02:20:12 +09:00
CAPI	[AIGToComb] [circt-synth] Add a AIG to Comb conversion pass (#7742)	2024-10-29 14:15:41 +09:00
Conversion	[Calyx] BuildControl for nested SCF::If ops (#7669)	2024-10-31 18:07:07 -04: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	Bump LLVM (#7223)	2024-06-26 13:19:37 -07:00
Scheduling	[Calyx][OM][Pipeline] Use free variants of isa/cast/dyn_cast	2024-04-28 16:53:58 +02:00
Support	[JSON] Leave json::OStream in valid state on failure (#7684)	2024-10-08 22:00:42 -07:00
Target	Bump LLVM to 10407be542aeb2b59477b167bbba3716538dc722. (#7550)	2024-09-01 09:15:42 +01:00
Tools	[HW] Add port name accessors to HWInstanceLike (#7757)	2024-10-31 18:36:28 +00:00
Transforms	Flatten memref Global and its corresponding GetGlobal operations (#7758)	2024-10-31 17:11:52 -04:00
CMakeLists.txt	[circt-lec] Port to SMT dialect based compiler pipeline (#6908)	2024-04-21 08:06:39 +02:00