terapines
/
circt
mirror of https://github.com/llvm/circt.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
circt/include
History
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
..
circt [SV] Use SymbolOpUserInterface to speed up verifiers 2024-11-02 00:03:49 -07:00
circt-c [Seq] Add initial value to compreg (#7553) 2024-08-30 14:08:34 +09:00