Hideto Ueno 0f28017243 [AIG] Add LongestPath Analysis boilerplates, data structure and rational doc (#8505) ... This commit adds boilerplates, data structure and rational doc for LongestPath analysis in AIG. See rational doc for the details.		2025-05-22 17:24:26 -07:00
..
Analysis	[FIRRTL] Simplify, add GC to InstanceInfo	2024-11-20 20:12:11 -05:00
Conversion	[ImportVerilog] Add missing cstdint header	2025-05-15 09:55:08 -07:00
Dialect	[AIG] Add LongestPath Analysis boilerplates, data structure and rational doc (#8505)	2025-05-22 17:24:26 -07:00
Firtool	[firrtl] Move LowerLayers after LowerXMR (#8405)	2025-04-24 11:02:55 -04:00
Reduce	[circt-reduce] Add bytecode import/export (#8347)	2025-03-28 17:20:17 -04:00
Scheduling	[SSP] Separate `ResourceType` from `OperatorType` (#8444)	2025-05-13 08:52:11 -04:00
Support	[Support] Add relative path caching to InstancePathCache (#8489)	2025-05-19 11:46:52 -07:00
Target	[LLVM] bump to 9deb08a and integrate upstream SMT C APIs (#8424)	2025-04-17 15:26:22 -04:00
Tools	[circt-lec] Implement emit-smtlib functionality for circt-lec (#8497)	2025-05-22 15:26:10 +01:00
Transforms	[DOC] Add missing passes (#8344)	2025-03-25 00:56:45 -04:00
CMakeLists.txt	[circt-lec] Add ConstructLEC pass (#6833)	2024-03-20 08:54:08 +01:00
InitAllDialects.h	[LLVM] integrate upstream SMT (#8408)	2025-04-14 14:34:14 -04:00
InitAllPasses.h	[LLHD] Consistently use auto-generated pass constructors (NFC)	2025-02-01 14:01:17 +00:00
InitAllTranslations.h	[LLVM] bump to 9deb08a and integrate upstream SMT C APIs (#8424)	2025-04-17 15:26:22 -04:00
Types.td	[Arc] Use free variants of isa/cast/dyn_cast	2024-04-28 15:36:36 +02:00