circt/test/Dialect/AIG
Hideto Ueno 896e80ec9a
[AIG] Remove aig.cut (#8784)
Technology mapping/Cut rewriting requires enumerating multiple cuts to find best cuts, so representing a single cut as an operation doesn't make sense in general. When the AIG dialect was originally introduced, the cut operation was not well-thought-out and not used anywhere so clean up before implementing tech mapping.

Close https://github.com/llvm/circt/issues/8761
2025-07-25 21:59:14 -07:00
..
aiger-runner-error.mlir [AIG][AIGERRunner] Refactor AIG external solver passes and add continueOnFailure option (#8615) 2025-06-27 17:33:13 -07:00
aiger-runner.mlir [AIG] Add AIGER runner passes for external logic solver integration (#8592) 2025-06-23 15:16:59 -07:00
canonicalizer.mlir [AIG] Add canonicalization to simplify inversion (#8697) 2025-07-11 18:40:43 -07:00
longest-paths-report.mlir [AIG] Enhance longest path analysis with detailed timing statistics and JSON output (#8644) 2025-07-03 13:01:19 -07:00
longest-paths.mlir [AIG][LongestPathAnalysis] Fix a bug in deduplicatePathsImpl (#8746) 2025-07-19 20:51:17 -07:00
lower-variadic.mlir [AIG] Add LowerVariadic pass 2024-10-26 19:27:58 +09:00
lower-word-to-bits.mlir [AIG] Add LowerWordToBits pass 2024-10-26 19:27:58 +09:00
round-trip.mlir [AIG] Remove aig.cut (#8784) 2025-07-25 21:59:14 -07:00